A cut-free sequent calculus for the bi-intuitionistic logic 2Int

09/23/2020
by   Sara Ayhan, et al.
0

The purpose of this paper is to introduce a bi-intuitionistic sequent calculus and to give proofs of admissibility for its structural rules. The calculus I will present, called SC2Int, is a sequent calculus for the bi-intuitionistic logic 2Int. Calculi for this logic represent a kind of bilateralist reasoning, since they do not only internalize processes of verification or provability but also the dual processes in terms of falsification or what is called dual provability. A normal form theorem for a natural deduction calculus of 2Int has already been stated, in this paper I want to prove a cut-elimination theorem for SC2Int, i.e. if successful, this would extend the results existing so far.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

12/10/2021

Semantic Cut Elimination for the Logic of Bunched Implications, Formalized in Coq

The logic of bunched implications (BI) is a substructural logic that for...
09/04/2019

Efficient elimination of Skolem functions in first-order logic without equality

We prove that elimination of a single Skolem function in pure logic incr...
04/03/2014

A Resolution Prover for Coalition Logic

We present a prototype tool for automated reasoning for Coalition Logic,...
08/23/2020

Gentzen-Mints-Zucker duality

The Curry-Howard correspondence is often described as relating proofs (i...
09/12/2018

A Curry-Howard Correspondence for the Minimal Fragment of Łukasiewicz Logic

In this paper we introduce a term calculus B which adds to the affine λ...
06/09/2020

A Complete Axiomatisation for Quantifier-Free Separation Logic

We present the first complete axiomatisation for quantifier-free separat...
03/14/2019

A two-dimensional metric temporal logic

We introduce a two-dimensional metric (interval) temporal logic whose in...
This week in AI

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