Standard Logics Are Valuation-Nonmonotonic

DOI10.1093/LOGCOM/EXN018zbMath1156.03027OpenAlexW2111338780MaRDI QIDQ3549317

Norman D. Megill, Mladen Pavičić

Publication date: 22 December 2008

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exn018

zbMATH Keywords

nonmonotonic logicBoolean algebraartificial intelligencequantum logicclassical logicweakly orthomodular latticenon-distributive ortholatticenon-orthomodular ortholatticeweakly distributive lattice

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Complemented lattices, orthocomplemented lattices and posets (06C15) Quantum logic (03G12)

Related Items (2)

An alternative propositional calculus for application to empirical sciences ⋮ Classical logic and quantum logic with multiple and common lattice models

This page was built for publication: Standard Logics Are Valuation-Nonmonotonic