A pretabular classical relevance logic

DOI10.1007/S11225-012-9455-2zbMATH Open1280.03027OpenAlexW2082872670MaRDI QIDQ1935566FDOQ1935566

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

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

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)

Cites Work

• Title not available (Why is that?)
• Extensions of the Lewis system S5
• Algebraic completeness results for R-mingle and its extensions
• Pretabular extensions of Lewis S4
• Pretabular superintuitionistic logic
• Algebraic Completeness Results for Dummett's LC and Its Extensions
• 3088 varieties: A solution to the Ackermann constant problem

Cited In (9)

• Reducing Preferential Paraconsistent Reasoning to Classical Entailment
• Title not available (Why is that?)
• Relevance Logic as a Conservative Extension of Classical Logic
• On pretabular extensions of relevance logic
• Title not available (Why is that?)
• Nilpotent Minimum Logic NM and Pretabularity
• Simple axiomatizations for pretabular classical relevance logics
• A second pretabular classical relevance logic
• Two pretabular linear extensions of relevance logic R

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)