[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