Fragments of Some Subintuitionistic Logics
Fatemeh Shirmohammadzadeh Maleki, Dick de Jongh
TL;DR
This paper explores the implicational fragments of various subintuitionistic logics, providing a comprehensive analysis of their logical structures and relationships.
Contribution
It systematically characterizes the implicational fragments of many known subintuitionistic logics, expanding understanding of their foundational properties.
Findings
Identified the implicational fragments for most subintuitionistic logics
Mapped relationships between fragments and original logics
Provided a framework for analyzing subintuitionistic logic fragments
Abstract
In this article we determine the implicational fragments of most of the known subintuitionistic logics.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge