Journal of Symbolic Logic 72 (3):803 - 833 (2007)
AbstractPreferential model is one of the important semantical structures in nonmonotonic logic. This paper aims to establish an isomorphism theorem for preferential models, which gives us a purely algebraic characterization of the equivalence of preferential models. To this end, we present the notions of local similarity and local simulation. Based on these notions, two operators Δ(·) and μ(·) over preferential models are introduced and explored respectively. Together with other two existent operators ρ(·) and ΠD(·), we introduce an operator ∂D(·). Then the isomorphism theorem is obtained in terms of ∂D(·), which asserts that for any two preferential models M₁ and M₂, they generate the same preferential inference if and only if ∂D(M₁) and ∂D(M₂) are isomorphic. Based on ∂D(·), we also get an alternative model-theoretical characterization of the well-known postulate "Weaken Disjunctive Rationality". Moreover, in the finite language framework, we show that Δ(μ(·)) is competent for the task of eliminating redundancy, and provide a representation result for k-relations
Similar books and articles
Valuation structure.Zhaohui Zhu, Zhenghua Pan, Shifu Chen & Wujia Zhu - 2002 - Journal of Symbolic Logic 67 (1):1-23.
Algebraic semantics for deductive systems.W. J. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.
Categorical and algebraic aspects of Martin-löf type theory.Adam Obtułowicz - 1989 - Studia Logica 48 (3):299 - 317.
A Transformational Characterization of Markov Equivalence for Directed Maximal Ancestral Graphs.Jiji Zhang & Peter Spirtes - unknown
An algebraic characterization of power set in countable standard models of ZF.George Metakides & J. M. Plotkin - 1975 - Journal of Symbolic Logic 40 (2):167-170.
New techniques and completeness results for preferential structures.Karl Schlechta - 2000 - Journal of Symbolic Logic 65 (2):719-746.
Linearization of the BCK-logic.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 2000 - Studia Logica 65 (1):31-51.
On variable separation in modal and superintuitionistic logics.Larisa Maksimova - 1995 - Studia Logica 55 (1):99 - 112.
A brief introduction to algebraic set theory.Steve Awodey - 2008 - Bulletin of Symbolic Logic 14 (3):281-298.
Algebraic logic for classical conjunction and disjunction.J. M. Font & V. Verdú - 1993 - Studia Logica 52 (1):181.
Completeness and incompleteness for plausibility logic.Karl Schlechta - 1996 - Journal of Logic, Language and Information 5 (2):177-192.
An Algebraic Approach to Canonical Formulas: Modal Case.Guram Bezhanishvili & Nick Bezhanishvili - 2011 - Studia Logica 99 (1-3):93-125.
Algebraic logic for classical conjunction and disjunction.Josep M. Font & Ventura Verdú - 1991 - Studia Logica 50 (3-4):391 - 419.
Added to PP
Historical graph of downloads
Citations of this work
Semantics for Dual Preferential Entailment.Katarina Britz, Johannes Heidema & Willem Labuschagne - 2009 - Journal of Philosophical Logic 38 (4):433-446.
A general approach to extension-based semantics in abstract argumentation.Lixing Tan, Zhaohui Zhu & Jinjin Zhang - 2023 - Artificial Intelligence 315 (C):103836.
References found in this work
No references found.