Constructive negations and paraconsistency

DOI10.1007/978-1-4020-6867-6zbMath1161.03014OpenAlexW87187940MaRDI QIDQ932098

Publication date: 10 July 2008

Published in: Trends in Logic -- Studia Logica Library (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-4020-6867-6

zbMATH Keywords

paraconsistency algebraic semantics negation constructive logic strong negation Johansson's minimal logic absurdity Nelson's logics twist-structures

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Paraconsistent logics (03B53)

Related Items

Hybrid extensions of the minimal logic, Extensions of the minimal logic and the interpolation problem, V. Yankov’s Contributions to Propositional Logic, Layers over minimal logic, Correspondence analysis for some fragments of classical propositional logic, Reductio ad contradictionem: an algebraic perspective, Constraint tableaux for two-dimensional fuzzy logics, Modal bilattice logic and its extensions, Provability games for non-classical logics. Mezhirov game for MPC, KD!, and KD, Twist structures and Nelson conuclei, Joint consistency in extensions of the minimal logic, Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\), Recognizable logics, 40 years of FDE: an introductory overview, Disentangling \textsf{FDE}-based paraconsistent modal logics, Decidable variables for constructive logics, IMPROVING STRONG NEGATION, Belnap Constants and Nelson Logic, Negative Modalities in the Light of Paraconsistency, Admissibility in positive logics, BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES, On finitely-generated Johansson algebras, Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation, Proof theory for positive logic with weak negation, An algebraic investigation of the connexive logic \(\mathsf{C}\), Executability and connexivity in an interpretation of Griss, An infinity of intuitionistic connexive logics, Basic Four-Valued Systems of Cyclic Negations, HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS, Strong decidability and strong recognizability, Complemented MacNeille completions and algebras of fractions, Classifying material implications over minimal logic, Strong computability of slices over the logic GL, Interpolation and definability over the logic Gl, The lattice of Belnapian modal logics: Special extensions and counterparts, The subvariety of commutative residuated lattices represented by twist-products, Classical negation and expansions of Belnap-Dunn logic, LC and Its Pretabular Relatives, On Split Negation, Strong Negation, Information, Falsification, and Verification, An Invitation to New Essays on Belnap-Dunn Logic, Inferential Semantics, Paraconsistency, and Preservation of Evidence, Priest on Negation, On Non-transitive “Identity”, Interpolation over the minimal logic and Odintsov intervals, Slices and levels of extensions of the minimal logic, The structure of slices over minimal logic, There is more to negation than modality, Generalized Kripke semantics for Nelson's logic, Recognizability in pre-Heyting and well-composed logics, The interpolation problem in finite-layered pre-Heyting logics, Priestley duality for paraconsistent Nelson's logic, On Displaying Negative Modalities, Prawitz, Proofs, and Meaning, Avoiding Impossibility Theorems in Radical Inquisitive Semantics, On the Methodology of Paraconsistent Logic, On axiomatizing Shramko-Wansing's logic, An epistemic approach to paraconsistency: a logic of evidence and truth, Connexive logics. An overview and current trends, Connexive Conditional Logic. Part I, Neighbourhood semantics for FDE-based modal logics, Categories of models of \(\mathbf{R}\)-mingle, Constructive negation, implication, and co-implication, Proof theory of Nelson's paraconsistent logic: a uniform perspective, Twist-structures semantics for the logics of the hierarchy IⁿP^k, Compatibly involutive residuated lattices and the Nelson identity, A family of genuine and non-algebraisable C-systems, On Axioms and Rexpansions, Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency, The logic of generalized truth values and the logic of bilattices