Natural Deduction for Dual-intuitionistic Logic

Authors:
Luca Tranchini
Affiliations:
Wilhelm-Schickard-Institut, Eberhard Karls Universität Tübingen, Tübingen, Germany 72076
Venue:
Studia Logica
Year:
2012

Citing 3
Cited 0

Basic proof theory

Basic proof theory
Subtractive logic

Theoretical Computer Science
Dual Intuitionistic Logic Revisited

TABLEAUX '00 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a natural deduction system for dual-intuitionistic logic. Its distinctive feature is that it is a single-premise multiple-conclusions system. Its relationships with the natural deduction systems for intuitionistic and classical logic are discussed.