Tableau methods for substructural logics
From MaRDI portal
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)
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)
