A pretabular classical relevance logic

DOI10.1007/s11225-012-9455-2zbMath1280.03027OpenAlexW2082872670MaRDI QIDQ1935566

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

relevance logicpretabular logicDe Morgan monoids

Mathematics Subject Classification ID

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

Related Items (5)

Unnamed Item ⋮ A second pretabular classical relevance logic ⋮ Nilpotent Minimum Logic NM and Pretabularity ⋮ Two pretabular linear extensions of relevance logic R ⋮ Simple axiomatizations for pretabular classical relevance logics

Cites Work

• Unnamed Item
• Pretabular extensions of Lewis S4
• Pretabular superintuitionistic logic
• 3088 varieties: A solution to the Ackermann constant problem
• Algebraic completeness results for R-mingle and its extensions
• Algebraic Completeness Results for Dummett's LC and Its Extensions
• Extensions of the Lewis system S5

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