Tableau methods for substructural logics

MaRDI QIDQ2753602zbMATH OpenFDO

Authors Marcello D'Agostino, Dov Gabbay, Krysia Broda

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) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Structure of proofs (03F07)

Review text

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

Cited in

(11)

• Adding logic to the toolbox of molecular biology
• scientific article; zbMATH DE number 1612547 (Why is no real title available?)
• Tableau methods for modal and temporal logics
• Informational semantics, non-deterministic matrices and feasible deduction
• Stable philosophical systems and radical anti-realism
• Retroactive Subsumption-Based Tabled Evaluation of Logic Programs
• Relevance-Sensitive Truth-Trees
• Tableau Systems for Logics of Subinterval Structures over Dense Orderings
• Shortcuts and dynamic marking in the tableau method for adaptive logics
• Molecular biology meets logic: context-sensitiveness in focus
• An informational view of classical logic

This page was built for publication: Tableau methods for substructural logics

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