An implicational logic for orthomodular lattices

DOI10.14232/ACTASM-015-813-6zbMath1399.03024OpenAlexW2556610688MaRDI QIDQ2979435

Jānis Cīrulis, Ivan Chajda

Publication date: 25 April 2017

Published in: Acta Scientiarum Mathematicarum (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.14232/actasm-015-813-6

zbMATH Keywords

axiom systemorthomodular latticealgebraizable logicorthomodular implication algebralogic of quantum mechanicsderivation ruleweak BCK-algebraDishkant implicationsemi-orthomodular lattice

Mathematics Subject Classification ID

Complemented lattices, orthocomplemented lattices and posets (06C15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12) Abstract algebraic logic (03G27)

Related Items (1)

Sequent Calculi for Orthologic with Strict Implication

This page was built for publication: An implicational logic for orthomodular lattices