Non-contractive logics, paradoxes, and multiplicative quantifiers

, &
Review of Symbolic Logic:1-21 (forthcoming)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s1755020323000138

Links

PhilArchive



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

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

Generalized Revenge.Julien Murzi & Lorenzo Rossi - 2020 - Australasian Journal of Philosophy 98 (1):153-177.
On the Logic of Belief and Propositional Quantification.Yifeng Ding - 2021 - Journal of Philosophical Logic 50 (5):1143-1198.
Computable quantifiers and logics over finite structures.J. Makowsky & Y. Pnueli - 1995 - In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers. pp. 313--357.
On interplay of quantifiers in Gödel-Dummett fuzzy logics.Blanka Kozlíková & Vítězslav Švejdar - 2006 - Archive for Mathematical Logic 45 (5):569-580.
The problem Of Quantificational Completeness and the Characterization of All Perfect Quantifiers in 3‐Valued Logics.Walter A. Carnielli - 1987 - Mathematical Logic Quarterly 33 (1):19-29.
The problem of Quantificational Completeness and the Characterization of All Perfect Quantifiers in 3-Valued Logics.Walter A. Carnielli - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (1):19-29.
Decidability Results for Classes of Ordered Abelian Groups in Logics with Ramsey-Quantifiers.Wolfgang Lenski - 1995 - In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers. pp. 139--168.
Relevance logics, paradoxes of consistency and the K rule II. A non-constructive negation.José M. Méndez & Gemma Robles - 2007 - Logic and Logical Philosophy 15 (3):175-191.
Henkin Quantifiers.M. Krynicki & M. Mostowski - 1995 - In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers. pp. 193--263.
Quantifiers Definable by Second Order Means.M. Mostowski - 1995 - In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers. pp. 181--214.
Quantifiers, some Problems and Ideas.M. Krynicki & M. Mostowski - 1995 - In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers. pp. 1--21.
Μ-programs, uniform interpolation and bisimulation quantifiers for modal logics ★.Giovanna D'Agostino, Giacomo Lenzi & Tim French - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):297-309.
The logic of bunched implications.Peter W. O'Hearn & David J. Pym - 1999 - Bulletin of Symbolic Logic 5 (2):215-244.
Contractions of noncontractive consequence relations.Rohan French & David Ripley - 2015 - Review of Symbolic Logic 8 (3):506-528.
Infinitary Contraction‐Free Revenge.Andreas Fjellstad - 2018 - Thought: A Journal of Philosophy 7 (3):179-189.

Analytics

Added to PP
2023-06-08

Downloads
18 (#835,016)

6 months
8 (#365,731)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Carlo Nicolai
King's College London

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references