Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Searching

Mathematics. Logic (category)

—

—

—

—

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..

Loading..

TTÜ department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

Number of records 14
Look more.. (1/78)
Export

export all inquiry results (14)
Save TXT fail

Save PDF fail

print
Open for editing with marked entries my bookmarks

display

sort
1

journal article EST / journal article ENG

Abduction and diagramsPietarinen, Ahti-VeikkoLogic journal of the IGPL2020 / 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 graphsBellucci, Francesco; Chiffi, Daniele; Pietarinen, Ahti-VeikkoJournal of applied non-classical logics2018 / 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 quantificationBellucci, Francesco; Chiffi, Daniele; Pietarinen, Ahti-VeikkoJournal of applied logics : IfCoLog journal of logics and their applications2021 / 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

Hintikka memorial issue : introduction and remarks on Jaakko Hintikka's logical philosophyPietarinen, Ahti-VeikkoLogica Universalis2019 / 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
5

book article EST / book article ENG

Lewis Carroll’s almost diagrammatic logic notationEnglebretsen, George; Moktefi, AmiroucheLogic 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
6

journal article EST / journal article ENG

Operational semantics with semicommutationsMaarand, Hendrik; Uustalu, TarmoJournal of logical and algebraic methods in programming2021 / 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
7

journal article EST / journal article ENG

Peirce's calculi for classical propositional logicMa, Minghui; Pietarinen, Ahti-VeikkoThe review of symbolic logic2020 / 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
8

journal article EST / journal article ENG

Plotkin's call-by-value λ-calculus as a modal calculusEspírito Santo, José; Pinto, Luis; Uustalu, TarmoJournal of Logical and Algebraic Methods in Programming2022 / 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
9

book article EST / book article ENG

PrefaceBéziau, Jean-Yves; Desclés, Jean-Pierre; Moktefi, Amirouche; Pascu, Anca ChristineLogic 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
10

journal article EST / journal article ENG

A proof-theoretic study of bi-intuitionistic propositional sequent calculusPinto, Luis; Uustalu, TarmoJournal of logic and computation2018 / 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
11

book article EST / book article ENG

The representation of negative terms with Euler diagramsBhattacharjee, Reetu; Moktefi, Amirouche; Pietarinen, Ahti-VeikkoLogic 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
12

book article EST / book article ENG

Schopenhauer's Eulerian diagramsMoktefi, AmiroucheLanguage, logic, and mathematics in Schopenhauer2020 / 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
13

journal article EST / journal article ENG

To Peirce Hintikka's thoughtsPietarinen, Ahti-VeikkoLogica Universalis2019 / 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
14

journal article EST / journal article ENG

Why make things simple when you can make them complicated? An appreciation of Lewis Carroll's symbolic logicMoktefi, AmiroucheLogica universalis2021 / 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 14, displaying 1 - 14

vaste

sort

Otsing
Valikud 0

year of publication

author

TTÜ department

subject term

series

name of the person

keyword

TalTech Library

Akadeemia tee 1

13519

TalTech homepage TalTech Library homepage Digikogu Digiteek Repository

6203551

data@taltech.ee

TalTech Raamatukogu