An extended propositional logic

MaRDI QIDQ2943779zbMATH OpenFDO

Authors Mariano Giaquinta, Giuseppe Modica, Jiří Souček

Publication date 4 September 2015

Full work available at URL http://web.math.sinica.edu.tw/bulletin/archives_articlecontent16.jsp?bid=MjAxNTEwMg==

zbMATH Keywords

contextsfoundations of quantum mechanicsnonclassical propositional logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Quantum logic (03G12) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Recommendations

• An introduction to partition logic
• Propositional superposition logic
• Connections among quantum logics. I: Quantum propositional logics
• Extended quantum logic
• Contextual logic for quantum systems

Cited in

(10)

• Propositional lax logic
• Extended quantum logic
• Weakly complete axiomatization of exogenous quantum propositional logic
• A logic for extensional protocols
• Contextual logic for quantum systems
• scientific article; zbMATH DE number 4134011 (Why is no real title available?)
• Adding the everywhere operator to propositional logic
• A propositional system induced by Japaridze's approach to IF logic
• scientific article; zbMATH DE number 6424079 (Why is no real title available?)
• Propositional superposition logic

This page was built for publication: An extended propositional logic

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