A Closer Look at Some Subintuitionistic Logics

Notre Dame Journal of Formal Logic 42 (4):225-255 (2001)
  Copy   BIBTEX


In the present paper we study systematically several consequence relations on the usual language of propositional intuitionistic logic that can be defined semantically by using Kripke frames and the same defining truth conditions for the connectives as in intuitionistic logic but without imposing some of the conditions on the Kripke frames that are required in the intuitionistic case. The logics so obtained are called subintuitionistic logics in the literature. We depart from the perspective of considering a logic just as a set of theorems and also depart from the perspective taken by Restall in that we consider standard Kripke models instead of models with a base point. We study the relations between subintuitionistic logics and modal logics given by the translation considered by Došen. Moreover, we classify the logics obtained according to the hierarchy considered inAlgebraic Logic



    Upload a copy of this work     Papers currently archived: 93,069

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A Closer Look at Some Subintuitionistic Logics.Sergio Celani & Ramon Jansana - 2001 - Notre Dame Journal of Formal Logic 42 (4):225-255.
Classical and Empirical Negation in Subintuitionistic Logic.Michael De & Hitoshi Omori - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 217-235.
Kripke Semantics for Fuzzy Logics.Saeed Salehi - 2018 - Soft Computing 22 (3):839–844.
Subintuitionistic Logics.Greg Restall - 1994 - Notre Dame Journal of Formal Logic 35 (1):116-129.
Propositional Mixed Logic: Its Syntax and Semantics.Karim Nour & Abir Nour - 2003 - Journal of Applied Non-Classical Logics 13 (3-4):377-390.
Kripke semantics for modal substructural logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.


Added to PP

57 (#288,482)

6 months
10 (#308,797)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

References found in this work

What is strict implication?Ian Hacking - 1963 - Journal of Symbolic Logic 28 (1):51-71.
Basic Propositional Calculus I.Mohammad Ardeshir & Wim Ruitenburg - 1998 - Mathematical Logic Quarterly 44 (3):317-343.
Subintuitionistic Logics.Greg Restall - 1994 - Notre Dame Journal of Formal Logic 35 (1):116-129.
Weak Logics with Strict Implication.Giovanna Corsi - 1987 - Mathematical Logic Quarterly 33 (5):389-406.

View all 12 references / Add more references