Assertion, Denial and Non-classical Theories

DOI10.1007/978-94-007-4438-7_6zbMath1272.03038MaRDI 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 gaps; truth-value gluts; bitheories

Mathematics Subject Classification ID

03A05: Philosophical and critical aspects of logic and foundations

03B53: Paraconsistent logics

Related Items

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

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