Contraction, infinitary quantifiers, and omega paradoxes
type: Item
instance of: scholarly article
title: Contraction, infinitary quantifiers, and omega paradoxes
zbMATH Open document ID: 1436.03143
author: Bruno Da Ré
author: Lucas Rosenblatt
published in: Journal of Philosophical Logic
publication date: 2018-09-05T00:00:00Z
Mathematics Subject Classification ID: 03B47
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 03F03
zbMATH DE Number: 6932326
zbMATH Keywords: substructural logic
zbMATH Keywords: infinitary quantifiers
zbMATH Keywords: paradoxes
zbMATH Keywords: truth
MaRDI profile type: Publication
full work available at URL: s10992-017-9441-2
OpenAlex ID: W2623826822
cites work: Curry's paradox and \(\omega \)-inconsistency
cites work: Theories of truth without standard models and Yablo's sequences
cites work: NAIVE TRUTH AND NAIVE LOGICAL PROPERTIES
cites work: Q2966522
cites work: CONTRACTIONS OF NONCONTRACTIVE CONSEQUENCE RELATIONS
cites work: Linear logic
cites work: Q3005147
cites work: Logical consequence and the paradoxes
cites work: How truthlike can a predicate be? A negative result
cites work: Storage Operators and Multiplicative Quantifiers in Many-valued Logics
cites work: Cut Elimination in the Presence of Axioms
cites work: Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
cites work: Substructural logics: a primer
cites work: Naive structure, contraction and paradox
cites work: Logical paradoxes for many-valued systems
cites work: An Introduction to Gödel's Theorems
cites work: Q4499084
cites work: TRUTH WITHOUT CONTRA(DI)CTION
cites work: Restriction by noncontraction
DOI: 10.1007/S10992-017-9441-2
description: scientific article; zbMATH DE number 6932326