On the Gentzen Type Formalizations

Mathematical Logic Quarterly 26 (28-30):439-444 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19800262803

Links

PhilArchive



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

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

Deterministic Algorithms, Simple Languages And One‐to‐One Gentzen Type Formalizations.Anita Wasilewska - 1986 - Mathematical Logic Quarterly 32 (10‐12):181-188.
Deterministic Algorithms, Simple Languages And One‐to‐One Gentzen Type Formalizations.Anita Wasilewska - 1986 - Mathematical Logic Quarterly 32 (10-12):181-188.
DFC-algorithms for Suszko logic and one-to-one Gentzen type formalizations.Anita Wasilewska - 1984 - Studia Logica 43 (4):395 - 404.
Programs and logics.Anita Wasilewska - 1985 - Studia Logica 44 (2):125 - 137.
Gentzen-type formulation of the prepositional logic LQ.Tsutomu Hosoi - 1988 - Studia Logica 47 (1):41 - 48.
Gentzen-type systems, resolution and tableaux.Arnon Avron - 1993 - Journal of Automated Reasoning 10:265-281.
Fully Adequate Gentzen Systems And The Deduction Theorem.Josep Font, Ramon Jansana & Don Pigozzi - 2001 - Reports on Mathematical Logic:115-165.
Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics.Arnon Avron - 2014 - Journal of Applied Non-Classical Logics 24 (1-2):12-34.
Extended Gentzen-type Formulations of Two Temporal Logics Based on Incomplete Knowledge Systems.Osamu Morikawa - 2001 - Notre Dame Journal of Formal Logic 42 (1):55-64.
Resolution calculus for the first order linear logic.Grigori Mints - 1993 - Journal of Logic, Language and Information 2 (1):59-83.
A Survey of Nonstandard Sequent Calculi.Andrzej Indrzejczak - 2014 - Studia Logica 102 (6):1295-1322.
Cut-free double sequent calculus for S5.A. Indrzejczak - 1998 - Logic Journal of the IGPL 6 (3):505-516.
A sequence formalization for SCI.Anita Wasilewska - 1976 - Studia Logica 35 (3):213 - 217.
Gentzen's Proof of Normalization for Natural Deduction.Jan von Plato & G. Gentzen - 2008 - Bulletin of Symbolic Logic 14 (2):240 - 257.
Gentzen-type systems for C,. K and several extensions of C and K.H. C. M. De Swart - 1980 - Logique Et Analyse 23 (90):263.

Analytics

Added to PP
2014-01-16

Downloads
23 (#678,283)

6 months
1 (#1,461,875)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Anita Wasilewska
State University of New York, Stony Brook

Citations of this work

Programs and logics.Anita Wasilewska - 1985 - Studia Logica 44 (2):125 - 137.
Meeting of the association for symbolic logic: Madison 1982.H. Jerome Keisler - 1983 - Journal of Symbolic Logic 48 (4):1233-1239.

Add more citations

References found in this work

No references found.

Add more references