scientific article; zbMATH DE number 5046371
From MaRDI portal
Publication:5483018
zbMath1107.03017MaRDI QIDQ5483018
Publication date: 15 August 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (62)
De Finettian logics of indicative conditionals. I: Trivalent semantics and validity ⋮ Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion ⋮ Weak negation in inquisitive semantics ⋮ Rewriting the history of connexive logic ⋮ Negation of Conditionals in Natural Language and Thought ⋮ History of Relating Logic. The Origin and Research Directions ⋮ ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION ⋮ An analysis of poly-connexivity ⋮ Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ Connexive restricted quantification ⋮ SEMANTICS FOR PURE THEORIES OF CONNEXIVE IMPLICATION ⋮ Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic ⋮ 40 years of FDE: an introductory overview ⋮ Logical consequence in Avicenna's theory ⋮ Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant ⋮ Provability multilattice logic ⋮ A Nelsonian Response to ‘the Most Embarrassing of All Twelfth-century Arguments’ ⋮ On the provable contradictions of the connexive logics \(\mathbf{C}\) and \(\mathbf{C3}\) ⋮ The nature of entailment: an informational approach ⋮ BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES ⋮ Connexive logic, connexivity, and connexivism: remarks on terminology ⋮ An algebraic investigation of the connexive logic \(\mathsf{C}\) ⋮ A simple way to overcome hyperconnexivity ⋮ Intuitionistic logic is a connexive logic ⋮ Angell and McCall meet Wansing ⋮ Boolean connexive logic and content relationship ⋮ Situation-based connexive logic ⋮ Stalnakerian connexive logics ⋮ Connexive negation ⋮ An infinity of intuitionistic connexive logics ⋮ Logical multilateralism ⋮ Finite tree-countermodels via refutation systems in extensions of positive logic with strong negation ⋮ A dialectic contra-classical logic ⋮ A Variant of Material Connexive Logic ⋮ Paraconsistency in classical logic ⋮ On Split Negation, Strong Negation, Information, Falsification, and Verification ⋮ An Invitation to New Essays on Belnap-Dunn Logic ⋮ Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation ⋮ Modal extension of ideal paraconsistent four-valued logic and its subsystem ⋮ Logics of nonsense and Parry systems ⋮ Inconsistency in Ceteris Paribus Imagination ⋮ From Paraconsistent Logic to Dialetheic Logic ⋮ On the Methodology of Paraconsistent Logic ⋮ Connexive logics. An overview and current trends ⋮ Inconsistent Models (and Infinite Models) for Arithmetics with Constructible Falsity ⋮ Relevant Connexive Logic ⋮ Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality ⋮ Humble Connexivity ⋮ Towards a bridge over two approaches in connexive logic ⋮ Connexive Conditional Logic. Part I ⋮ Variable sharing in connexive logic ⋮ Constructive negation, implication, and co-implication ⋮ Natural deduction systems for Nelson's paraconsistent logic and its neighbors ⋮ Axiomatization of some basic and modal Boolean connexive logics ⋮ Embedding friendly first-order paradefinite and connexive logics ⋮ Poly-connexivity: connexive conjunction and disjunction ⋮ A Poly-Connexive Logic ⋮ Peirce’s Triadic Logic and Its (Overlooked) Connexive Expansion ⋮ Strongly Semantic Information as Information About the Truth ⋮ Connexive Variants of Modal Logics Over FDE ⋮ Did Aristotle endorse Aristotle's thesis? A case study in Aristotle's metalogic ⋮ Three ways of being non-material
This page was built for publication:
