scientific article; zbMATH DE number 2062375
From MaRDI portal
Publication:4459272
zbMath1044.03014MaRDI QIDQ4459272
Publication date: 28 March 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability of theories and sets of sentences (03B25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (7)
Free semantics ⋮ Metacompleteness of substructural logics ⋮ An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics ⋮ A general characterization of the variable-sharing property by means of logical matrices ⋮ Generalizing the depth relevance condition: deep relevant logics not included in R-mingle ⋮ A Routley-Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart ⋮ A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism
This page was built for publication:
