A sequent calculus for constructive logic with strong negation as a substructural logic

Bulletin of the Section of Logic 38 (1/2):1-7 (2009)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,401

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Slaney's logic F is constructive logic with strong negation.M. Spinks & R. Veroff - 2010 - Bulletin of the Section of Logic 39 (3/4):161-173.
On a substructural logic with minimal negation.Roberto Arpaia - 2004 - Bulletin of the Section of Logic 33 (3):143-156.
Constructive Logic with Strong Negation is a Substructural Logic. II.M. Spinks & R. Veroff - 2008 - Studia Logica 89 (3):401-425.
Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity.Wojciech Buszkowski - 2017 - Bulletin of the Section of Logic 46 (1/2).
Sequent Calculi for Intuitionistic Linear Logic with Strong Negation.Norihiro Kamide - 2002 - Logic Journal of the IGPL 10 (6):653-678.
Constructive Logic with Strong Negation is a Substructural Logic. I.Matthew Spinks & Robert Veroff - 2008 - Studia Logica 88 (3):325-348.
A sequent calculus for Lukasiewicz's three-valued logic based on Suszko's bivalent semantics.Jean-Yves Béziau - 1999 - Bulletin of the Section of Logic 28 (2):89-97.
An Investigation into Intuitionistic Logic with Identity.Szymon Chlebowski & Dorota Leszczyńska-Jasion - 2019 - Bulletin of the Section of Logic 48 (4).
Cut-free sequent calculus for S5.Andrzej Indrzejczak - 1996 - Bulletin of the Section of Logic 25 (2):95-102.
Relationships between basic propositional calculus and substructural logics.Kentaro Kikuchi - 2001 - Bulletin of the Section of Logic 30 (1):15-20.

Analytics

Added to PP
2013-12-22

Downloads
44 (#529,991)

6 months
5 (#702,808)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Nelson’s logic ????Thiago Nascimento, Umberto Rivieccio, João Marcos & Matthew Spinks - 2020 - Logic Journal of the IGPL 28 (6):1182-1206.

Add more citations

References found in this work

A constructive analysis of RM.Arnon Avron - 1987 - Journal of Symbolic Logic 52 (4):939 - 951.
On the Proof Method for Constructive Falsity.Seiki Akama - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (5):385-392.

Add more references