Recognition: unknown
Weakly complete axiomatization of exogenous quantum propositional logic
classification
🧮 math.LO
cs.LOquant-ph
keywords
axiomatizationcompleteexogenouslogicpropositionalquantumweaklycarried
read the original abstract
A weakly complete finitary axiomatization for EQPL (exogenous quantum propositional logic) is presented. The proof is carried out using a non trivial extension of the Fagin-Halpern-Megiddo technique together with three Henkin style completions.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.