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
loogika (subject term)
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
200
Look more..
(1/12)
Export
export all inquiry results
(200)
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
51
book
Filosoofia ja loogika testid [Elektrooniline teavik]
Meos, Indrek
2020
https://filosoofia.indrekmeos.xyz/testid/
book
52
book article
Finite model building : improvements and comparisons
Tammet, Tanel
Proceedings of the CADE-19 workshop "Model Computation - Principles, Algorithms, Applications" : Miami, FL, USA, 2003
2003
/
p. 81-90
https://www.researchgate.net/publication/244104344_Finite_model_building_improvements_and_comparisons
book article
53
journal article
A framework for modelling, verification and transformation of concurrent imperative programs
Bortin, Maksym
arXiv.org
2020
/
57 p
https://arxiv.org/abs/2007.02261
https://doi.org/10.48550/arXiv.2007.02261
journal article
54
book article
Frege and Peirce on the signs of generality
Pietarinen, Ahti-Veikko
;
Bellucci, Francesco
6th World Congress and School on Universal Logic, UNILOG'2018, June 16–26, 2018
2018
/
p. 266-268 : ill
http://www.uni-log.org/pro2018/HANDBOOK-UNILOG2018.pdf
book article
55
journal article EST
/
journal article ENG
From Mitchell to Carus : fourteen years of logical graphs in the making
Bellucci, Francesco
;
Pietarinen, Ahti-Veikko
Transactions of the Charles S. Peirce Society
2016
/
p. 539-575
https://doi.org/10.2979/trancharpeirsoc.52.4.02
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
56
journal article EST
/
journal article ENG
Gamma graph calculi for modal logics
Ma, Minghui
;
Pietarinen, Ahti-Veikko
Synthese
2018
/
p. 3621–3650 : ill
https://doi.org/10.1007/s11229-017-1390-3
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
57
book
Generalized Jeffrey conditionalization : a frequentist semantics of partial conditionalization
Draheim, Dirk
2017
https://doi.org/10.1007/978-3-319-69868-7
book
58
book
Graph Operad Logic X
2013
book
59
journal article EST
/
journal article ENG
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
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
60
book article EST
/
book article ENG
Habits of reasoning : on the grammar and critics of logical habits
Pietarinen, Ahti-Veikko
;
Bellucci, Francesco
Consensus on Peirce's concept of habit : before and beyond consciousness
2016
/
p. 265-282
https://doi.org/10.1007/978-3-319-45920-2_15
Article collection metrics at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
61
book article
Hegeli filosofeerimise vorm
Mägi, Margus
Loogika ja mõtlemine
1994
/
lk. 15-23
book article
62
book article
Hegeli loogika vormist ja formaalse loogika sisust
Luure, Andres
;
Hegel, Georg Wilhelm Friedrich
Loogika ja mõtlemine
1994
/
lk. 32-52
book article
63
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
64
book article EST
/
book article ENG
Historio-Graphy
Moktefi, Amirouche
Diagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings
2020
/
p. 511-514
https://doi.org/10.1007/978-3-030-54249-8_46
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
65
book
How to say "Yes" or "No" : logical approaches to modes of assertion and denial : book of abstracts [Online resource]
2016
https://publicatt.unicatt.it/retrieve/handle/10807/73622/114880/how_to_say__yes__or__no___logical_approaches_to_modes_of_assertion_and_denial_3.pdf
book
66
journal article
How to say "Yes" or "No" : logical approaches to modes of assertion and denial, 21-22 January
Carrara, Massimiliano
;
Chiffi, Daniele
;
De Florio, Ciro
The reasoner
2016
/
p. 20
http://www.thereasoner.org/
journal article
67
journal article
Hägune loogika
Tammemäe, Kalle
Arvutustehnika ja Andmetöötlus
1994
/
5, lk. 21-26 ; 6, lk. 19-24 ; 7/8, lk. 26-29
journal article
68
book article
Hybrid BIST time minimization for core-based systems with STUMPS architecture
Jervan, Gert
;
Eles, Petru
;
Peng, Zebo
;
Ubar, Raimund-Johannes
;
Jenihhin, Maksim
18th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems : 3-5 November 2003, Boston, Massachusetts : proceedings
2003
/
p. 225-232 : ill
https://ieeexplore.ieee.org/document/1250116
book article
69
book article
Identifying NBTI-critical paths in nanoscale logic
Ubar, Raimund-Johannes
;
Vargas, Fabian
;
Jenihhin, Maksim
;
Raik, Jaan
;
Kostin, Sergei
;
Bolzani Poehls, Leticia
16th Euromicro Conference series on Digital System Design : DSD 2013 : proceedings : 4-6 September 2013, Santander, Spain
2013
/
p. 136-141 : ill
book article
70
journal article
Inimtegevuse loogika ja haridus
Luure, Andres
;
Olander, Aare
Haridus
1992
/
5, lk. 22-26
journal article
71
journal article EST
/
journal article ENG
Introduction : history and philosophy of logical notation
Bellucci, Francesco
;
Moktefi, Amirouche
;
Pietarinen, Ahti-Veikko
History and philosophy of logic
2018
/
p. 1-2
https://doi.org/10.1080/01445340.2017.1372881
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
72
book article EST
/
book article ENG
Is ethical normativity similar to logical normativity?
Gustafsson, Juuso-Ville
;
Pietarinen, Ahti-Veikko
Consensus on Peirce’s Concept of Habit: Before and Beyond Consciousness
2016
/
p. 123 - 142
https://doi.org/10.1007/978-3-319-45920-2_8
Article collection metrics at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
73
book article
Is there a general diagram concept?
Pietarinen, Ahti-Veikko
Thinking with diagrams : the semiotic basis of human cognition
2016
/
p. 121-137
book article
74
newspaper article
Juhusest sünnitatud paljutõotav korralagedus
Mägi, Vahur
Noorte Hääl : ELKNÜ Keskkomitee häälekandja
1980
https://www.ester.ee/record=b1320792*est
newspaper article
75
newspaper article
Juubelihõnguline teadusfilosoofia maailmakongress [Prantsusmaal]
Müürsepp, Peeter
;
Vihalemm, Rein
Sirp
2011
/
lk. 23 : ill
newspaper article
Number of records 200, displaying
51 - 75
previous
1
2
3
4
5
6
7
8
next
subject term
12
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
×
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