scientific article; zbMATH DE number 1500655

zbMATH Open0952.03003MaRDI QIDQ4501677FDOQ4501677

Authors: Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller, Helmut Veith 

Publication date: 11 January 2001

Title of this publication is not available (Why is that?)

Recommendations

• Undecidability of modal and intermediate first-order logics with two individual variables
• Undecidability of First-Order Intuitionistic and Modal Logics with Two variables
• Undecidability of multiplicative subexponential logic
• scientific article
• Undecidability of modal logics of unary predicate

zbMATH Keywords

fragmentsundecidabilitycut-eliminationhypersequentsub-classical first-order logicsUrquhart's \({\mathbf C}\)

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20) Decidability of theories and sets of sentences (03B25)

Cited In (4)

• Title not available (Why is that?)
• Undecidability of multiplicative subexponential logic
• Decidable and Undecidable Problems for First-Order Definability and Modal Definability
• Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in Coq

This page was built for publication:

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