A general relational semantics of propositional logic: axiomatization

DOI10.1007/978-3-030-88853-4_6OpenAlexW3202177550MaRDI QIDQ2148780

Shengyang Zhong

Publication date: 24 June 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-88853-4_6

zbMATH Keywords

relational semanticsquantum logicintuitionistic logic

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Intuitionism. An introduction
• Semantic analysis of orthologic
• Handbook of philosophical logic. Vol. 6
• The logic of quantum mechanics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A general relational semantics of propositional logic: axiomatization