Tableaux for nonmonotonic logics

MaRDI QIDQ2753603zbMATH OpenFDO

Authors N. Olivetti

Publication date 14 November 2001

Mathematics Subject Classification ID

General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00) Mechanization of proofs and logical operations (03B35) Other nonclassical logic (03B60) Structure of proofs (03F07) Logic in artificial intelligence (68T27)

Review text

See the review of the entire collection (Zbl 0956.03001).NEWLINENEWLINEFor the entire collection see [Zbl 0956.03001].

Cited in

(7)

• Not every ``tabular predicate logic is finitely axiomatizable
• Tableaux for intuitionistic logics
• Theorem proving for conditional logics: CondLean and GOALDUCK
• scientific article; zbMATH DE number 1950252 (Why is no real title available?)
• scientific article; zbMATH DE number 2024622 (Why is no real title available?)
• Tabular Logics with no Finite Bases for Inference Rules
• scientific article; zbMATH DE number 5230352 (Why is no real title available?)

This page was built for publication: Tableaux for nonmonotonic logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2753603)