Basic properties of the equivalence

DOI10.1007/BF00373491zbMath0528.03038MaRDI QIDQ786810

Jacek K. Kabzinski

Publication date: 1982

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

zbMATH Keywords

equivalenceLukasiewicz logicintuitionistic logicintermediate logicBCI algebraBCK algebraequivalential algebraequivalential fragments of relevant logicsequivalential framents of modal logics

Mathematics Subject Classification ID

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

Related Items

For Want of an ‘And’: A Puzzle about Non-Conservative Extension ⋮ Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5 ⋮ Variations on a theme of Curry

Cites Work

• Unnamed Item
• Unnamed Item
• An algebraic approach to non-classical logics
• Logical systems with implications
• On the intuitionistic equivalential calculus
• A propositional calculus with denumerable matrix
• Equational logic and theories in sentential languages
• The P-W problem
• INVESTIGATIONS INTO IMPLICATIONAL S5

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