Canonical signed calculi with multi-ary quantifiers

&
Annals of Pure and Applied Logic 163 (7):951-960 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2011.09.006

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,069

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

Capturing k-ary existential second order logic with k-ary inclusion–exclusion logic.Raine Rönnholm - 2018 - Annals of Pure and Applied Logic 169 (3):177-215.
The expressive power of k-ary exclusion logic.Raine Rönnholm - 2019 - Annals of Pure and Applied Logic 170 (9):1070-1099.
Review: Arnon Avron, Relevance and Paraconsistency--A New Approach; Arnon Avron, Relevance and Paraconsistency--A New Approach. Part II: The Formal Systems; Arnon Avron, Relevance and Paraconsistency--A New Approach. Part III: Cut-Free Gentzen-Type Systems. [REVIEW]Alasdair Urquhart - 1992 - Journal of Symbolic Logic 57 (4):1481-1482.
Embedding Friendly First-Order Paradefinite and Connexive Logics.Norihiro Kamide - 2022 - Journal of Philosophical Logic 51 (5):1055-1102.
Arnon Avron. Relevance and paraconsistency—a new approach. The journal of symbolic logic, vol. 55 , pp. 707–732. - Arnon Avron. Relevance and paraconsistency—a new approach. Part II: the formal systems. Notre Dame journal of formal logic, vol. 31 , pp. 169–202. - Arnon Avron. Relevance and paraconsistency—a new approach. Part III: cut-free Gentzen-type systems. Notre Dame journal of formal logic, vol. 32 , pp. 147–160. [REVIEW]Alasdair Urquhart - 1992 - Journal of Symbolic Logic 57 (4):1481-1482.
Henkin Quantifiers and Complete Problems.Andreas Blass & Yuri Gurevich - 1986 - Annals of Pure and Applied Logic 32:1--16.
Henkin and function quantifiers.Michael Krynicki & Jouko Väänänen - 1989 - Annals of Pure and Applied Logic 43 (3):273-292.
Uniform interpolation and the existence of sequent calculi.Rosalie Iemhoff - 2019 - Annals of Pure and Applied Logic 170 (11):102711.
Completeness for μ-calculi: A coalgebraic approach.Sebastian Enqvist, Fatemeh Seifan & Yde Venema - 2019 - Annals of Pure and Applied Logic 170 (5):578-641.
Definability hierarchies of general quantifiers.Lauri Hella - 1989 - Annals of Pure and Applied Logic 43 (3):235.

Analytics

Added to PP
2013-10-27

Downloads
13 (#1,065,706)

6 months
4 (#862,832)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Arnon Avron
Tel Aviv University

Citations of this work

No citations found.

Add more citations

References found in this work

Investigations into Logical Deduction.Gerhard Gentzen - 1964 - American Philosophical Quarterly 1 (4):288 - 306.

Add more references