MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "On Intermediate Propositional Logics." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

14 documents found, showing 1 through 10. Next 10 →

ATOM

An Incompleteness Result for Predicate Extensions of Intermediate Propositional Logics
by D. Skvortsov, Of L — 2003 — Advances in Modal Logic
…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
by Dick De Jongh, Lex Hendriks — 2001 — in Intermediate Logics. Theory and Practice of Logic Programming
…-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 . . .
by A. Avellone, A Degli, Studi Di Milano, Rapporto Interno N — 1997
… 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
by Agata Ciabattoni, Mauro Ferrari — 2000 — J. of Logic and Computation
… 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
by David Pearce, Inmaculada P. de Guzman, Agustín Valverde — 2000 — In Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2000, LNAI 1847
… 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
by Mauricio Osorio, Juan Antonio Navarro, Jose Arrazola, Sta Catarina Martir — 2001
… (:). 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
by David Pearce — 1997 — In Proc. of NMELP 96, LNCS 1216
… 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
by David Pearce — 1998 — In Proceedings of the Joint Conference on Declarative Programming (APPIA-GULP-PRODE'98
… 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
by Dominique Larchey-wendling, Loria Cnrs — 2004 — In: IJCAR
… 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
by Dominique Larchey-Wendling
… denotes the classically valid formulae. As usual an intermediate propositional logic [6] is a set…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB