Sentential constants in systems near R

DOI10.1007/BF01057657zbMath0796.03031OpenAlexW2035319391MaRDI QIDQ1313086

John K. Slaney

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

zbMATH Keywords

relevant logicalgebraic modelAckermann constantMatrix Generator for Implication Connectives

Mathematics Subject Classification ID

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

• Unnamed Item
• Unnamed Item
• Linear logic
• Sentential constants in R and \(R^{\neg}\)
• On the structure of De Morgan monoids with corollaries on relevant logic and theories
• 3088 varieties: A solution to the Ackermann constant problem
• On formulas of one variable in intuitionistic propositional calculus