Sentential constants in R and \(R^{\neg}\)

DOI10.1007/BF00375901zbMath0624.03014MaRDI QIDQ1092033

Robert K. Meyer

Publication date: 1986

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

Ackermann constantsBoolean extensionintensional connectivesChurch constantsDeMorgan monoidsintensional fragmentrelevant logic Rrigorous compactnesssentential constantsSugihara matrices

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25)

Related Items (7)

2010 Winter Meeting of the Association for Symbolic Logic ⋮ The algebraic significance of weak excluded middle laws ⋮ VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS ⋮ Semilinear De Morgan monoids and epimorphisms ⋮ Varieties of De Morgan monoids: minimality and irreducible algebras ⋮ New consecution calculi for \(R^{t}_{\to}\) ⋮ Sentential constants in systems near R

Cites Work

• Unnamed Item
• Classical relevant logics. II
• Begründung einer strengen Implikation
• 3088 varieties: A solution to the Ackermann constant problem
• Intensional models for first degree formulas
• R_I the Bounds of Finitude

This page was built for publication: Sentential constants in R and \(R^{\neg}\)