Towards a non-classical meta-theory for substructural approaches to paradox

DOI10.1007/s10992-020-09589-yOpenAlexW3137150068MaRDI QIDQ2240546

Lucas Rosenblatt

Publication date: 4 November 2021

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-020-09589-y

zbMATH Keywords

paradoxesvaliditysubstructural logicnon-classical logicanti-sequents

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (3)

Paraconsistent metatheory: new proofs with old tools ⋮ Validities, antivalidities and contingencies: a multi-standard approach ⋮ Sequent-calculi for metainferential logics

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logical consequence and the paradoxes
• Disarming a paradox of validity
• Non-classical elegance for sequent calculus enthusiasts
• Predicate logics without the structure rules
• Multiset theory
• The contraction rule and decision problems for logics without structural rules
• Contraction, infinitary quantifiers, and omega paradoxes
• A note on contraction-free logic for validity
• Naive structure, contraction and paradox
• Faithfulness for naive validity
• Paraconsistency in classical logic
• There is no paradox of logical validity
• Noncontractive classical logic
• Non-classical metatheory for non-classical logics
• Unifying the philosophy of truth
• CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
• NAIVE TRUTH AND NAIVE LOGICAL PROPERTIES
• Positive abstraction and extensionality
• TRUTH WITHOUT CONTRA(DI)CTION
• The inexpressibility of validity
• TRANSFINITE NUMBERS IN PARACONSISTENT SET THEORY
• OUP accepted manuscript
• Validity as a primitive

This page was built for publication: Towards a non-classical meta-theory for substructural approaches to paradox