The logic of orthomodular posets of finite height

DOI10.1093/JIGPAL/JZAA067OpenAlexW3115054903MaRDI QIDQ5066805

Helmut Länger, Ivan Chajda

Publication date: 30 March 2022

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2003.04943

zbMATH Keywords

axiom systemorthomodular posetGentzen-style systemderivation rulesconnective implicationimplication orthomodular poset

Mathematics Subject Classification ID

Partial orders, general (06A06) Complemented lattices, orthocomplemented lattices and posets (06C15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12)

Related Items (4)

Jauch-Piron orthomodular posets and propositional systems: A comparison ⋮ Operator residuation in orthomodular posets of finite height ⋮ Title not available (Why is that?) ⋮ A study on some classes of distributive lattices with a generalized implication

This page was built for publication: The logic of orthomodular posets of finite height

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