Sentential constants in systems near R
From MaRDI portal
Publication:1313086
DOI10.1007/BF01057657zbMath0796.03031OpenAlexW2035319391MaRDI QIDQ1313086
Publication date: 28 September 1994
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01057657
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)
Related Items
Free algebras corresponding to multiplicative classical linear logic and some of its extensions ⋮ VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS ⋮ Varieties of De Morgan monoids: minimality and irreducible algebras ⋮ The 2007 Annual Conference of the Australasian Association for Logic
Cites Work