Weakly complete axiomatization of exogenous quantum propositional logic

Details Weakly complete axiomatization of exogenous quantum propositional logic Weakly complete axiomatization of exogenous quantum propositional logic

2005-03-22

arxiv.org/abs/math/0503453v1

Mathematics

Logic

28 pages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Weakly complete axiomatization of exogenous quantum propositional logic does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Weakly complete axiomatization of exogenous quantum propositional logic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Weakly complete axiomatization of exogenous quantum propositional logic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-684448