First-Order Intuitionistic Logic with Decidable Propositional Atoms

Alexander Sakharov

Intuitionistic logic extended with decidable propositional atoms combines classical properties in its propositional part and intuitionistic properties for derivable formulas not co…