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
Matemaatika. Loogika (category)
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
15
Look more..
(3/58)
Export
export all inquiry results
(15)
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
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
3
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
4
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
5
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
6
book article EST
/
book article 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
book article EST
/
book article ENG
7
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
8
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
9
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
10
book article EST
/
book article 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
book article EST
/
book article ENG
11
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
12
book article EST
/
book article 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
book article EST
/
book article ENG
13
book article EST
/
book article 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
book article EST
/
book article ENG
14
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
15
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
Number of records 15, displaying
1 - 15
subject term
51
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.
kategooriad (matemaatika)
25.
kongruentsid (matemaatika)
26.
konstruktiivne matemaatika
27.
korpused (matemaatika)
28.
kuju (matemaatika)
29.
kujutused (matemaatika)
30.
kõrgem matemaatika
31.
maatriksid (matemaatika)
32.
matemaatika
33.
moodulid (matemaatika)
34.
omaväärtused (matemaatika)
35.
paraboolid (matemaatika)
36.
pidevus (matemaatika)
37.
pii (matemaatika)
38.
piirväärtused (matemaatika)
39.
poolrühmad (matemaatika)
40.
puud (matemaatika)
41.
read (matemaatika)
42.
ringid (matemaatika)
43.
rühmad (matemaatika)
44.
seosed (matemaatika)
45.
Tallinna Tehnikaülikool. Matemaatika-loodusteaduskond
46.
tasand (matemaatika)
47.
tuletised (matemaatika)
48.
valemid (matemaatika)
49.
võred (matemaatika)
50.
väljad (matemaatika)
51.
väljateooria (matemaatika)
TTÜ department
4
1.
matemaatika ja mehaanika kateeder
2.
matemaatika ja teoreetilise mehaanika kateeder
3.
matemaatika kateeder
4.
matemaatika-loodusteaduskond
author
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
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