Fragments of Some Subintuitionistic Logics

In this article we determine the implicational fragments of most of the known subintuitionistic logics.

Logic, Reasoning, and Knowledge

View graph Source

Paper

Similar papers

Sub-Sub-Intuitionistic LogicJonte Deakin, Jim de Groot2026 · Notre Dame Journal of Formal Logic In Library

Modelling of logical systems by means of their fragmentsMikhail Nikolayevich Rybakov2025 · arXiv (Cornell University) In Library

Nested Sequents for Intuitionistic Grammar Logics via Structural RefinementTim S. Lyon2022 · arXiv (Cornell University) In Library

Investigations into intuitionistic and other negationsSatoru Niki2022 · Bulletin of Symbolic Logic In Library

Strong conservativity and completeness for fragments of infinitary action logicStepan Kuznetsov2024 · Sibirskie Elektronnye Matematicheskie Izvestiya In Library

Simple Tableaus for Simple Intuitionistic LogicsMelvin Fitting2026 · Notre Dame Journal of Formal Logic In Library

On algorithmic expressivity of finite-variable fragments of intuitionistic modal logicsMikhail Rybakov, Dmitry Shkatov2023 · arXiv (Cornell University) In Library

Disjoint LogicsFederico Pailos2020 · Logic and Logical Philosophy In Library

The complexity of disjunction in intuitionistic logicR. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh2020 · Journal of Logic and Computation In Library

Modal FragmentsNick Bezhanishvili, Balder ten Cate, Arunavo Ganguly et al.2026 · Open MIND In Library

Source of record

OpenAlex

44B

Welcome.

This panel sticks with you. Pick anything below and it opens right beside it, so you can dig through 60,000-plus records without ever losing your spot here.

Travel 44B

LibraryPapers, policy, standards, statute LabsEvery organization building AI ModelsIntelligence, price, and speed BenchmarksThe evaluation catalog IncidentsAI failures and harms SearchOne field across everything DashboardThe state of AI accountability in NY 44B RegistryThe Art. 44-B compliance portal