On a fragment of the implicative propositional calculus

DOI10.1007/BF02067260MaRDI QIDQ766811zbMATH OpenOpenAlexFDO

Authors Helena Rasiowa

Publication date 1955

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02067260

zbMATH Keywords

implicative propositional calculus

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• Beiträge zum Metaaussagenkalkül I
• Identities in Finite Algebras
• Note on truth-tables

Cited in

(5)

• Axiomatizing logics closely related to varieties
• A note on direct products and ultraproducts of logical matrices
• Axiomatization of semigroup consequences
• Some structure results for propositional calculi
• A calculus for the common rules of \(\wedge\) and \(\vee\)

This page was built for publication: On a fragment of the implicative propositional calculus

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