Search alternatives:
"intuitionistic logic" » "intuitionistic fuzzy"
Cover Image
Read Now

81
by Bimbó, Katalin
Published 2015
CRC Press, Taylor & Francis Group
“... intuitionistic logic to relevance logic, through linear and modal logics. A particular version of sequent calculi...”
Cover Image
Read Now

82
by von Plato, Jan
Published 2017
Springer International Publishing
Table of Contents: “... I -- 6. Investigations into logical inferences -- 7. Reduction of classical to intuitionistic logic...”
Cover Image
Read Now

83
Published 2019
Springer International Publishing
Table of Contents: “... Completeness, Covers and Superposition -- A Tableaux Calculus for Default Intuitionistic Logic -- NIL: Learning...”
Cover Image
Read Now

84
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Techniques for Querying Large Description Logic ABoxes -- A Local System for Intuitionistic Logic -- CIC...”
Cover Image
Read Now

85
Published 2019
Springer Berlin Heidelberg
Table of Contents: “... in intuitionistic logic -- Consolidation of Belief in Two Logics of Evidence -- From Classical to Non-Monotonic...”
Cover Image
Read Now

86
by Dorn, Georg, Weingartner, Paul
Published 1985
Springer US
Table of Contents: “... Intermediate Logic -- Proof-theoretic Validity and the Completeness of Intuitionistic Logic -- Gentzen-type...”
Cover Image
Read Now

88
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... -- An Incremental Technique for Automata-Based Decision Procedures -- Session 4. Intuitionistic Logic...”
Cover Image
Read Now

89
Published 2015
Springer Berlin Heidelberg
Table of Contents: “... Hierarchy in First-Order Intuitionistic Logic...”
Cover Image
Read Now

90
by Arruda, A. I.
Published 1980
North-Holland Pub. Co.
Table of Contents: “... for intuitionistic logics; Chapter 11 Truth, probability and set theory; Chapter 12 Compact fragments of higher order...”
Cover Image
Read Now

91
Published 1962
Springer Netherlands
Table of Contents: “... of Deduction by Closed Semantic Tableaux -- 34. Independence -- 35. Intuitionistic Logic and Minimal Calculus...”
Cover Image
Read Now

92
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Semantics Based on Stratified Minimal Models -- Deep Inference in Bi-intuitionistic Logic -- : An Action...”
Cover Image
Read Now

93
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... -- On Herbrand’s Theorem for Intuitionistic Logic -- Ambiguity Propagating Defeasible Logic and the Well-Founded...”
Cover Image
Read Now

94
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... Intuitionistic Logic -- Verifying Probabilistic Programs Using a Hoare like Logic -- An Expressive Extension...”
Cover Image
Read Now

95
by Fletcher, P.
Published 1998
Springer Netherlands
“...) definitions of construction and proof, and describes the algorithmic substructure underlying intuitionistic...”
Cover Image
Read Now

96
Published 2021
Springer International Publishing
Table of Contents: “... Entailments in Separation Logic with Inductive Definitions -- Subformula Linking for Intuitionistic Logic...”
Cover Image
Read Now

97
Published 2022
Springer International Publishing
Table of Contents: “... Centrone and Pierluigi Minari: Oskar Becker and the Modal Translation of Intuitionistic Logic -- 19. Andrea...”
Cover Image
Read Now

98
Published 2012
Springer Netherlands
Table of Contents: “..., Antirealism, and Paraconsistency; Graham Priest -- 1. Introduction -- 2. Classical vs Intuitionist Logic -- 3...”
Cover Image
Read Now

99
by Wolenski, Jan
Published 1989
Springer Netherlands
Table of Contents: “... -- 2. Modal Logic -- 3. Intuitionistic Logic -- 4. Ja?kowski’s Discursive Logic -- 5. Concluding...”
Cover Image
Read Now

100
by MacLane, Saunders
Published 1986
Springer New York
Table of Contents: “... on Functions -- 13. Intuitionistic Logic -- 14. Independence by Means of Sheaves -- 15. Foundation...”