Priest on Negation

DOI10.1007/978-3-030-25365-3_15zbMath1469.03077OpenAlexW2997849130MaRDI QIDQ3305669

Lloyd Humberstone

Publication date: 10 August 2020

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-25365-3_15

zbMATH Keywords

paraconsistencynegationlogical relationscontraries and subcontrariesunique characterization of connectives

Mathematics Subject Classification ID

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

Cites Work

• Disentangling contradiction from contrariety via incompatibility
• Inverse images of box formulas in modal logic
• Boolean negation and all that
• Commuting double Ockham algebras
• Constructive negations and paraconsistency
• What's so logical about the logical axioms?
• Operational semantics for positive R
• A perspective on modal sequent logic
• Theory of logical calculi. Basic theory of consequence operations
• The logic of paradox
• Interval semantics for tense logic: Some remarks
• Quine and Slater on paraconsistency and deviance
• Handbook of philosophical logic. Vol. 6
• Intuitive semantics for first-degree entailments and `coupled trees'
• Functional completeness for subsystems of intuitionistic propositional logic
• Displaying modal logic
• Yes, Virginia, there really are paraconsistent logics
• Logic on the Australian plan
• Paraconsistent logics?
• Classes of valuations closed under operations Galois-dual to Boolean sentence connectives
• Variation on a trivialist argument of Paul Kabay
• A propositional calculus with denumerable matrix
• Does every proposition have a unique contradictory?
• FOUR BASIC LOGICAL ISSUES
• Semicomplemented Lattices and the Finite Model Property
• The implicational fragment of Dummett's LC
• Belnap's Four-Valued Logic and De Morgan Lattices
• An infinity of super-Belnap logics
• Characterizing Belnap's Logic via De Morgan's Laws
• Contradictoriness, Paraconsistent Negation and Non-intended Models of Classical Logic
• Supervenience, Dependence, Disjunction
• None of the Above: The Catuṣkoṭi in Indian Buddhist Logic
• Note on Contraries and Subcontraries
• The Semantics of First Degree Entailment
• GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC
• The pleasures of anticipation: Enriching intuitionistic logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Priest on Negation