A Gentzen-Type Calculus of Sequents for Single-Operator Propositional Logic

Journal of Symbolic Logic 33 (1):129-129 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270103

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

A Gentzen-type calculus of sequents for single-operator propositional logic.John Riser - 1967 - Journal of Symbolic Logic 32 (1):75-80.
Quantum logical calculi and lattice structures.E. -W. Stachow - 1978 - Journal of Philosophical Logic 7 (1):347 - 386.
A cut-free Gentzen formulation of basic propositional calculus.Kentaro Kikuchi & Katsumi Sasaki - 2003 - Journal of Logic, Language and Information 12 (2):213-225.
Glivenko Classes of Sequents for Propositional Star-Free Likelihood Logic.Romas Alonderis - 2007 - Logic Journal of the IGPL 15 (1):1-19.
Lower Bounds to the size of constant-depth propositional proofs.Jan Krajíček - 1994 - Journal of Symbolic Logic 59 (1):73-86.
Gentzen-type formulation of the prepositional logic LQ.Tsutomu Hosoi - 1988 - Studia Logica 47 (1):41 - 48.
On Gentzen Relations Associated with Finite-valued Logics Preserving Degrees of Truth.Angel J. Gil - 2013 - Studia Logica 101 (4):749-781.
A cut-free gentzen-type system for the logic of the weak law of excluded middle.Branislav R. Boričić - 1986 - Studia Logica 45 (1):39-53.
On the computational content of intuitionistic propositional proofs.Samuel R. Buss & Pavel Pudlák - 2001 - Annals of Pure and Applied Logic 109 (1-2):49-64.
Gentzen-style axiomatizations for some conservative extensions of basic propositional logic.Mojtaba Aghaei & Mohammad Ardeshir - 2001 - Studia Logica 68 (2):263-285.
A remark on Gentzen's calculus of sequents.Johannes Czermak - 1977 - Notre Dame Journal of Formal Logic 18 (3):471-474.
An approach to infinitary temporal proof theory.Stefano Baratella & Andrea Masini - 2004 - Archive for Mathematical Logic 43 (8):965-990.
Resolution calculus for the first order linear logic.Grigori Mints - 1993 - Journal of Logic, Language and Information 2 (1):59-83.
Basic Propositional Calculus II. Interpolation: II. Interpolation.Mohammad Ardeshir & Wim Ruitenburg - 2001 - Archive for Mathematical Logic 40 (5):349-364.
Investigation into certain implication-negation fragments of propositional logic.Lung-ock Chung - unknown

Analytics

Added to PP
2017-02-21

Downloads
8 (#1,287,956)

6 months
2 (#1,232,442)

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

No references found.

Add more references