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
Advanced search
My bookmarks
0
Mathematics. Logic (category)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple 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
16
Look more..
(1/81)
Export
export all inquiry results
(16)
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
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
journal article EST
/
journal article ENG
5
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
6
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
7
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
8
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
9
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
10
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
11
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
12
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
13
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
14
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
15
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
16
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 16, displaying
1 - 16
keyword
81
1.
logic and philosophy of logic
2.
Cognitive Mathematics
3.
computational mathematics
4.
foundations of mathematics
5.
Husserl and Peirce and the goals of mathematics
6.
mathematics
7.
mathematics and computing
8.
mathematics students learning habits
9.
matrix (mathematics)
10.
philosophy of mathematics
11.
univalent mathematics
12.
algebra of logic
13.
binary logic controller
14.
Boolean logic
15.
default logic
16.
diagrammatic logic
17.
digital logic
18.
dynamic logic
19.
epistemic logic
20.
formal logic
21.
fuzzy logic
22.
fuzzy logic
23.
fuzzy logic control
24.
fuzzy logic controller
25.
fuzzy logic controller (FLC)
26.
fuzzy logic model
27.
graphical method of logic
28.
history of logic
29.
Hoare logic
30.
Husserl and Pierce on logic of probability
31.
independence-friendly logic
32.
intuitionistic logic
33.
linear logic
34.
logic
35.
logic built-in self-test
36.
logic cell library
37.
logic circuit
38.
logic design
39.
logic diagram
40.
logic diagrams
41.
logic education
42.
logic for pragmatics
43.
logic gates
44.
logic in computer science
45.
logic in society
46.
logic level
47.
logic level and high level BDDs
48.
logic locking
49.
logic models
50.
logic models and simulation
51.
logic notation
52.
logic obfuscation
53.
logic of bunched implications
54.
logic of relatives
55.
logic of speech acts
56.
logic simulation
57.
logic synthesis
58.
logic teaching
59.
logic-based distributed routing
60.
malicious logic
61.
mathematical logic
62.
modal logic
63.
Natural logic
64.
Peirce's existential graphs and transcendental logic
65.
philosophical logic
66.
philosophy of logic
67.
pragmatic logic
68.
probabilistic relational program logic
69.
programmable logic
70.
quantitative logic
71.
quantum logic
72.
race logic
73.
reconfigurable logic
74.
routing logic
75.
S4 modal logic
76.
S-D logic
77.
Service-Dominant logic
78.
stateful logic computation
79.
symbolic knowledge in Husserlian pure logic
80.
symbolic logic
81.
temporal logic
×
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