Continuing Variations on a System of Gentzen

Mathematical Logic Quarterly 31 (31-34):537-544 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19850313109

Links

PhilArchive



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

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

Continuing Variations on a System of Gentzen.Zvonimir Šikić - 1985 - Mathematical Logic Quarterly 31 (31‐34):537-544.
Variations on A System Of Gentzen.E. G. K. López-Escobar - 1981 - Mathematical Logic Quarterly 27 (25‐30):385-389.
Variations on A System Of Gentzen.E. G. K. López-Escobar - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (25-30):385-389.
Fully Adequate Gentzen Systems And The Deduction Theorem.Josep Font, Ramon Jansana & Don Pigozzi - 2001 - Reports on Mathematical Logic:115-165.
A Cut-free Gentzen Formulation Of The Modal Logic S5.T. Braüner - 2000 - Logic Journal of the IGPL 8 (5):629-643.
Cut as Consequence.Curtis Franks - 2010 - History and Philosophy of Logic 31 (4):349-379.
A cut-free Gentzen formulation of basic propositional calculus.Kentaro Kikuchi & Katsumi Sasaki - 2003 - Journal of Logic, Language and Information 12 (2):213-225.
Extending the First Gentzen's Consistency Proof to the Intuitionistic Case.María Pallares - 2004 - Logic Journal of the IGPL 12 (6):549-560.
On the infinite-valued Łukasiewicz logic that preserves degrees of truth.Josep Maria Font, Àngel J. Gil, Antoni Torrens & Ventura Verdú - 2006 - Archive for Mathematical Logic 45 (7):839-868.
Categorical abstract algebraic logic: Gentzen π ‐institutions and the deduction‐detachment property.George Voutsadakis - 2005 - Mathematical Logic Quarterly 51 (6):570-578.
A Gentzen system for conditional logic.Fernando Guzmán - 1994 - Studia Logica 53 (2):243 - 257.
Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics.Arnon Avron - 2014 - Journal of Applied Non-Classical Logics 24 (1-2):12-34.
A Note On Gentzen's Lj And Nj Systems Isomorphism.Wagner de Campos Sanz - 2007 - Logic Journal of the IGPL 15 (5-6):767-774.
Resolution calculus for the first order linear logic.Grigori Mints - 1993 - Journal of Logic, Language and Information 2 (1):59-83.
On a substructural Gentzen system, its equivalent variety semantics and its external deductive system.R. Adillon & Ventura Verdú - 2002 - Bulletin of the Section of Logic 31 (3):125-134.

Analytics

Added to PP
2015-12-02

Downloads
26 (#580,768)

6 months
3 (#928,914)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

Introduction to Metamathematics.H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.

Add more references