Standard logics are valuation-nonmonotonic
M Pavičić, ND Megill - Journal of logic and computation, 2008 - ieeexplore.ieee.org
… from the logic to its models. We consider two standard logics (in contrast to, eg modal
logics) in this article: propositional classical logic and propositional quantum logic. In practice, …
logics) in this article: propositional classical logic and propositional quantum logic. In practice, …
[PDF][PDF] Standard Logics Are Valuation-Nonmonotonic.
M PAVČIKČ, ND MEGILL - Journal of Logic & Computation, 2008 - bib.irb.hr
… from the logic to its models. We consider two standard logics (in contrast to, eg modal
logics) in this article: propositional classical logic and propositional quantum logic. In practice, …
logics) in this article: propositional classical logic and propositional quantum logic. In practice, …
Probabilistic logic of quantum observations
… The proposed logic is proved to be a conservative extension of classical propositional
logic. … reasoning was introduced in classical logic [15, 29]). For an overview of quantum …
logic. … reasoning was introduced in classical logic [15, 29]). For an overview of quantum …
An alternative propositional calculus for application to empirical sciences
P Weingartner - Studia Logica, 2010 - Springer
… The purpose of the paper is to show that by cleaning Classical Logic (… a logic without the
usual closure conditions, an approximation to RC and RD has been constructed by a basic logic …
usual closure conditions, an approximation to RC and RD has been constructed by a basic logic …
[CITATION][C] Logic and Computation
EY Sherkhonov, C Meghini, N Spyratos, A Arbiser… - ieeexplore.ieee.org
… Logical Weak Completions of Paraconsistent Logics … Standard Logics Are Valuation-Nonmonotonic …
On Dynamic Topological Logic of the Real Line …
On Dynamic Topological Logic of the Real Line …