Restriction by noncontraction

DOI10.1215/00294527-3429057MaRDI QIDQ286710zbMATHOpenAlexFDO

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

contractiontransitivitysubstructural logicsanaletheismdialetheismnaive truthrestricted quantification

Mathematics Subject Classification ID

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

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

• 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?)
• 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
• 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

(14)

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

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)