scientific article; zbMATH DE number 1303438

MaRDI QIDQ4250047zbMATH OpenFDO

Authors Alasdair Urquhart

Publication date 17 June 1999

zbMATH Keywords

Beth's definability theoremCraig's interpolation theoremrelevant logic

Mathematics Subject Classification ID

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

Recommendations

• Beth definability in the logic KR
• The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics
• An institution-independent proof of the Beth definability theorem
• scientific article; zbMATH DE number 1354097

Cited in

(14)

• A category equivalence for odd Sugihara monoids and its applications
• Beth definability and the Stone-Weierstrass theorem
• Epimorphism surjectivity in varieties of Heyting algebras
• Epimorphisms in varieties of subidempotent residuated structures
• On propositional definability
• Epimorphisms in varieties of residuated structures
• The Beth property in algebraic logic
• scientific article; zbMATH DE number 4072934 (Why is no real title available?)
• Tarskian Classical Relevant Logic
• Beth definability in the logic KR
• Idempotent residuated structures: Some category equivalences and their applications
• Finite-Variable Logics Do Not Have Weak Beth Definability Property
• Beth definability, interpolation and language splitting
• An institution-independent proof of the Beth definability theorem

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 Q4250047)