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
Tühista
teaviku laadid
raamat
artikkel ajakirjas
artikkel ajalehes
artikkel kogumikus
dissertatsioon
Open Access
Teaduspublikatsioon
aasta
Kirjeid leitud
162
Vaata veel..
(3/40)
Ekspordi
ekspordi kõik päringu tulemused
(162)
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, USA, 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 162, kuvan
1 - 25
eelmine
1
2
3
4
5
6
7
järgmine
pealkiri
29
1.
Hegeli loogika vormist ja formaalse loogika sisust
2.
Filosoofia ja loogika e-kursuste enesetestid [Elektrooniline teavik]
3.
Filosoofia ja loogika testid [Elektrooniline teavik]
4.
Hulgateooria ja loogika elemente : põhimõisted ja ülesanded
5.
Hägune loogika
6.
Inimtegevuse loogika ja haridus
7.
Keel ja loogika
8.
Kitsenduste programmeerimine : [Alan K.Mackworthi artikli "Kitsenduste loogika" referaat]
9.
Kus on loogika?
10.
Lonkav loogika
11.
Loogika : mõtlemisest tõestamiseni
12.
Loogika ainekava
13.
Loogika HHF1010 [Videosalvestis] : õppematerjalid
14.
Loogika ja mõtlemine : [artiklite kogumik]
15.
Loogika ja pragmaatilisus õigusloomes
16.
Lugesin üht raamatut : tõsine suutäis loogikat filosoofia lisanditega : [Enn Kasaku "Loogika alused" arvustus]
17.
Majanduse loogika : (ökonoloogika struktuurne mõisteaparaat)
18.
Matemaatilise loogika põhimõisteid
19.
Matemaatilise loogika põhimõisteid : Lambada-arvutustest
20.
Matemaatilise loogika põhimõisteid : ülevaade rekursiooniteooria põhimõistetest ja tulemustest
21.
Organisatsioon ja juhtimine : tasakaal ja loogika
22.
Pärnu näide: minister Aasa loogika tasuta busside kaitsmisel kummastab eksperte [Võrguväljaanne]
23.
Pärnu näide: ministri loogika tasuta busside kaitsmisel kummastab eksperte
24.
Rekonfigureeritav loogika
25.
Seaduse keel ja loogika
26.
STEM-i loogika: õppesisu-teadmised ja neil tuginevad oskused
27.
Ühtsema riigivalitsemise suunas : kliendipõhise loogika rakendamise võimalused avalik-õiguslike rahaliste nõuete sissenõudmisel
28.
Hägus loogika ja automaatjuhtimine : ettekanne XXXIX automaatikapäeval 12. märtsil TTÜ aulas
29.
Loogika. Argumentatsioon. Mõtlemiskultuur
märksõna
10
1.
eitus (loogika)
2.
induktsioon (loogika)
3.
järeldamine (loogika)
4.
loogika
5.
loogika ajalugu
6.
loogika elemendid
7.
matemaatiline loogika
8.
teaduse loogika
9.
temporaalne loogika
10.
väliprogrammeeritav loogika
allikas
1
1.
Loogika ja mõtlemine