Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
Matemaatika. Loogika (kategooria)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
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..
Tühista
Kirjeid leitud
24
Vaata veel..
(3/59)
Ekspordi
ekspordi kõik päringu tulemused
(24)
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 ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
2
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Abstract categorical semantics for resourceful functional reactive programming
Jeltsch, Wolfgang
Journal of logical and algebraic methods in programming
2016
/
p. 1177-1200 : ill
https://doi.org/10.1016/j.jlamp.2016.07.001
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
3
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
4
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
5
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Beta assertive graphs : proofs of assertions with quantification
Bellucci, Francesco
;
Chiffi, Daniele
;
Pietarinen, Ahti-Veikko
Journal of applied logics : IfCoLog journal of logics and their applications
2021
/
23 p. : ill
https://www.collegepublications.co.uk/downloads/ifcolog00044.pdf
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
6
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
A divertimento on MonadPlus and nondeterminism
Uustalu, Tarmo
Journal of logical and algebraic methods in programming
2016
/
p. 1086-1094 : ill
https://doi.org/10.1016/j.jlamp.2016.06.004
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
7
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Existential graphs as an instrument of logical analysis : part I. Alpha
Bellucci, Francesco
;
Pietarinen, Ahti-Veikko
The review of symbolic logic
2016
/
p. 209-237 : ill
https://doi.org/10.1017/S1755020315000362
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
8
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Formalizing CCS and π-calculus in Guarded Cubical Agda
Veltri, Niccolo
;
Vezzosi, Andrea
Journal of logical and algebraic methods in programming
2023
/
art. 100846
https://doi.org/10.1016/j.jlamp.2022.100846
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
9
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Guest editors' foreword
Uustalu, Tarmo
;
Vain, Jüri
Journal of logical and algebraic methods in programming
2016
/
p. 1109
https://doi.org/10.1016/j.jlamp.2016.10.004
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
10
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Hintikka memorial issue : introduction and remarks on Jaakko Hintikka's logical philosophy
Pietarinen, Ahti-Veikko
Logica Universalis
2019
/
p. 137–145
https://doi.org/10.1007/s11787-019-00222-4
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
11
artikkel kogumikus EST
/
artikkel kogumikus ENG
Lewis Carroll’s almost diagrammatic logic notation
Englebretsen, George
;
Moktefi, Amirouche
Logic in Question : Talks from the Annual Sorbonne Logic Workshop (2011- 2019)
2023
/
p. 151-168
https://doi.org/10.1007/978-3-030-94452-0_8
Article collection metrics at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
12
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Logical investigations on assertion and denial
Carrara, Massimiliano
;
Chiffi, Daniele
;
De Florio, Ciro
Journal of applied logic
2017
/
p. S1-S2
https://doi.org/10.1016/j.jal.2017.11.003
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
13
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Modelling and simulation of human lower-limb motion
Žigailov, Sergei
;
Musalimov, Victor
;
Arjassov, Gennadi
;
Penkov, Igor
International review on modelling and simulations (IREMOS)
2016
/
p. 114-123 : ill
https://doi.org/10.15866/iremos.v9i2.8358
Journal metrics at Scopus
Article at Scopus
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
14
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
On assertion and denial in the logic for pragmatics
Carrara, Massimiliano
;
Chiffi, Daniele
;
De Florio, Ciro
Journal of applied logic
2017
/
p. S97-S107 : ill
https://doi.org/10.1016/j.jal.2017.11.002
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
15
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Operational semantics with semicommutations
Maarand, Hendrik
;
Uustalu, Tarmo
Journal of logical and algebraic methods in programming
2021
/
art. 100677, 27 p
https://doi.org/10.1016/j.jlamp.2021.100677
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
16
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Peirce's calculi for classical propositional logic
Ma, Minghui
;
Pietarinen, Ahti-Veikko
The review of symbolic logic
2020
/
p. 509 - 540
https://doi.org/10.1017/S1755020318000187
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
17
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Plotkin's call-by-value λ-calculus as a modal calculus
Espírito Santo, José
;
Pinto, Luis
;
Uustalu, Tarmo
Journal of Logical and Algebraic Methods in Programming
2022
/
art. 100775, 17 p
https://doi.org/10.1016/j.jlamp.2022.100775
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
18
artikkel kogumikus EST
/
artikkel kogumikus ENG
Preface
Béziau, Jean-Yves
;
Desclés, Jean-Pierre
;
Moktefi, Amirouche
;
Pascu, Anca Christine
Logic in Question : Talks from the Annual Sorbonne Logic Workshop (2011- 2019)
2022
/
p. v-ix
https://link.springer.com/content/pdf/bfm:978-3-030-94452-0/1?pdf=chapter%20toc
Article collection metrics at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
19
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Proof analysis of Peirce's alpha system of graphs
Ma, Minghui
;
Pietarinen, Ahti-Veikko
Studia logica
2017
/
p. 625-647 : ill
https://doi.org/10.1007/s11225-016-9703-y
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
20
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
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
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
21
artikkel kogumikus EST
/
artikkel kogumikus ENG
The representation of negative terms with Euler diagrams
Bhattacharjee, Reetu
;
Moktefi, Amirouche
;
Pietarinen, Ahti-Veikko
Logic in Question : Talks from the Annual Sorbonne Logic Workshop (2011- 2019)
2023
/
p. 43-58
https://doi.org/10.1007/978-3-030-94452-0_3
Article collection metrics at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
22
artikkel kogumikus EST
/
artikkel kogumikus ENG
Schopenhauer's Eulerian diagrams
Moktefi, Amirouche
Language, logic, and mathematics in Schopenhauer
2020
/
p. 111-127
https://doi.org/10.1007/978-3-030-33090-3_8
Article collection metrics at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
23
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
To Peirce Hintikka's thoughts
Pietarinen, Ahti-Veikko
Logica Universalis
2019
/
p. 241–262
https://doi.org/10.1007/s11787-018-0203-x
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
24
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Why make things simple when you can make them complicated? An appreciation of Lewis Carroll's symbolic logic
Moktefi, Amirouche
Logica universalis
2021
/
p. 359–379 : ill
https://doi.org/10.1007/s11787-021-00286-1
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Kirjeid leitud 24, kuvan
1 - 24
märksõna
52
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
13.
bifurkatsioon (matemaatika)
14.
determinandid (matemaatika)
15.
diskreetne matemaatika
16.
Eesti Matemaatika Selts
17.
fuktsioonid (matemaatika)
18.
funktsioonid (matemaatika)
19.
harmooniline analüüs (matemaatika)
20.
hulgateooria (matemaatika)
21.
hüperboolid (matemaatika)
22.
intuitsionism (matemaatika)
23.
isomorfismid (matemaatika)
24.
juhukõnd (matemaatika)
25.
kategooriad (matemaatika)
26.
kongruentsid (matemaatika)
27.
konstruktiivne matemaatika
28.
korpused (matemaatika)
29.
kuju (matemaatika)
30.
kujutused (matemaatika)
31.
kõrgem matemaatika
32.
maatriksid (matemaatika)
33.
matemaatika
34.
moodulid (matemaatika)
35.
omaväärtused (matemaatika)
36.
paraboolid (matemaatika)
37.
pidevus (matemaatika)
38.
pii (matemaatika)
39.
piirväärtused (matemaatika)
40.
poolrühmad (matemaatika)
41.
puud (matemaatika)
42.
read (matemaatika)
43.
ringid (matemaatika)
44.
rühmad (matemaatika)
45.
seosed (matemaatika)
46.
Tallinna Tehnikaülikool. Matemaatika-loodusteaduskond
47.
tasand (matemaatika)
48.
tuletised (matemaatika)
49.
valemid (matemaatika)
50.
võred (matemaatika)
51.
väljad (matemaatika)
52.
väljateooria (matemaatika)
TTÜ struktuuriüksus
4
1.
matemaatika ja mehaanika kateeder
2.
matemaatika ja teoreetilise mehaanika kateeder
3.
matemaatika kateeder
4.
matemaatika-loodusteaduskond
autor
3
1.
Tallinna Polütehniline Instituut, matemaatika kateeder
2.
Tallinna Polütehniline Instituut, vastuvõtukomisjon, matemaatika kateeder
3.
Tartu Riiklik Ülikool, Matemaatika- ja Füüsikakool
×
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