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
loogika (subject term)
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
199
Look more..
(1/12)
Export
export all inquiry results
(199)
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
journal article EST
/
journal article ENG
Abduction and diagrams
Pietarinen, Ahti-Veikko
Logic journal of the IGPL
2020
/
p. 447-468
https://doi.org/10.1093/jigpal/jzz034
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
2
journal article EST
/
journal article ENG
Abductive inference within a pragmatic framework
Chiffi, Daniele
;
Pietarinen, Ahti-Veikko
Synthese
2020
/
p. 2507-2523
https://doi.org/10.1007/s11229-018-1824-6
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
3
journal article EST
/
journal article ENG
Abstraction and generalization in the logic of science : cases from nineteenth-century scientific practice
Cristalli, Claudia
;
Pietarinen, Ahti-Veikko
HOPOS: The journal of the International Society for the History of Philosophy of Science
2021
/
p. 93-121
https://doi.org/10.1086/713087
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
4
journal article EST
/
journal article ENG
Active inference and abduction
Pietarinen, Ahti-Veikko
;
Beni, Majid D.
Biosemiotics
2021
/
p. 499–517
https://doi.org/10.1007/s12304-021-09432-0
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
5
book article
Algebre et logique symboliques : arbitraire du signe et langage formel
Durand-Richard, Marie-Jose
;
Moktefi, Amirouche
La pointure du symbole
2014
/
p. 295-328
book article
6
journal article
Amgoud, Leila; Besnard, Philippe; Vesic, Srdjan. Equivalence in logic-based argumentation. J. Appl. Non-Class. Log. 24 (2014), no. 3, 181-208 [Online resource]
Chiffi, Daniele
MathSciNet : mathematical reviews
2016
http://www.ams.org/mathscinet/
journal article
7
journal article EST
/
journal article ENG
An analysis of existential graphs-part 2 : beta
Bellucci, Francesco
;
Pietarinen, Ahti-Veikko
Synthese
2021
/
p. 7705-7726 : ill
https://doi.org/10.1007/s11229-021-03134-3
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
8
book article
Arvutamine on loodusteadus : [intervjuu Tarmo Uustaluga]
Uustalu, Tarmo
Teadusmõte Küberneetika Instituudis
2010
/
lk. 86-90 : portr
book article
9
journal article
Arvutamine on loodusteadus : vastab Tarmo Uustalu
Uustalu, Tarmo
Horisont
2006
/
lk. 15-17 : portr
https://artiklid.elnet.ee/record=b2039570*est
journal article
10
journal article EST
/
journal article ENG
Assertion and denial : a contribution from logical notations
Pietarinen, Ahti-Veikko
;
Bellucci, Francesco
Journal of applied logic
2017
/
p. 1-22 : ill
https://doi.org/10.1016/j.jal.2017.01.001
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
11
journal article
Assertions and conditionals : a historical and pragmatic stance
Chiffi, Daniele
;
Di Giorgio, Alfredo
Studia humana
2017
/
p. 25-38
https://doi.org/10.1515/sh-2017-0004
journal article
12
journal article
Assertions and hypotheses : a logical framework for their opposition relations
Carrara, Massimiliano
;
Chiffi, Daniele
;
De Florio, Ciro
Logic journal of the IGPL
2017
/
p. 131-144 : ill
https://doi.org/10.1093/jigpal/jzw036
journal article
13
book article EST
/
book article ENG
Assertive and existential graphs : a comparison
Pietarinen, Ahti-Veikko
;
Chiffi, Daniele
Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings
2018
/
p. 565-581
https://doi.org/10.1007/978-3-319-91376-6_51
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
14
journal article EST
/
journal article ENG
Assertive graphs
Bellucci, Francesco
;
Chiffi, Daniele
;
Pietarinen, Ahti-Veikko
Journal of applied non-classical logics
2018
/
p. 72–91
https://doi.org/10.1080/11663081.2017.1418101
Journal metrics at Scopus
Aricle at Scopus
journal article EST
/
journal article ENG
15
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
16
book article
Calling paradigms and the box calculus
Santo, Jose Espırito
;
Pinto, Luis
;
Uustalu, Tarmo
EUTYPES-TYPES 2020 : Abstracts
2020
/
2 p
https://types2020.di.unito.it/abstracts/BookOfAbstractsTYPES2020.pdf
book article
17
book article EST
/
book article ENG
A Categorical semantics for bounded Petri Nets
Genovese, Fabrizio
;
Loregian, Fosco
;
Palombi, Daniele
Proceedings of the 4th Annual International Applied Category Theory Conference 2021 [ACT 2021] : Cambridge, United Kingdom, 12-16 July 2021
2021
/
15 p
https://doi.org/10.48550/arXiv.2101.09100
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
18
journal article EST
/
journal article ENG
Charles S. Peirce and the medieval doctrine of consequentiae
Bellucci, Francesco
History and philosophy of logic
2016
/
p. 244-268
https://doi.org/10.1080/01445340.2015.1118338
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
19
book article
Charles Sanders Peirce : logic [Online resource]
Bellucci, Francesco
;
Pietarinen, Ahti-Veikko
The Internet encyclopedia of philosophy
2015
http://www.iep.utm.edu/peir-log/
book article
20
journal article
Christine Ladd-Franklin's and Victoria Welby's correspondence with Charles Peirce
Pietarinen, Ahti-Veikko
Semiotica
2013
/
p. 139-161
https://www.researchgate.net/publication/272264511_Christine_Ladd-Franklin%27s_and_Victoria_Welby%27s_correspondence_with_Charles_Peirce
journal article
21
book article EST
/
book article ENG
Coherence via focusing for symmetric skew monoidal categories
Veltri, Niccolo
Logic, Language, Information, and Computation : 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021 : proceedings
2021
/
p. 184-200
https://doi.org/10.1007/978-3-030-88853-4_12
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
22
journal article EST
/
journal article ENG
Combining algebraic effect descriptions using the tensor of complete lattices
Voorneveld, Niels
Electronic notes in theoretical computer science
2020
/
p. 257-281
https://doi.org/10.1016/j.entcs.2020.09.013
Journal metrics at Scopus
Article at Scopus
Article at WOS
journal article EST
/
journal article ENG
23
book article
Combining JSON-LD with first order logic
Tammet, Tanel
;
Sutcliffe, Geoff
Proceedings - 2021 IEEE 15th International Conference on Semantic Computing, ICSC 2021
2021
/
p. 256 - 261
https://doi.org/10.1109/ICSC50631.2021.00051
Article at Scopus
Article at WOS
book article
24
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
25
journal article EST
/
journal article ENG
Concurrent process histories and resource transducers
Nester, Chad Mitchell
Logical methods in computer science
2023
/
p. 7:1-7:22 : ill
https://doi.org/10.46298/LMCS-19(1:7)2023
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Seotud publikatsioonid
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
Number of records 199, displaying
1 - 25
previous
1
2
3
4
5
6
7
8
next
subject term
12
1.
eeldused (loogika)
2.
eitus (loogika)
3.
formaalne loogika
4.
induktsioon (loogika)
5.
järeldamine (loogika)
6.
loogika
7.
loogika ajalugu
8.
matemaatiline loogika
9.
otsustused (loogika)
10.
teaduse loogika
11.
temporaalne loogika
12.
väliprogrammeeritav loogika
×
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