What is negation?
From MaRDI portal
Publication:1594817
zbMath0957.00012MaRDI QIDQ1594817
No author found.
Publication date: 29 January 2001
Published in: Applied Logic Series (Search for Journal in Brave)
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items
Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion, Correspondence analysis and automated proof-searching for first degree entailment, Compositional meaning in logic, Four-valued paradefinite logics, Conceptual orthospaces -- convexity meets negation, Tarskian consequence relations bilaterally: some familiar notions, Connexive logic, connexivity, and connexivism: remarks on terminology, Rejection: a historico-epistemological view, Hegel's Glutty Negation, Maximal and premaximal paraconsistency in the framework of three-valued semantics, Basic Four-Valued Systems of Cyclic Negations, Relation algebras of Sugihara, Belnap, Meyer, and Church, On Split Negation, Strong Negation, Information, Falsification, and Verification, Deductive argumentation by enhanced sequent calculi and dynamic derivations, The expressive unary truth functions of \(n\)-valued logic, On negation: Pure local rules, Subatomic negation, On the Methodology of Paraconsistent Logic, Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work), Comments on the Papers
