Searching for "On Intermediate Propositional Logics." – sorted by Relevance.
-
An Incompleteness Result for Predicate Extensions of Intermediate Propositional Logics
- 21 An Incompleteness Result for Predicate Extensions of Intermediate Propositional Logics D
- Cited by 1 (0 self) – Add To MetaCart
-
Characterization of Strongly Equivalent Logic Programs in Intermediate Logics
- -classical intermediate propositional logic (see [10]). In this paper we will show that KC (the logic of :p _ ::p
- Cited by 18 (0 self) – Add To MetaCart
-
Duplication-Free Tableau Calculi Together With Cut-Free and Contraction-Free Sequent Calculi for the Interpolable . . .
- calculi for the interpolable propositional intermediate logics Alessandro Avellone Mauro Ferrari
- Cited by 7 (1 self) – Add To MetaCart
-
Hypersequent Calculi for some Intermediate Logics with Bounded Kripke Models
- semantical characterization of propositional intermediate logics (see [8]), that is, logics including
- Cited by 7 (3 self) – Add To MetaCart
-
A Tableau Calculus for Equilibrium Entailment
- of intermediate propositional logics (extensively investigated in the literature) classical logic has a unique
- Cited by 10 (8 self) – Add To MetaCart
-
Equivalence in Answer Set Programming
- (:). 3 This logic is the greatest intermediate propositional logic properly included in the classical
- Cited by 18 (3 self) – Add To MetaCart
-
A New Logical Characterisation of Stable Models and Answer Sets
- logic is called proper if it is contained in classical logic. Whilst intermediate propositional logics
- Cited by 26 (10 self) – Add To MetaCart
-
Back and Forth Semantics for Normal, Disjunctive and Extended Logic Programs
- of intermediate propositional logics (extensively investigated in the literature, see eg. [2]) classical logic has
- Cited by 1 (0 self) – Add To MetaCart
-
Counter-model search in Gödel-Dummett logics
- will denote the classically valid formulae. As usual an intermediate propositional logic [1] is a set
- Cited by 3 (2 self) – Add To MetaCart
-
Bounding Resource Consumption with Gödel-Dummett Logics
- denotes the classically valid formulae. As usual an intermediate propositional logic [6] is a set
- Cited by 1 (1 self) – Add To MetaCart

