A sequent system of the logic r− for Rosser sentences2

&
Bulletin of the Section of Logic 33 (1):11-21 (2004)
  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: 101,130

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

The Sequent Gentzen System for m-valued Logic.Zygmunt Saloni - 1973 - Bulletin of the Section of Logic 2 (1):30-35.
A sequent calculus for constructive logic with strong negation as a substructural logic.George Metcalfe - 2009 - Bulletin of the Section of Logic 38 (1/2):1-7.
Sequent calculi for monotonic modal logics.Andrzej Indrzejczak - 2005 - Bulletin of the Section of Logic 34 (3):151-164.
Cut-free sequent calculus for S5.Andrzej Indrzejczak - 1996 - Bulletin of the Section of Logic 25 (2):95-102.
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.
A note on Decision problems for Implicational Sequent Calculi.Norihiro Kamide - 2001 - Bulletin of the Section of Logic 30 (3):129-138.
One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity.Paweł Płaczek - 2021 - Bulletin of the Section of Logic 50 (1):55-80.
On sequent systems for bimodal provability logics MOS and prl1.Katsumi Sasaki - 2002 - Bulletin of the Section of Logic 31 (2):91-101.
Relevant arithmetic.Robert Meyer - 1976 - Bulletin of the Section of Logic 5 (4):133-135.
An Alternative Natural Deduction for the Intuitionistic Propositional Logic.Mirjana Ilić - 2016 - Bulletin of the Section of Logic 45 (1).

Analytics

Added to PP
2014-01-17

Downloads
22 (#969,010)

6 months
3 (#1,471,287)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

On modal systems having arithmetical interpretations.Arnon Avron - 1984 - Journal of Symbolic Logic 49 (3):935-942.

Add more references