Free Logic and the Quantified Argument Calculus

&
In Gabriele Mras, Paul Weingartner & Bernhard Ritter (eds.), Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium. Berlin, Boston: De Gruyter. pp. 105-116 (2019)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1515/9783110657883-007

Links

PhilArchive



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

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

Proof-theoretic analysis of the quantified argument calculus.Edi Pavlović & Norbert Gratzl - 2019 - Review of Symbolic Logic 12 (4):607-636.
A three-valued quantified argument calculus: Domain-free model-theory, completeness, and embedding of fol.Ran Lanzet - 2017 - Review of Symbolic Logic 10 (3):549-582.
A Sequent Calculus for a Negative Free Logic.Norbert Gratzl - 2010 - Studia Logica 96 (3):331-348.
The quantified argument calculus.Hanoch Ben-Yami - 2014 - Review of Symbolic Logic 7 (1):120-146.
A Cut‐Free Calculus For Dummett's LC Quantified.Giovanna Corsi - 1989 - Mathematical Logic Quarterly 35 (4):289-301.
Omega-inconsistency without cuts and nonstandard models.Andreas Fjellstad - 2016 - Australasian Journal of Logic 13 (5).
A cut-free simple sequent calculus for modal logic S5.Francesca Poggiolesi - 2008 - Review of Symbolic Logic 1 (1):3-15.
On the directional Lambek calculus.Wojciech Zielonka - 2010 - Logic Journal of the IGPL 18 (3):403-421.
A Contraction-free and Cut-free Sequent Calculus for Propositional Dynamic Logic.Brian Hill & Francesca Poggiolesi - 2010 - Studia Logica 94 (1):47-72.
Simulating non-prenex cuts in quantified propositional calculus.Emil Jeřábek & Phuong Nguyen - 2011 - Mathematical Logic Quarterly 57 (5):524-532.
A purely syntactic and cut-free sequent calculus for the modal logic of provability.Francesca Poggiolesi - 2009 - Review of Symbolic Logic 2 (4):593-611.
Product-free Lambek calculus and context-free grammars.Mati Pentus - 1997 - Journal of Symbolic Logic 62 (2):648-660.
Parameter-free polymorphic types.Klaus Aehlig - 2008 - Annals of Pure and Applied Logic 156 (1):3-12.
A Cut-free Sequent Calculus For The Logic Of Constant Domains With A Limited Amount Of Duplications.C. Fiorentini & P. Miglioli - 1999 - Logic Journal of the IGPL 7 (6):733-753.
Philosophical Problems in Logic. [REVIEW]P. M. R. - 1971 - Review of Metaphysics 24 (3):556-556.

Analytics

Added to PP
2020-06-17

Downloads
18 (#831,783)

6 months
9 (#307,343)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Edi Pavlović
Ludwig Maximilians Universität, München
Norbert Gratzl

Citations of this work

Add more citations

References found in this work

No references found.

Add more references