Gentzen-type systems for C,. K and several extensions of C and K

Logique Et Analyse 23 (90):263 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

Gentzen-type systems for C, K and several extensions of C and K; constructive completeness proofs and effective decision procedure for these systems.H. C. M. de Swart - 1980 - Logique Et Analyse 90 (91):263-284.
Gentzen-type systems, resolution and tableaux.Arnon Avron - 1993 - Journal of Automated Reasoning 10:265-281.
Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics.Arnon Avron - 2014 - Journal of Applied Non-Classical Logics 24 (1-2):12-34.
Equivalential Gentzen systems and the reduced matrices of the Gentzen systems associated with finitely valued logics.Angel Gil & Jordi Rebagliato - 2006 - Reports on Mathematical Logic.
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.
Four relevant Gentzen systems.Steve Giambrone & Aleksandar Kron - 1987 - Studia Logica 46 (1):55 - 71.
Tonk- A Full Mathematical Solution.Arnon Avron - unknown
On purported Gentzen formulations of two positive relevent logics.Steve Giambrone - 1985 - Studia Logica 44 (3):233 - 236.
Fully Adequate Gentzen Systems And The Deduction Theorem.Josep Font, Ramon Jansana & Don Pigozzi - 2001 - Reports on Mathematical Logic:115-165.
Multiplicative Conjunction as an Extensional Conjunction.Arnon Avron - 1997 - Logic Journal of the IGPL 5 (2):181-208.
A Survey of Nonstandard Sequent Calculi.Andrzej Indrzejczak - 2014 - Studia Logica 102 (6):1295-1322.
Relevance and paraconsistency---a new approach. III. Cut-free Gentzen-type systems.Arnon Avron - 1990 - Notre Dame Journal of Formal Logic 32 (1):147-160.
Gentzen-type formulation of the prepositional logic LQ.Tsutomu Hosoi - 1988 - Studia Logica 47 (1):41 - 48.
Categorical abstract algebraic logic: Gentzen π ‐institutions and the deduction‐detachment property.George Voutsadakis - 2005 - Mathematical Logic Quarterly 51 (6):570-578.
Gentzen-style axiomatizations for some conservative extensions of basic propositional logic.Mojtaba Aghaei & Mohammad Ardeshir - 2001 - Studia Logica 68 (2):263-285.

Analytics

Added to PP
2015-02-06

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references