First-Order Intuitionistic Logic with Decidable Propositional Atoms

Preprint English OPEN
Sakharov, Alexander;
(2004)
  • Subject: 03B20 | Mathematics - General Mathematics | Mathematics - Logic | 03F05
    acm: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES | TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS
    arxiv: Computer Science::Logic in Computer Science | Mathematics::Logic

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 ... View more
Share - Bookmark