Relevant S is undecidable

DOI10.1145/3661814.3662128MaRDI QIDQ6970222zbMATH OpenFDO

Authors Søren Brinck Knudstorp

Publication date 18 June 2025

Full work available at URL https://doi.org/10.1145/3661814.3662128

zbMATH Keywords

finite model propertyrelevant logicsemilatticetilingundecidability

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cites work

• A conservative negation extension of positive semilattice logic without the finite model property
• An axiomatic version of positive semilattice relevance logic
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 3222108 (Why is no real title available?)
• Hyperboolean Algebras and Hyperboolean Modal Logic
• Relevance logic: problems open and closed
• Revisiting Semilattice Semantics
• Semantics for relevant logics
• The undecidability of entailment and relevant implication
• The undecidability of the domino problem

This page was built for publication: Relevant S is undecidable

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