Sentential constants in systems near R

DOI10.1007/BF01057657MaRDI QIDQ1313086zbMATH OpenOpenAlexFDO

Authors 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

algebraic modelrelevant logicAckermann 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)

Recommendations

• Sentential constants in R and \(R^{\neg}\)
• The Ackermann constant theorem: A computer-assisted investigation
• 3088 varieties: A solution to the Ackermann constant problem
• scientific article; zbMATH DE number 4053570
• Boolean negation and non-conservativity. III: The Ackermann constant

Cites work

• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 4117898 (Why is no real title available?)
• 3088 varieties: A solution to the Ackermann constant problem
• Linear logic
• On formulas of one variable in intuitionistic propositional calculus
• On the structure of De Morgan monoids with corollaries on relevant logic and theories
• Sentential constants in R and \(R^{\neg}\)

Cited in

(6)

• The 2007 Annual Conference of the Australasian Association for Logic
• Free algebras corresponding to multiplicative classical linear logic and some of its extensions
• Varieties of De Morgan monoids: minimality and irreducible algebras
• Sentential constants in R and \(R^{\neg}\)
• 3088 varieties: A solution to the Ackermann constant problem
• Varieties of De Morgan monoids: covers of atoms

This page was built for publication: Sentential constants in systems near R

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1313086)