Assertion, Denial and Non-classical Theories

DOI10.1007/978-94-007-4438-7_6zbMath1272.03038OpenAlexW114800553MaRDI QIDQ4912986

Greg Restall

Publication date: 2 April 2013

Published in: Paraconsistency: Logic and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-4438-7_6

zbMATH Keywords

truth-value gapstruth-value glutsbitheories

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Paraconsistent logics (03B53)

Related Items

The problem of rational knowledge ⋮ Paths to triviality ⋮ Is `no' a force-indicator? Yes, sooner or later! ⋮ SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES ⋮ Bilateralism, trilateralism, multilateralism and poly-sequents ⋮ On assertion and denial in the logic for pragmatics ⋮ Logical multilateralism ⋮ The laws of thought and the laws of truth as two sides of one coin ⋮ INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY ⋮ Introduction: Bilateralism and Proof-Theoretic Semantics (Part I) ⋮ Introduction: Bilateralism and Proof-Theoretic Semantics (Part II) ⋮ A plea for KR ⋮ Anything goes ⋮ A note on contraction-free logic for validity ⋮ Bilateralism in proof-theoretic semantics ⋮ Structural weakening and paradoxes ⋮ First Degree Entailment, Symmetry and Paradox ⋮ On negation for non-classical set theories ⋮ Atomic ontology ⋮ A Dialetheic Interpretation of Classical Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Boolean negation and all that
• A note on naive set theory in LP
• Natural deduction based set theories: a new resolution of the old paradoxes
• Positive abstraction and extensionality
• Inconsistent models for relevant arithmetics
• Identity and harmony
• Logic for Equivocators