Searching - TalTech Research Portal

display

sort

51

journal article

Figuring it out : logic diagrams, by George Englebretsen, In cooperation with JoséMartin Castro-Manzano and José Roberto Pacheco-Montes. Series:PhilosophicalAnalysis(vol. 78), Berlin/Boston, De Gruyter, 2020, xiv+220 pp.,e109.95 (hardcover,EPUB),e20.95 (paperback), ISBN 978-3-11-062163-1Moktefi, AmiroucheHistory and philosophy of logic2023 / p. 104-107 https://doi.org/10.1080/01445340.2022.2045128

journal article

52

book

Filosoofia ja loogika testid [Elektrooniline teavik]Meos, Indrek2020 https://filosoofia.indrekmeos.xyz/testid/

book

53

book article

Finite model building : improvements and comparisonsTammet, TanelProceedings of the CADE-19 workshop "Model Computation - Principles, Algorithms, Applications" : Miami, FL, USA, 20032003 / p. 81-90 https://www.researchgate.net/publication/244104344_Finite_model_building_improvements_and_comparisons

book article

54

journal article

A framework for modelling, verification and transformation of concurrent imperative programsBortin, MaksymarXiv.org2020 / 57 p https://arxiv.org/abs/2007.02261 https://doi.org/10.48550/arXiv.2007.02261

journal article

55

book article

Frege and Peirce on the signs of generalityPietarinen, Ahti-Veikko; Bellucci, Francesco6th World Congress and School on Universal Logic, UNILOG'2018, June 16–26, 20182018 / p. 266-268 : ill http://www.uni-log.org/pro2018/HANDBOOK-UNILOG2018.pdf

book article

56

journal article EST / journal article ENG

From Mitchell to Carus : fourteen years of logical graphs in the makingBellucci, Francesco; Pietarinen, Ahti-VeikkoTransactions of the Charles S. Peirce Society2016 / 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

57

journal article EST / journal article ENG

Gamma graph calculi for modal logicsMa, Minghui; Pietarinen, Ahti-VeikkoSynthese2018 / 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

58

book

Generalized Jeffrey conditionalization : a frequentist semantics of partial conditionalizationDraheim, Dirk2017 https://doi.org/10.1007/978-3-319-69868-7

book

59

book

Graph Operad Logic X2013

book

60

journal article EST / journal article ENG

A graphical deep inference system for intuitionistic logicPietarinen, Ahti-Veikko; Ma, MinghuiLogique et analyse2019 / 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

61

book article EST / book article ENG

Habits of reasoning : on the grammar and critics of logical habitsPietarinen, Ahti-Veikko; Bellucci, FrancescoConsensus on Peirce's concept of habit : before and beyond consciousness2016 / 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

62

book article

Hegeli filosofeerimise vormMägi, MargusLoogika ja mõtlemine1994 / lk. 15-23

book article

63

book article

Hegeli loogika vormist ja formaalse loogika sisustLuure, Andres; Hegel, Georg Wilhelm FriedrichLoogika ja mõtlemine1994 / lk. 32-52

book article

64

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

65

book article EST / book article ENG

Historio-GraphyMoktefi, AmiroucheDiagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 / 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

66

book article EST / book article ENG

How linear are Englebretsen’s line diagrams?Moktefi, AmiroucheNew Directions in Term Logic2024 / p. 357-384 https://www.collegepublications.co.uk/logic/?00054

book article EST / book article ENG

67

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

68

journal article

How to say "Yes" or "No" : logical approaches to modes of assertion and denial, 21-22 JanuaryCarrara, Massimiliano; Chiffi, Daniele; De Florio, CiroThe reasoner2016 / p. 20 http://www.thereasoner.org/

journal article

69

journal article

Hägune loogikaTammemäe, KalleArvutustehnika ja Andmetöötlus1994 / 5, lk. 21-26 ; 6, lk. 19-24 ; 7/8, lk. 26-29

journal article

70

book article

Hybrid BIST time minimization for core-based systems with STUMPS architectureJervan, Gert; Eles, Petru; Peng, Zebo; Ubar, Raimund-Johannes; Jenihhin, Maksim18th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems : 3-5 November 2003, Boston, Massachusetts : proceedings2003 / p. 225-232 : ill https://ieeexplore.ieee.org/document/1250116

book article

71

book article

Identifying NBTI-critical paths in nanoscale logicUbar, Raimund-Johannes; Vargas, Fabian; Jenihhin, Maksim; Raik, Jaan; Kostin, Sergei; Bolzani Poehls, Leticia16th Euromicro Conference series on Digital System Design : DSD 2013 : proceedings : 4-6 September 2013, Santander, Spain2013 / p. 136-141 : ill

book article

72

journal article

Inimtegevuse loogika ja haridusLuure, Andres; Olander, AareHaridus1992 / 5, lk. 22-26

journal article

73

journal article EST / journal article ENG

Introduction : history and philosophy of logical notationBellucci, Francesco; Moktefi, Amirouche; Pietarinen, Ahti-VeikkoHistory and philosophy of logic2018 / 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

74

book article EST / book article ENG

Is ethical normativity similar to logical normativity?Gustafsson, Juuso-Ville; Pietarinen, Ahti-VeikkoConsensus on Peirce’s Concept of Habit: Before and Beyond Consciousness2016 / 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

75

book article

Is there a general diagram concept?Pietarinen, Ahti-VeikkoThinking with diagrams : the semiotic basis of human cognition2016 / p. 121-137

book article

loogika (subject term)

types of item

subject term 13