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

1
by Fitting, Melvin
Published 1969
North-Holland Pub. Co.
Table of Contents: “...Propositional intuitionistic logic semantics -- Propositional intuitionistic logic proof theory...”
Cover Image
Read Now

2
by Mints, Grigori
Published 2000
Springer US
Table of Contents: “... Logic -- Negative Translation: Glivenko’s Theorem -- Program Interpretation of Intuitionistic Logic...”
Cover Image
Read Now

3
by Fitting, M.
Published 1983
Springer Netherlands
Table of Contents: “... Tableau Systems -- Nine / Intuitionistic Logic -- Special Notation...”
Cover Image
Read Now

4
by Gabbay, Dov M.
Published 1981
Springer Netherlands
Cover Image
Read Now

5
Published 2014
Springer Netherlands
“... contributions and consequent developments that have helped to shape duality theory for modal and intuitionistic...”
Cover Image
Read Now

6
by Gabbay, Dov M.
Published 2005
Oxford University Press
Cover Image
Read Now

7
by Wybraniec-Skardowska, Urszula
Published 2020
MDPI - Multidisciplinary Digital Publishing Institute
Subjects: “...intuitionistic logic...”
Cover Image
Read Now

8
Published 2002
Springer Netherlands
Table of Contents: “...Intuitionistic Logic -- Dialogues as a Foundation for Intuitionistic Logic -- Free Logics -- More...”
Cover Image
Read Now

9
by van Dalen, Dirk
Published 2013
Springer London
Table of Contents: “... Order Logic -- Intuitionistic Logic -- Normalization -- Gödel's theorem...”
Cover Image
Read Now

10
by Bell, J. L.
Published 2022
Cambridge University Press
“.... Section 3 introduces Local Set Theory (also known as higher-order intuitionistic logic), an important form...”
Cover Image
Read Now

11
Published 1986
Springer Netherlands
Table of Contents: “... and Entailment -- III.4. Intuitionistic Logic -- III.5. Dialogues as a Foundation for Intuitionistic Logic -- III...”
Cover Image
Read Now

12
by Sørensen, Morten Heine
Published 2006
Elsevier
Table of Contents: “...Preface -- Acknowledgements -- 1. Typefree lambda-calculus -- 2. Intuitionistic logic -- 3. Simply...”
Cover Image
Read Now

13
by Kapsner, Andreas
Published 2014
Springer International Publishing
Table of Contents: “... -- Stage Five: Pure Falsificationism and Dual Intuitionistic Logic -- Stage Two: Expanded Verificationism...”
Cover Image
Read Now

14
by Majkic, Zoran
Published 2023
De Gruyter
“... of Internal symmetry to Computer Science: for Intuitionistic Logic, Untyped Lambda Calculus with Fixpoint...”
Cover Image
Read Now

15
by van Dalen, Dirk
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... -- Intuitionistic Logic -- Normalisation -- Gödel’s theorem...”
Cover Image
Read Now

16
by Homer, Steven, Nerode, Anil, Platek, Richard A., Sacks, Gerald E.
Published 1990
Springer Berlin Heidelberg
Table of Contents: “...The isomorphism conjecture and its generalizations -- Some lectures on intuitionistic logic...”
Cover Image
Read Now

17
Published 2021
Springer International Publishing
Table of Contents: “...Gödel's Functional Interpretation in Context -- Part I: Axiomatic Intuitionist Logic -- Part II...”
Cover Image
Read Now

18
by Dalen, Dirk van
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... -- 4. Second Order Logic -- 5. Intuitionistic Logic -- 6. Normalisation...”
Cover Image
Read Now

19
by Dalen, Dirk van
Published 1983
Springer Berlin Heidelberg
Table of Contents: “... -- 4. Second-Order Logic -- 5. Intuitionistic Logic -- 6. Appendix -- 7. Bibliography -- 8. Gothic...”
Cover Image
Read Now

20
by Polkowski, Lech T.
Published 2023
Springer Nature Switzerland
Table of Contents: “... and Intuitionistic Logics -- Temporal Logics for linear and branching time and model checking -- Finitely...”