Basic properties of the equivalence

DOI10.1007/BF00373491MaRDI QIDQ786810zbMATH OpenFDO

Authors Jacek K. Kabzinski

Publication date 1982

Published in Studia Logica (Search for Journal in Brave)

zbMATH Keywords

equivalenceintermediate logicintuitionistic logicBCI algebraBCK algebraequivalential algebraequivalential fragments of relevant logicsequivalential framents of modal logicsLukasiewicz logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Intermediate logics (03B55) Other algebras related to logic (03G25) General logic (03B99)

Recommendations

• scientific article; zbMATH DE number 966889
• Algebraic semantics for the \((\leftrightarrow,\neg)\)-fragment of \(\mathsf{IPC}\) and its properties
• scientific article; zbMATH DE number 179050
• scientific article; zbMATH DE number 120349
• Equivalential algebras. I: Representation

Cites work

• scientific article; zbMATH DE number 3587009 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• A propositional calculus with denumerable matrix
• An algebraic approach to non-classical logics
• Equational logic and theories in sentential languages
• INVESTIGATIONS INTO IMPLICATIONAL S5
• Logical systems with implications
• On the intuitionistic equivalential calculus
• The P-W problem

Cited in

(9)

• Variations on a theme of Curry
• The Relevant Equivalence Property
• Algebraic semantics for the \((\leftrightarrow, \neg \neg)\)-fragment of IPC
• For Want of an ‘And’: A Puzzle about Non-Conservative Extension
• scientific article; zbMATH DE number 120349 (Why is no real title available?)
• Free spectra of linear equivalential algebras
• Free equivalential algebras
• Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5
• scientific article; zbMATH DE number 465604 (Why is no real title available?)

This page was built for publication: Basic properties of the equivalence

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