Completeness of a cut-free calculus with equality and function constants

Archive for Mathematical Logic 25 (1):37-41 (1985)
  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,795

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

Completeness of cut-free type theories.Mitsuru Yasuhara - 1974 - Archive for Mathematical Logic 16 (3-4):137-141.
On a logic of involutive quantales.Norihiro Kamide - 2005 - Mathematical Logic Quarterly 51 (6):579-585.
A Sequent Calculus for a Negative Free Logic.Norbert Gratzl - 2010 - Studia Logica 96 (3):331-348.
Cut elimination for coherent theories in negation normal form.Paolo Maffezioli - 2024 - Archive for Mathematical Logic 63 (3):427-445.
A Simple Proof of Completeness and Cut-elimination for Propositional G¨ odel Logic.Arnon Avron - unknown
Set theory in predicate calculus with equality.M. W. Bunder - 1983 - Archive for Mathematical Logic 23 (1):109-113.
An approach to infinitary temporal proof theory.Stefano Baratella & Andrea Masini - 2004 - Archive for Mathematical Logic 43 (8):965-990.
A Cut‐Free Calculus For Dummett's LC Quantified.Giovanna Corsi - 1989 - Mathematical Logic Quarterly 35 (4):289-301.
Cut-elimination Theorems of Some Infinitary Modal Logics.Yoshihito Tanaka - 2001 - Mathematical Logic Quarterly 47 (3):327-340.
A normalizing system of natural deduction for intuitionistic linear logic.Sara Negri - 2002 - Archive for Mathematical Logic 41 (8):789-810.

Analytics

Added to PP
2013-10-30

Downloads
24 (#919,459)

6 months
24 (#130,718)

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