Search alternatives:
"logician" » "logicians", "logiciel"
"logica" » "logics"
"logical" » "logicsl"

81
by Perrin, Dominique
Published 2004
Elsevier
Table of Contents: ... -- Chapter VIII. AN EXCURSION INTO LOGIC -- 1. Introduction -- 2. The formalism of logic -- 3. Monadic second...

82
by Andrews, P. B.
Published 1965
North-Holland Pub. Co.
Table of Contents: ...System Q -- Basic logic in Q -- Theorem of infinity and related results -- Formalization...

83
Published 1975
Springer Berlin Heidelberg
Table of Contents: ...Reminiscences of logicians -- Frames and models in modal logic -- A language and axioms...

84
Published 2021
Springer International Publishing
Table of Contents: .... Fuzzy Logic, a Logicians Perspective -- Chapter 10. Applications of Fuzzy Logic in an Automated...

85
by Manekin, Charles H.
Published 1992
Springer Netherlands
Subjects: ...Logic...

86
by Gauthier, Y.
Published 2002
Springer Netherlands
Table of Contents: ... to Brouwer -- 6. Hilbert and the Foundations of Physics -- 7. Conclusion. Internal logic: From Kronecker...

87
Published 2022
Birkhäuser
Table of Contents: ... question on the next ‘unbloody’ revolution in logic -- Logic and analogy -- A Carnapian logic...

88
Published 2016
Birkhäuser
Table of Contents: ...Introduction -- Durand, Kontinen, Vollmer, Expressivity and Complexity of Dependence Logic...

89
by Jacquette, Dale
Published 2006
Elsevier/North Holland
Table of Contents: ... -- Introduction: Philosophy of Logic Today (Dale Jacquette) -- What is Logic? (Jaakko Hintikka and Gabriel Sandu...

90
by Smorynski, Craig
Published 1991
Springer Berlin Heidelberg
Table of Contents: .... Formal Language and Logic -- 3. The Completeness Theorem -- 4. Presburger-Skolem Arithmetic; The Theory...

91
by Leblanc, Hugues
Published 1973
North-Holland
Table of Contents: ... Generalization of Intuitionistic and Modal Logics; Chapter 14. Philosophy and Formal Semantics; Chapter 15...

92
by Zinov'ev, A.A.
Published 1973
Springer Netherlands
Table of Contents: ...One/the Logical Theory of Scientific Knowledge -- Two/Signs -- Three/Terms -- Four/Sentences...

93
by Hájek, Petr
Published 1998
Springer Netherlands
Table of Contents: ...One / Preliminaries -- 1.1 Introduction -- 1.2 A survey of Boolean propositional logic -- 1.3...

94
by Dalla Chiara, Maria Luisa, Giuntini, Roberto, Leporini, Roberto, Sergioli, Giuseppe
Published 2018
Springer International Publishing
Table of Contents: ... logical gates -- Quantum entanglement: mystery and resource -- From quantum logical circuits to quantum...

95
Published 1999
Springer Netherlands
Table of Contents: ...Dov Gabbay: “I am a logic” -- Research Themes of Dov Gabbay -- Proofs, Labels and Dynamics...

96
by Bonzio, Stefano, Paoli, Francesco, Pra Baldi, Michele
Published 2022
Springer International Publishing
Table of Contents: ... Varieties -- Chapter 3. Dualities for Regular Varieties -- Chapter 4. Logics of Left Variable Inclusion...

97
Published 2003
Springer Netherlands
Table of Contents: ... Paradigms of Logical Computation in Affine Logic? -- Proof Systems for ?-Calculus Logics -- A Tutorial...

98
Published 1997
Springer Netherlands
Table of Contents: ...I Action -- On action and agency -- Delta logic and Brown’s logic of ability -- Action...

99
by Wansing, Heinrich
Published 1998
Springer Netherlands
Table of Contents: ...One / Introduction -- Two / Sequents Generalized -- Three / Display Logic -- Four / Properly...

100
by Shramko, Yaroslav, Wansing, Heinrich
Published 2012
Springer Netherlands
Subjects: ...Mathematical logic...