Binary Modal Companions for Subintuitionistic Logics

In Mojtaba Mojtahedi, Shahid Rahman & MohammadSaleh Zarepour (eds.), Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir. Springer. pp. 35-52 (2021)
  Copy   BIBTEX

Abstract

The weak subintuitionistic logicSub-intuitionistic logics WF, for which no standard unary modal companionModal companion is known, is found to have a strict implicationStrict implication logic as its binary modal companionModal companion. It is also shown that for all modal logicsModal logic extending the weak logic EN, classical modal logicClassical modal logic with necessitation, a strict implicationStrict implication logic exists which is essentially equivalent to it. This logic extends a basic strict implicationStrict implication logic plus an axiom U, and conversely each such logic corresponds to a modal logicModal logic extending EN. Among other things this means that any subintuitionistic logicSub-intuitionistic logics which has a modal companionModal companion has a strict implicationStrict implication companion as well.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

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.Ramon Jansana & Sergio Celani - 2001 - Notre Dame Journal of Formal Logic 42 (4):225-255.
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.
Weak subintuitionistic logics.Fatemeh Shirohammadzadeh Maleki & Dick De Jongh - 2017 - Logic Journal of the IGPL 25 (2):214-231.
Subintuitionistic Logics.Greg Restall - 1994 - Notre Dame Journal of Formal Logic 35 (1):116-129.
Bounded distributive lattices with strict implication.Sergio Celani & Ramon Jansana - 2005 - Mathematical Logic Quarterly 51 (3):219-246.
On some intuitionistic modal logics.Hiroakira Ono - 1977 - Bulletin of the Section of Logic 6 (4):182-184.
Decidable and undecidable logics with a binary modality.ágnes Kurucz, István Németi, Ildikó Sain & András Simon - 1995 - Journal of Logic, Language and Information 4 (3):191-206.

Analytics

Added to PP
2022-03-09

Downloads
4 (#1,426,706)

6 months
2 (#670,035)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dick De De Jongh
University of Amsterdam

References found in this work

No references found.

Add more references