[Author]
Alexander Sakharov
[Title]
Median logic
[AMS Subj-class]
03B55 Intermediate logics
03B20 Subsystems of classical logic
[Abstract]
Median logic introduced here is a minimal intermediate logic that combines
classical properties in its propositional part and intuitionistic properties
for derivations not containing propositional symbols. A sequent calculus and
other formulations are presented for median logic. Cut elimination is proven
for the sequent calculus formulation. Constrained Kripke structures are
introduced for modeling median logic. The extent of the disjunction and
existence properties is investigated.
[Keywords]
intermediate logic, classical logic, intuitionistic logic, sequent
calculus, cut elimination, Kripke structures, disjunction property,
existence property
[Comments]
LaTeX, English, 20 pp.
[Contact e-mail]
alex@sakharov.net