Tableaux and sequent calculus for minimal entailment (Q688552)

From MaRDI portal
Revision as of 21:52, 13 February 2024 by RedirectionBot (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Tableaux and sequent calculus for minimal entailment
scientific article

    Statements

    Tableaux and sequent calculus for minimal entailment (English)
    0 references
    0 references
    1 September 1994
    0 references
    Using standard deduction methods, it is shown that a formalization of the nonmonotonic (propositional) minimal entailment relation can be given. The idea of minimal entailment plays a significant role in some major approaches to nonmonotonic reasoning as Circumscription and Closed World Assumption reasoning. Instead of developing nonstandard tools as has been the case in these latter approaches, a slight adaptation of two standard methods (semantic tableaux and Gentzen's sequent calculus) is presented to capture preferential and minimal entailment relations. Correctness and completeness of the methods with respect to the entailment relations are shown. An extension to so-called dynamic minimal entailment is presented to point out the relation with Variable Circumscription and the Extended Closed World Assumption. The extension to the first-order case is discussed.
    0 references
    formalization of the nonmonotonic minimal entailment relation
    0 references
    semantic tableaux
    0 references
    nonmonotonic reasoning
    0 references
    Gentzen's sequent calculus
    0 references
    dynamic minimal entailment
    0 references
    Variable Circumscription
    0 references
    Extended Closed World Assumption
    0 references

    Identifiers