Toggle navigation
Otsi
Publikatsioonid
Profiilid
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
loogika (märksõna)
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Kirjeid leitud
165
Vaata veel..
(0/0)
Ekspordi
ekspordi kõik päringu tulemused
(165)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus
A dynamic approach to Peirce's interrogative construal of abductive logic
Ma, Minghui
;
Pietarinen, Ahti-Veikko
IfCoLog journal of logics and their applications. Vol. 3, no. 1, Special issue frontiers of abduction
2016
/
p. 73-104
http://www.collegepublications.co.uk/downloads/ifcolog00005.pdf
artikkel kogumikus
2
artikkel ajakirjas
A framework for modelling, verification and transformation of concurrent imperative programs
Bortin, Maksym
arXiv.org
2020
/
57 p
https://arxiv.org/abs/2007.02261
artikkel ajakirjas
3
artikkel ajakirjas
A graphical deep inference system for intuitionistic logic
Pietarinen, Ahti-Veikko
;
Ma, Minghui
Logique et analyse
2019
/
p. 73-114
https://doi.org/10.2143/LEA.245.0.3285706
artikkel ajakirjas
4
artikkel kogumikus
A multimodal pragmatic analysis of the knowability paradox
Carrara, Massimiliano
;
Chiffi, Daniele
;
Sergio, Davide
Applications of formal philosophy : the road less travelled
2017
/
p. 195-209
https://doi.org/10.1007/978-3-319-58507-9_9
artikkel kogumikus
5
artikkel ajakirjas
A proof-theoretic study of bi-intuitionistic propositional sequent calculus
Pinto, Luis
;
Uustalu, Tarmo
Journal of logic and computation
2018
/
p. 165-202
https://doi.org/10.1093/logcom/exx044
artikkel ajakirjas
6
artikkel kogumikus
A Weakening of Alpha graphs : quasi-Boolean algebras
Pietarinen, Ahti-Veikko
;
Ma, Minghui
Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings
2018
/
p. 549-564
https://doi.org/10.1007/978-3-319-91376-6_50
artikkel kogumikus
7
artikkel ajakirjas
Abduction and diagrams
Pietarinen, Ahti-Veikko
Logic journal of the IGPL
2020
/
p. 447–468
https://doi.org/10.1093/jigpal/jzz034
artikkel ajakirjas
8
artikkel ajakirjas
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
artikkel ajakirjas
9
artikkel ajakirjas
Abstraction and generalization in the logic of science : cases from nineteenth-century cientific 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
artikkel ajakirjas
10
artikkel ajakirjas
Active inference and abduction
Pietarinen, Ahti-Veikko
;
Beni, Majid D.
Biosemiotics
2021
/
p. 499–517
https://doi.org/10.1007/s12304-021-09432-0
artikkel ajakirjas
11
artikkel kogumikus
Algebre et logique symboliques : arbitraire du signe et langage formel
Durand-Richard, Marie-Jose
;
Moktefi, Amirouche
La pointure du symbole
2014
/
p. 295-328
artikkel kogumikus
12
artikkel ajakirjas
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/
artikkel ajakirjas
13
artikkel ajakirjas
An analysis of existential graphs-part 2 : beta
Bellucci, Francesco
;
Pietarinen, Ahti-Veikko
Synthese
2021
/
p. 7705–7726 : ill
https://doi.org/https://doi.org/10.1007/s11229-021-03134-3
artikkel ajakirjas
14
artikkel ajakirjas
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
artikkel ajakirjas
15
artikkel ajakirjas
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
artikkel ajakirjas
16
artikkel ajakirjas
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
artikkel ajakirjas
17
artikkel kogumikus
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
artikkel kogumikus
18
artikkel ajakirjas
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
artikkel ajakirjas
19
artikkel kogumikus
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
artikkel kogumikus
20
artikkel kogumikus
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
artikkel kogumikus
21
artikkel ajakirjas
Charles S. Peirce and the medieval doctrine of consequentiae
Bellucci, Francesco
History and philosophy of logic
2016
/
p. 244-268
http://dx.doi.org/10.1080/01445340.2015.1118338
artikkel ajakirjas
22
artikkel kogumikus
Charles Sanders Peirce : logic [Online resource]
Bellucci, Francesco
;
Pietarinen, Ahti-Veikko
The Internet encyclopedia of philosophy
2015
http://www.iep.utm.edu/peir-log/
artikkel kogumikus
23
artikkel ajakirjas
Christine Ladd-Franklin's and Victoria Welby's correspondence with Charles Peirce
Pietarinen, Ahti-Veikko
Semiotica
2013
/
p. 139-161
artikkel ajakirjas
24
artikkel kogumikus
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
artikkel kogumikus
25
artikkel ajakirjas
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
artikkel ajakirjas
Kirjeid leitud 165, kuvan
1 - 25
eelmine
1
2
3
4
5
6
7
järgmine
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT