A Syntactic Characterization of Minimal Entailment.
Marek A. Suchenek · 1989
This paper investigates a consistent versions cwaS of sometimes inconsistent Reiter’s closed world assumption cwa, proving (theorem 4.3) that for every ∀-sentence φ and for every ∀-theory Σ, φ ∈ cwaS(Σ) iff Σ `min φ. A relativized version of this characterization (theorem 7.3) remains valid if not all relations are subject to minimization. Moreover, the paper relates cwaS to cwa and to Minker’s generalized closed world assumption GCWA. Finally, a possibility of procedural semantics for cwaS has been indicated.