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

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
Keywords subintuitionistic logic   modal logic   intuitionistic logic   protoalgebraic logics   equivalential logics   algebraizable logics
Categories (categorize this paper)
DOI 10.1305/ndjfl/1063372244
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 63,274
Through your library

References found in this work BETA

What is Strict Implication?Ian Hacking - 1963 - Journal of Symbolic Logic 28 (1):51-71.
Weak Logics with Strict Implication.Giovanna Corsi - 1987 - Mathematical Logic Quarterly 33 (5):389-406.
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.

View all 12 references / Add more references

Citations of this work BETA

Selfextensional Logics with a Conjunction.Ramon Jansana - 2006 - Studia Logica 84 (1):63-104.
Correspondences Between Gentzen and Hilbert Systems.J. G. Raftery - 2006 - Journal of Symbolic Logic 71 (3):903 - 957.
Modal Translation of Substructural Logics.Chrysafis Hartonas - 2020 - Journal of Applied Non-Classical Logics 30 (1):16-49.

View all 14 citations / Add more citations

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.
Subintuitionistic Logics.Greg Restall - 1994 - Notre Dame Journal of Formal Logic 35 (1):116-129.
Weakly Algebraizable Logics.Janusz Czelakowski & Ramon Jansana - 2000 - Journal of Symbolic Logic 65 (2):641-668.
Abstract Modal Logics.Ramon Jansana - 1995 - Studia Logica 55 (2):273 - 299.
A Universal Logic Approach to Adaptive Logics.Diderik Batens - 2007 - Logica Universalis 1 (1):221-242.
Substructural Logics.Greg Restall - forthcoming - Stanford Encyclopedia of Philosophy.
Some Logics Related to von Wright's Logic of Place.Ramón Jansana - 1994 - Notre Dame Journal of Formal Logic 35 (1):88-98.
An Infinity of Super-Belnap Logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319 - 335.


Added to PP index

Total views
42 ( #254,776 of 2,448,609 )

Recent downloads (6 months)
1 ( #449,192 of 2,448,609 )

How can I increase my downloads?


My notes