Intuitionistic logic and its philosophy

Al-Mukhatabat. A Trilingual Journal For Logic, Epistemology and Analytical Philosophy (6):114-127 (2013)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Bi-Simulating in Bi-Intuitionistic Logic.Guillermo Badia - 2016 - Studia Logica 104 (5):1037-1050.
Intuitionistic autoepistemic logic.Giambattista Amati, Luigia Carlucci-Aiello & Fiora Pirri - 1997 - Studia Logica 59 (1):103-120.
Expressing Second-order Sentences in Intuitionistic Dependence Logic.Fan Yang - 2013 - Studia Logica 101 (2):323-342.
Towards intuitionistic dynamic logic.J. W. Degen & J. M. Werner - 2006 - Logic and Logical Philosophy 15 (4):305-324.
Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant.Norihiro Kamide, Yaroslav Shramko & Heinrich Wansing - 2017 - Studia Logica 105 (6):1193-1219.
Truth-Maker Semantics for Intuitionistic Logic.Kit Fine - 2014 - Journal of Philosophical Logic 43 (2-3):549-577.
Reverse Mathematics and Completeness Theorems for Intuitionistic Logic.Takeshi Yamazaki - 2001 - Notre Dame Journal of Formal Logic 42 (3):143-148.
Intuitionistic mathematics does not needex falso quodlibet.Neil Tennant - 1994 - Topoi 13 (2):127-133.
Negational Fragment of Intuitionistic Control Logic.Anna Glenszczyk - 2015 - Studia Logica 103 (6):1101-1121.
Semi-intuitionistic Logic.Juan Manuel Cornejo - 2011 - Studia Logica 98 (1-2):9-25.
A note on dual-intuitionistic logic.Norihiro Kamide - 2003 - Mathematical Logic Quarterly 49 (5):519.
Intuitionistic propositional logic without 'contraction' but with 'reductio'.J. M. Méndez & F. Salto - 2000 - Studia Logica 66 (3):409-418.
On the complexity of propositional quantification in intuitionistic logic.Philip Kremer - 1997 - Journal of Symbolic Logic 62 (2):529-544.
On Some Semi-Intuitionistic Logics.Juan M. Cornejo & Ignacio D. Viglizzo - 2015 - Studia Logica 103 (2):303-344.
Axioms for classical, intuitionistic, and paraconsistent hybrid logic.Torben Braüner - 2006 - Journal of Logic, Language and Information 15 (3):179-194.

Analytics

Added to PP
2017-10-25

Downloads
464 (#39,721)

6 months
87 (#48,177)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Panu Raatikainen
Tampere University

Citations of this work

No citations found.

Add more citations

References found in this work

Elements of Intuitionism.Michael Dummett - 1977 - New York: Oxford University Press. Edited by Roberto Minio.
Singular terms, truth-value gaps, and free logic.Bas C. van Fraassen - 1966 - Journal of Philosophy 63 (17):481-495.
Elements of Intuitionism.Michael Dummett - 1980 - British Journal for the Philosophy of Science 31 (3):299-301.
Elements of Intuitionism.Nicolas D. Goodman - 1979 - Journal of Symbolic Logic 44 (2):276-277.
Deviant Logic.Graham Priest - 1975 - Philosophical Quarterly 25 (101):371.

View all 12 references / Add more references