Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
Haydon, Nathan Joseph (author)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
8
Look more..
(4/31)
Export
export all inquiry results
(8)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
book article EST
/
book article ENG
The Blot
Pietarinen, Ahti-Veikko
;
Bellucci, Francesco
;
Bobrova, Angelina
;
Haydon, Nathan Joseph
;
Shafiei, Mohammad
Diagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings
2020
/
p. 225-238 : ill
https://doi.org/10.1007/978-3-030-54249-8_18
Conference proceedings at Scopus
Article at Scopus
Article at WOS
Conference proceedings at WOS
book article EST
/
book article ENG
Seotud publikatsioonid
1
Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika
2
book article EST
/
book article ENG
Compositional diagrammatic first-order logic
Haydon, Nathan Joseph
;
Sobocinski, Pawel Maria
Diagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings
2020
/
p. 402-418
https://doi.org/10.1007/978-3-030-54249-8_32
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
book article EST
/
book article ENG
Seotud publikatsioonid
2
Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika
Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika
3
book article
Diagrammatic algebra of first order logic
Bonchi, Filippo
;
Di Giorgio, Alessandro
;
Haydon, Nathan Joseph
;
Sobocinski, Pawel Maria
LICS '24 : proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science
2024
/
art. 16, p. 1-15 : ill
https://doi.org/10.1145/3661814.3662078
book article
Seotud publikatsioonid
1
Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika
4
journal article
Diagrammatic algebra of first order logic : [preprint]
Bonchi, Filippo
;
Di Giorgio, Alessandro
;
Haydon, Nathan Joseph
;
Sobocinski, Pawel Maria
arXiv.org
2024
/
34 p. : ill
https://doi.org/10.48550/arXiv.2401.07055
journal article
5
book article
From the experimentalist disposition to the absolute : Peirce's pragmatic naturalism
Dea, Shannon
;
Haydon, Nathan Joseph
Responses to naturalism : critical perspectives from idealism and pragmatism
2019
/
p. 167-183
https://doi.org/10.4324/9781315180854
https://www.taylorfrancis.com/books/9781315180854/chapters/10.4324/9781315180854-8
book article
6
journal article EST
/
journal article ENG
Handbook of cognitive mathematics ed. by Marcel Danesi
Haydon, Nathan Joseph
Transactions of the Charles S Peirce Society
2023
/
p. 243 - 248
https://doi.org/10.2979/csp.2023.a906863
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
7
dissertation
Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika
Haydon, Nathan Joseph
2024
https://www.ester.ee/record=b5685581*est
https://digikogu.taltech.ee/et/Item/f7f55e15-7a58-4e7f-a112-910d6a943f7f
https://doi.org/10.23658/taltech.31/2024
dissertation
Seotud publikatsioonid
4
The Blot
Compositional diagrammatic first-order logic
Residuation in existential graphs
Diagrammatic algebra of first order logic
8
book article EST
/
book article ENG
Residuation in existential graphs
Haydon, Nathan Joseph
;
Pietarinen, Ahti-Veikko
Diagrammatic Representation and Inference : 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021 : proceedings
2021
/
p. 229−237
https://doi.org/10.1007/978-3-030-86062-2_21
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
Seotud publikatsioonid
1
Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika
Number of records 8, displaying
1 - 8
author
21
1.
Haydon, Nathan Joseph
2.
Gioacchini, Nathan
3.
Licht, Nathan
4.
Nathan, Graham
5.
Nathan, Yaacov
6.
Stansell, Nathan
7.
Stansell, Nathan D.
8.
Vandy, Nathan
9.
Adegite Olanrewaju, Joseph
10.
Allen, Joseph
11.
Allen, Joseph A.
12.
Andria, Joseph
13.
Bernardo, Joseph
14.
Guerrero, Joseph M.
15.
Horton, Joseph
16.
Kirschvink, Joseph L.
17.
Melan, Joseph
18.
Nagoth, Joseph Amruthraj
19.
Selvin, Joseph
20.
Sweeney, Joseph
21.
Vadus, Joseph R.
name of the person
5
1.
Kukk, Andres Nathan, 1943-
2.
Kukk, Nathan, 1914-1967
3.
Biden, Joseph R., Jr., 1942-
4.
DeThomas, Joseph Michael
5.
Schumpeter, Joseph Alois, 1883-1950
CV
4
1.
Haydon, Nathan Joseph
2.
Haydon, Nathan Joseph 1986
3.
Luck, Joseph
4.
Udokwu, Chibuzor Joseph
keyword
1
1.
Joseph Schumpeter
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT