A Cut‐Free Calculus For Dummett's LC Quantified

Mathematical Logic Quarterly 35 (4):289-301 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19890350402

Other Versions

reprint Corsi, Giovanna (1989) "A Cut-Free Calculus For Dummett's LC Quantified". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35(4):289-301

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,448

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

On Some Subsystems of Dummett's LC.Branislav R. Boričić - 1985 - Mathematical Logic Quarterly 31 (14-18):243-247.
Algebraic Completeness Results for Dummett's LC and Its Extensions.J. Michael Dunn & Robert K. Meyer - 1971 - Mathematical Logic Quarterly 17 (1):225-230.
A cut-free Gentzen calculus with subformula property for first-degree entailments in lc.Alexej P. Pynko - 2003 - Bulletin of the Section of Logic 32 (3):137-146.
Semantic trees for Dummett's logic LC.Giovanna Corsi - 1986 - Studia Logica 45 (2):199-206.
Cut‐Rule Axiomatization of Product‐Free Lambek Calculus With the Empty String.Wojciech Zielonka - 1988 - Mathematical Logic Quarterly 34 (2):135-142.
Admissibility of Cut in LC with Fixed Point Combinator.Katalin Bimbó - 2005 - Studia Logica 81 (3):399-423.
Completeness theorem for Dummett's LC quantified and some of its extensions.Giovanna Corsi - 1992 - Studia Logica 51 (2):317 - 335.
Simulating non-prenex cuts in quantified propositional calculus.Emil Jeřábek & Phuong Nguyen - 2011 - Mathematical Logic Quarterly 57 (5):524-532.
Completeness of a cut-free calculus with equality and function constants.Mitio Takano - 1985 - Archive for Mathematical Logic 25 (1):37-41.

Analytics

Added to PP
2013-12-01

Downloads
16 (#1,178,879)

6 months
2 (#1,683,984)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Giovanna Corsi
Università degli Studi di Bologna

Citations of this work

The bounded proof property via step algebras and step frames.Nick Bezhanishvili & Silvio Ghilardi - 2014 - Annals of Pure and Applied Logic 165 (12):1832-1863.

View all 8 citations / Add more citations

References found in this work

Free Quantified Epistemic Logics.Giovanna Corsi & Eugenio Orlandelli - 2013 - Studia Logica 101 (6):1159-1183.
Semantic trees for Dummett's logic LC.Giovanna Corsi - 1986 - Studia Logica 45 (2):199-206.

Add more references