The following pages link to What is negation? (Q1594817):
Displayed 15 items.
- The expressive unary truth functions of \(n\)-valued logic (Q558444) (← links)
- Maximal and premaximal paraconsistency in the framework of three-valued semantics (Q631512) (← links)
- Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion (Q830398) (← links)
- Compositional meaning in logic (Q1682292) (← links)
- Four-valued paradefinite logics (Q1685565) (← links)
- Deductive argumentation by enhanced sequent calculi and dynamic derivations (Q1744402) (← links)
- On negation: Pure local rules (Q1775871) (← links)
- Subatomic negation (Q2035849) (← links)
- Relation algebras of Sugihara, Belnap, Meyer, and Church (Q2210869) (← links)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- Hegel's Glutty Negation (Q2963969) (← links)
- On Split Negation, Strong Negation, Information, Falsification, and Verification (Q3305426) (← links)
- Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work) (Q5020161) (← links)
- Comments on the Papers (Q5020174) (← links)
- On the Methodology of Paraconsistent Logic (Q5213765) (← links)