Restriction by noncontraction

DOI10.1215/00294527-3429057zbMath1417.03110OpenAlexW2327582909MaRDI QIDQ286710

Elia Zardini

Publication date: 25 May 2016

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1453993977

zbMATH Keywords

contractiontransitivitysubstructural logicsdialetheismanaletheismnaive truthrestricted quantification

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logic of natural languages (03B65) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20) Paraconsistent logics (03B53)

Related Items (4)

Logical predictivism ⋮ Contraction, infinitary quantifiers, and omega paradoxes ⋮ The final cut ⋮ Inclosure and intolerance

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Naive \textit{modus ponens}
• Possibility, necessity and probability: a meditation on underdetermination and justification
• Relevant restricted quantification
• A model of tolerance
• Context and consequence. an intercontextual substructural logic
• CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
• NAIVE TRUTH AND RESTRICTED QUANTIFICATION: SAVING TRUTH A WHOLE LOT BETTER
• NAIVE TRUTH AND NAIVE LOGICAL PROPERTIES
• Free of Detachment: Logic, Rationality, and Gluts
• TRUTH WITHOUT CONTRA(DI)CTION
• On a generalization of quantifiers
• Generalized quantifiers and natural language
• Outline of a Theory of Truth
• The inconsistency of certain formal logics

This page was built for publication: Restriction by noncontraction