Searching - TalTech Research Portal

display

sort

51

book

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

book

52

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

53

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

54

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

55

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

56

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

57

book

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

book

58

book

Graph Operad Logic X2013

book

59

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

60

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

61

book article

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

book article

62

book article

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

book article

63

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

64

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

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 JanuaryCarrara, Massimiliano; Chiffi, Daniele; De Florio, CiroThe reasoner2016 / p. 20 http://www.thereasoner.org/

journal article

67

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

68

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

69

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

70

journal article

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

journal article

71

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

72

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

73

book article

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

book article

74

newspaper article

Juhusest sünnitatud paljutõotav korralagedusMägi, VahurNoorte Hääl : ELKNÜ Keskkomitee häälekandja1980 https://www.ester.ee/record=b1320792*est

newspaper article

75

newspaper article

Juubelihõnguline teadusfilosoofia maailmakongress [Prantsusmaal]Müürsepp, Peeter; Vihalemm, ReinSirp2011 / lk. 23 : ill

newspaper article

loogika (subject term)

types of item

subject term 12