First-Order Intuitionistic Logic with Decidable Propositional Atoms

Simple item page
dc.creatorSakharov, Alexander
dc.date2004-09-05
dc.date2005-05-08
dc.date.accessioned2026-07-07T05:11:48Z
dc.date.available2026-07-07T05:11:48Z
dc.descriptionIntuitionistic 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
dc.description18 pages. Enhanced the disjunction theorem
dc.identifierhttps://arxiv.org/abs/math/0409070
dc.identifierhttp://arxiv.org/abs/math/0409070
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/72370
dc.subjectGeneral Mathematics
dc.subjectLogic
dc.subject03B20; 03F05
dc.titleFirst-Order Intuitionistic Logic with Decidable Propositional Atoms
dc.typetext

Files

Collections

arXiv