Restriction by noncontraction

DOI10.1215/00294527-3429057MaRDI QIDQ286710zbMATH OpenOpenAlexFDO

Authors 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

analetheismcontractiondialetheismnaive truthrestricted quantificationsubstructural logicstransitivity

Mathematics Subject Classification ID

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

Recommendations

• Naive truth and restricted quantification: saving truth a whole lot better
• Naive structure, contraction and paradox
• On structural contraction and why it fails
• Truth without contra(di)ction
• A robust non-transitive logic

Cites work

• A model of tolerance
• Conservatively extending classical logic with transparent truth
• Context and consequence. an intercontextual substructural logic
• Free of Detachment: Logic, Rationality, and Gluts
• Generalized quantifiers and natural language
• scientific article; zbMATH DE number 6003856 (Why is no real title available?)
• scientific article; zbMATH DE number 43479 (Why is no real title available?)
• scientific article; zbMATH DE number 3077139 (Why is no real title available?)
• Multiple conclusions
• Naive \textit{modus ponens}
• Naive truth and naive logical properties
• Naive truth and restricted quantification: saving truth a whole lot better
• On a generalization of quantifiers
• Outline of a Theory of Truth
• Possibility, necessity and probability: a meditation on underdetermination and justification
• Relevant restricted quantification
• Saving truth from paradox
• The inconsistency of certain formal logics
• Truth without contra(di)ction

Cited in

(16)

• Contraction, infinitary quantifiers, and omega paradoxes
• Naive structure, contraction and paradox
• A robust non-transitive logic
• Inclosure and intolerance
• Structural weakening and paradoxes
• Non-reflexivity and revenge
• The final cut
• On structural contraction and why it fails
• Naive truth and restricted quantification: saving truth a whole lot better
• Adding the relevant restricted quantification
• Barred preferential arrangements
• Two Restrictions on Contraction
• THE POWER OF NAIVE TRUTH
• Constraining Delimited Control with Contracts
• Non-contractability and revenge
• Logical predictivism

This page was built for publication: Restriction by noncontraction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q286710)