Classical and Empirical Negation in Subintuitionistic Logic

In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 217-235 (2016)
  Copy   BIBTEX

Abstract

Subintuitionistic (propositional) logics are those in a standard intuitionistic language that result by weakening the frame conditions of the Kripke semantics for intuitionistic logic. In this paper we consider two negation expansions of subintuitionistic logic, one by classical negation and the other by what has been dubbed “empirical” negation. We provide an axiomatization of each expansion and show them sound and strongly complete. We conclude with some final remarks, including avenues for future research.

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 102,440

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.
Liberating classical negation from falsity conditions.Damian Szmuc & Hitoshi Omori - 2022 - Proceedings of the 52nd International Symposium on Multiple-Valued Logic (ISMVL 2022).
Investigations into intuitionistic and other negations.Satoru Niki - 2022 - Bulletin of Symbolic Logic 28 (4):532-532.
Basic Quasi-Boolean Expansions of Relevance Logics.Gemma Robles & José M. Méndez - 2021 - Journal of Philosophical Logic 50 (4):727-754.

Analytics

Added to PP
2018-02-24

Downloads
47 (#482,373)

6 months
4 (#1,131,583)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Michael De
Utrecht University

Citations of this work

Metainferential Paraconsistency.Bruno Da Ré, Mariela Rubin & Paula Teijeiro - 2022 - Logic and Logical Philosophy 31 (2):235-260.

Add more citations

References found in this work

Displaying Modal Logic.Heinrich Wansing - 1998 - Dordrecht, Netherland: Springer.
Simplified semantics for basic relevant logics.Graham Priest & Richard Sylvan - 1992 - Journal of Philosophical Logic 21 (2):217 - 232.
Displaying Modal Logic.Heinrich Wansing - 2000 - Studia Logica 66 (3):421-426.
Simplified semantics for relevant logics (and some of their rivals).Greg Restall - 1993 - Journal of Philosophical Logic 22 (5):481 - 511.
Subintuitionistic Logics.Greg Restall - 1994 - Notre Dame Journal of Formal Logic 35 (1):116-129.

View all 8 references / Add more references