Separability and harmony in ecumenical systems

by   Sonia Marin, et al.

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 2015, Dag Prawitz proposed a natural deduction system for an ecumenical first-order logic. We start this work by proposing a pure sequent calculus version for it, in the sense that connectives are introduced without the use of other connectives. For doing this, we extend sequents with an extra context, the stoup, and define the ecumenical notion of polarities. Finally, we smoothly extend these ideas for handling modalities, presenting pure labeled and nested systems for ecumenical modal logics.



page 1

page 2

page 3

page 4


Ecumenical modal logic

The discussion about how to put together Gentzen's systems for classical...

From 2-sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics

We extend to natural deduction the approach of Linear Nested Sequents an...

Non-normal modalities in variants of Linear Logic

This article presents modal versions of resource-conscious logics. We co...

A continuum of incomplete intermediate logics

This paper generalizes the 1977 paper of V.B. Shehtman, which constructe...

Intuitionistic Non-Normal Modal Logics: A general framework

We define a family of intuitionistic non-normal modal logics; they can b...

Strength Factors: An Uncertainty System for a Quantified Modal Logic

We present a new system S for handling uncertainty in a quantified modal...

Relative Expressiveness of Defeasible Logics

We address the relative expressiveness of defeasible logics in the frame...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.