scientific article; zbMATH DE number 1303438

zbMath0923.03028MaRDI QIDQ4250047

Alasdair Urquhart

Publication date: 17 June 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

relevant logicBeth's definability theoremCraig's interpolation theorem

Mathematics Subject Classification ID

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

Related Items (9)

On propositional definability ⋮ Epimorphisms in varieties of residuated structures ⋮ A category equivalence for odd Sugihara monoids and its applications ⋮ Epimorphism surjectivity in varieties of Heyting algebras ⋮ The Beth property in algebraic logic ⋮ Epimorphisms in varieties of subidempotent residuated structures ⋮ Idempotent residuated structures: Some category equivalences and their applications ⋮ Tarskian Classical Relevant Logic ⋮ Beth Definability in the Logic KR

This page was built for publication: