A pretabular classical relevance logic

DOI10.1007/S11225-012-9455-2MaRDI QIDQ1935566zbMATH OpenOpenAlexFDO

Authors Lisa Galminas, John G. Mersch

Publication date 18 February 2013

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-012-9455-2

zbMATH Keywords

De Morgan monoidspretabular logicrelevance logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• A second pretabular classical relevance logic
• Simple axiomatizations for pretabular classical relevance logics
• Two pretabular linear extensions of relevance logic R
• Algorithms for relevant logic
• LC and its pretabular relatives

Cites work

• 3088 varieties: A solution to the Ackermann constant problem
• Algebraic Completeness Results for Dummett's LC and Its Extensions
• Algebraic completeness results for R-mingle and its extensions
• Extensions of the Lewis system S5
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• Pretabular extensions of Lewis S4
• Pretabular superintuitionistic logic

Cited in

(12)

• A second pretabular classical relevance logic
• The classical constraint on relevance
• Simple axiomatizations for pretabular classical relevance logics
• LC and its pretabular relatives
• Reducing Preferential Paraconsistent Reasoning to Classical Entailment
• scientific article; zbMATH DE number 1424059 (Why is no real title available?)
• Nilpotent Minimum Logic NM and Pretabularity
• Two pretabular linear extensions of relevance logic R
• Relevance Logic as a Conservative Extension of Classical Logic
• scientific article; zbMATH DE number 7536428 (Why is no real title available?)
• On pretabular extensions of relevance logic
• A Gödel-Dugundji-style theorem for the minimal structural logic

This page was built for publication: A pretabular classical relevance logic

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