Otsing - TalTech teadusportaal

kuva

reasta

51

raamat

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

raamat

52

artikkel kogumikus

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

artikkel kogumikus

53

artikkel ajakirjas

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

artikkel ajakirjas

54

artikkel kogumikus

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

artikkel kogumikus

55

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

56

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

57

raamat

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

raamat

58

raamat

Graph Operad Logic X2013

raamat

59

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

60

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

61

artikkel kogumikus

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

artikkel kogumikus

62

artikkel kogumikus

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

artikkel kogumikus

63

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

64

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

65

raamat

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

raamat

66

artikkel ajakirjas

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/

artikkel ajakirjas

67

artikkel ajakirjas

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

artikkel ajakirjas

68

artikkel kogumikus

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

artikkel kogumikus

69

artikkel kogumikus

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

artikkel kogumikus

70

artikkel ajakirjas

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

artikkel ajakirjas

71

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

72

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

73

artikkel kogumikus

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

artikkel kogumikus

74

artikkel ajalehes

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

artikkel ajalehes

75

artikkel ajalehes

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

artikkel ajalehes

loogika (märksõna)

teaviku laadid

märksõna 12