Search alternatives:
"logician" » "logicians", "logiciel", "logica"

81
Published 1977
Springer Netherlands
...Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science...

82
Published 1995
Springer Netherlands
Table of Contents: ... -- Optimization of Deduction for Multi-Modal Logics -- Are Types Needed for Natural Language? -- Indexical...

83
by Galatos, Nikolaos
Published 2007
Elsevier
Table of Contents: ... -- Chapter 2. Substructural logics and residuated lattices -- Chapter 3. Residuation and structure theory...

84
by Church, Alonzo
Published 2016
Princeton University Press
Subjects: ...Logic, Symbolic and mathematical...

85
Published 2012
Springer Netherlands
Table of Contents: ... and metaphysics -- References -- Modalities without worlds; Reinhard Kahle -- 1. Modal logic -- 2. Possible Worlds...

86
Published 2011
Springer Milan
Table of Contents: ... Peano: a Revolutionary in Symbolic Logic? -- At the Origins of Metalogic -- Foundations of Geometry...

87
by Merrill, Daniel D.
Published 1990
Springer Netherlands
Table of Contents: ...I. The Traditional Syllogism -- 1. Whately and the Revival of Formal Logic -- 2. Euclid...

88
by Urbaniak, Rafal
Published 2014
Springer International Publishing
Subjects: ...Mathematical logic...

89
Published 2016
Cambridge University Press
Subjects: ...Logic, Symbolic and mathematical...

90
Published 2015
Springer International Publishing
Table of Contents: ... of Mathematical Fuzzy Logic -- Chapter 3. The logic of fuzzy set theory: a historical approach; Siegfried Gottwald...

91
Published 1980
Springer Netherlands
Table of Contents: ...Contents/Table des Matières -- Intuitionistic Logic: A Philosophical Challenge -- Comments...

92
Published 1974
Springer Netherlands
Table of Contents: ... -- Notes for a Linguistic Reading of the Categories -- Two Modern Research in Ancient Logic -- Greek...

93
by Rautenberg, Wolfgang
Published 2010
Springer New York
Table of Contents: ...Propositional Logic -- First-Order Logic -- Complete logical Calculi -- Foundations of Logic...

94
by Goldblatt, Robert
Published 2011
Cambridge University Press
Table of Contents: ...Introduction and overview -- Chapter 1. Logics with actualist quantifiers -- Chapter 2. The Barcan...

95
Published 2007
Springer New York
Table of Contents: ...On Two Models of Provability: Provability Logic, Logic of Proofs -- Directions for Computability...

96
by Zilber, Boris
Published 2010
Cambridge University Press
... their applications in geometry as well as various other mathematical fields. Its logical approach helps us understand...

97
by Chatti, Saloua
Published 2019
Birkhäuser
Table of Contents: ...Chapter 1: General Introduction -- Chapter 2: The Rise of Arabic Logic: Authors, Translations...

98
by Murawski, Roman
Published 2014
Birkhäuser
Subjects: ...Mathematical logic...

99
Published 2016
Springer International Publishing
Table of Contents: ... and Gentzen -- Jean Paul Van Bendegem: Logic and Argumentation in Belgium: The Role of Leo Apostel -- Philippe...

100
by Gabbay, Dov M.
Published 2007
North Holland
Table of Contents: ...Preface -- List of Contributors -- Chapter 1. Many-valued Logic (Grzegorz Malinowski) -- Chapter 2...