Cited in
(only showing first 100 items - show all)- Second-order logic and the power set
- Contradictory information: too much of a good thing
- A UNIFIED THEORY OF TRUTH AND PARADOX
- A note on freedom from detachment in the logic of paradox
- Borderline vs. unknown: comparing three-valued representations of imperfect information
- What Were Tarski's Truth-Definitions for?
- JGXYZ: an ATP system for gap and glut logics
- Paraconsistent logics?
- Ideal paraconsistent logics
- Truth values and proof theory
- Pragmatic interpretations of vague expressions: strongest meaning and nonmonotonic consequence
- On the complexity of inconsistency measurement
- Paraconsistency properties in degree-preserving fuzzy logics
- Reasoning about truth
- A map of dependencies among three-valued logics
- Stream-based inconsistency measurement
- An anti-realist account of mathematical truth
- Natural deduction systems for some modifications of Kleene's and Dunn-Belnap's logics
- Deflationism about logic
- Deflationary truth and the Liar
- MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY
- Two, Many, and Differently Many
- Transfinite cardinals in paraconsistent set theory
- On the infinite-valued Łukasiewicz logic that preserves degrees of truth
- Quine and Slater on paraconsistency and deviance
- Logics of nonsense and Parry systems
- The strict/tolerant idea and bilattices
- Three-valued logics in modal logic
- Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety
- On the methodology of paraconsistent logic
- Minimally inconsistent LP
- On the expressivity of inconsistency measures
- To be and not to be: Dialectical tense logic
- When hyperpropositions meet \(\dots\)
- A modal theorem-preserving translation of a class of three-valued logics of incomplete information
- Game theoretical semantics for some non-classical logics
- Four-valued semantics for relevant logics (and some of their rivals)
- Paradox and logical revision. A short introduction
- Truth meets vagueness. Unifying the semantic and the soritical paradoxes
- Consistent theories in inconsistent logics
- Inferences and metainferences in \(\mathsf{ST}\)
- Naive \textit{modus ponens}
- Definitional equivalence and algebraizability of generalized logical systems
- Ways things can't be
- Epistemicism and the liar
- Paraconsistent dynamics
- Sets and supersets
- A computational interpretation of conceptivism
- What's wrong with tonk(?)
- Paradox, truth and logic. I. Paradox and truth
- In defence of dialetheism: a reply to Beziau and Tkaczyk
- Deep \textsf{ST}
- Derivability and metainferential validity
- Accepting inconsistencies from the paradoxes
- Algebras of intervals and a logic of conditional assertions
- The final cut
- Logic of paradox revisited
- Measuring Consistency Gain and Information Loss in Stepwise Inconsistency Resolution
- On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
- Some topological properties of paraconsistent models
- What is a paraconsistent logic?
- ST, LP and tolerant metainferences
- Notes on naive semantics
- Strict-choice validities: A note on a familiar pluralism
- Conditionals in theories of truth
- Naive modus ponens and failure of transitivity
- Tolerant, classical, strict
- Paraconsistent logic
- 40 years of FDE: an introductory overview
- Self-extensional three-valued paraconsistent logics
- An infinity of super-Belnap logics
- Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics
- On all strong Kleene generalizations of classical logic
- Correia semantics revisited
- Relative inconsistency measures
- Hyper-contradictions, generalized truth values and logics of truth and falsehood
- Free of Detachment: Logic, Rationality, and Gluts
- Models for a paraconsistent set theory
- Automated correspondence analysis for the binary extensions of the logic of paradox
- Correspondence analysis for some fragments of classical propositional logic
- Generalized correspondence analysis for three-valued logics
- Two Genuine 3-Valued Paraconsistent Logics
- Partial meet pseudo-contractions
- De Morgan clones and four-valued logics
- Correspondence analysis and automated proof-searching for first degree entailment
- De Finettian logics of indicative conditionals. I: Trivalent semantics and validity
- De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics
- Stone-type representations and dualities for varieties of bisemilattices
- Logical investigations on assertion and denial
- On assertion and denial in the logic for pragmatics
- FDE as the one true logic
- Paraconsistency everywhere
- Round squares are no contradictions (tutorial on negation contradiction and opposition)
- Pecularities of some three- and four-valued second order logics
- Second-order logic of paradox
- The method of Socratic proofs meets correspondence analysis
- Three-valued paraconsistent propositional logics
- Denial and disagreement
- Semantic closure
- Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates
This page was built for publication: The logic of paradox
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1255485)
