First-Order Intuitionistic Logic with Decidable Propositional Atoms

Details First-Order Intuitionistic Logic with Decidable Propositional Atoms First-Order Intuitionistic Logic with Decidable Propositional Atoms

2004-09-05

arxiv.org/abs/math/0409070v3

Mathematics

General Mathematics

18 pages. Enhanced the disjunction theorem

Scientific paper

Intuitionistic logic extended with decidable propositional atoms combines classical properties in its propositional part and intuitionistic properties for derivable formulas not containing propositional symbols. Sequent calculus is used as a framework for investigating this extension. Admissibility of cut is retained. Constrained Kripke structures are introduced for modeling intuitionistic logic with decidable propositional atoms. The extent of the disjunction and existence properties is investigated. The latest information about this research can be found at http://sakharov.net/median.html

Affiliated with

Also associated with

No associations

Rating

First-Order Intuitionistic Logic with Decidable Propositional Atoms 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 First-Order Intuitionistic Logic with Decidable Propositional Atoms, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and First-Order Intuitionistic Logic with Decidable Propositional Atoms will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-584618