We investigate fragments of intuitionistic propositional logic containing implication but not disjunction. These fragments are finite, but their size grows superexponentially with the number of generators. Exact models are used to characterize the fragments.</p
In the first part of this paper, we prove that there are continuously many fragments of intuitionist...
International audienceThe usual reading of logical implication A → B as " if A then B " fails in int...
AbstractThis paper considers the computational complexity of the disjunction and existential propert...
We investigate fragments of intuitionistic propositional logic containing implication but not disjun...
We investigate fragments of intuitionistic propositional logic containing implication but not disjun...
We show in this paper that all fragments of intuitionistic propositional logic based on a subset of ...
This article is a report on research in progress into the structure of finite diagrams of intuition...
In this thesis we study implicational fragments of intuitionistic propositional logic with finite nu...
This article is a report on research in progress into the structure of finite diagrams of intuitioni...
AbstractIn this paper we study the interpolation property in fragments of intuitionistic and proposi...
AbstractUniform infinite bases are defined for the single-conclusion and multiple-conclusion admissi...
In the first part of this paper, we prove that there are continuously many fragments of intuitionist...
International audienceThe usual reading of logical implication A → B as " if A then B " fails in int...
AbstractThis paper considers the computational complexity of the disjunction and existential propert...
We investigate fragments of intuitionistic propositional logic containing implication but not disjun...
We investigate fragments of intuitionistic propositional logic containing implication but not disjun...
We show in this paper that all fragments of intuitionistic propositional logic based on a subset of ...
This article is a report on research in progress into the structure of finite diagrams of intuition...
In this thesis we study implicational fragments of intuitionistic propositional logic with finite nu...
This article is a report on research in progress into the structure of finite diagrams of intuitioni...
AbstractIn this paper we study the interpolation property in fragments of intuitionistic and proposi...
AbstractUniform infinite bases are defined for the single-conclusion and multiple-conclusion admissi...
In the first part of this paper, we prove that there are continuously many fragments of intuitionist...
International audienceThe usual reading of logical implication A → B as " if A then B " fails in int...
AbstractThis paper considers the computational complexity of the disjunction and existential propert...
DOI
Add to ORKG