On the one hand, classical logic is an extremely successful theory, even if not being perfect.
On the other hand, intuitionistic logic is, without a doubt, one of the most important non …

This paper studies a first-order expansion of a combination C+ J of intuitionistic and classical
propositional logic, which was studied by Humberstone (1979) and del Cerro and Herzig …

Intuitionism can be seen as a verificationism restricted to mathematical discourse. An
attempt to generalize intuitionism to empirical discourse presents various challenges. One of …

This paper proposes a sequent calculus, denoted by G (C+ J), for a combination of the
intuitionistic propositional logic and the classical propositional logic. Such a combination …

This paper studies a combined system of intuitionistic and classical propositional logic from
proof-theoretic viewpoints. Based on the semantic treatment of Humberstone (J Philos Log …

Fibring is a general mechanism for combining logics that provides valuable insight on
designing and understanding complex logical systems. To date, most research on fibring …

We investigate the combination of fragments of classical logic as a way of conservatively
extending a given Boolean logic by the addition of new connectives, and we precisely …

The quest of smoothly combining logics so that connectives from classical and intuitionistic
logics can co-exist in peace has been a fascinating topic of research for decades now. In …

This paper shows Hilbert system (C+ J)-, given by del Cerro and Herzig (1996) is
semantically incomplete. This system is proposed as a proof theory for Kripke semantics for …

Ecumenism can be understood as a pursuit of unity, where diverse thoughts, ideas, or points
of view coexist harmoniously. In logic, ecumenical systems refer, in a broad sense, to proof …