Four variables suffice

zbMATH Open1168.03013MaRDI QIDQ3629230FDOQ3629230

Authors: Alasdair Urquhart 

Publication date: 27 May 2009

Recommendations

• Undecidability of modal and intermediate first-order logics with two individual variables
• Relevance logic: problems open and closed
• The undecidability of entailment and relevant implication
• Undecidability of First-Order Intuitionistic and Modal Logics with Two variables
• Complexity of intuitionistic and Visser's basic and formal logics in finitely many variables

zbMATH Keywords

decidabilityundecidabilityfragments of relevant propositional logics

Mathematics Subject Classification ID

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

Cited In (5)

• Current trends in substructural logics
• Four states are enough!
• Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment
• Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино?
• A Logical Autobiography

This page was built for publication: Four variables suffice

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