Intuitionistic logic with strong negation
From MaRDI portal
Publication:1241438
DOI10.1007/BF02121114zbMath0366.02015MaRDI QIDQ1241438
Publication date: 1977
Published in: Studia Logica (Search for Journal in Brave)
Related Items
Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion, Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond, Vagueness as an epiphenomenon, and non-transitivity, Notes on Craig interpolation for LJ with strong negation, Characterising equilibrium logic and nested logic programs: Reductions and complexity,, Equilibrium logic, Semantics-based nonmonotonic inference, Partial up an down logic, Strong negation in intuitionistic style sequent systems for residuated lattices, Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation, DYNAMIC NEGATION AND NEGATIVE INFORMATION, New Algebras and Logic from a Category of Rough Sets, On deductive bases for paraconsistent answer set semantics, Modal multilattice logic, Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework, Paraconsistent double negations as classical and intuitionistic negations, Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant, Nonmonotonicity and answer set inference, IMPROVING STRONG NEGATION, Belnap Constants and Nelson Logic, HYPE: a system of hyperintensional logic (with an application to semantic paradoxes), Paraconsistent double negation as a modal operator, Extending paraconsistent quantum logic: a single‐antecedent/succedent system approach, Executability and connexivity in an interpretation of Griss, Falsification-aware calculi and semantics for normal modal logics including S4 and S5, Replacement in logic, \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics, The lattice of Belnapian modal logics: Special extensions and counterparts, On Split Negation, Strong Negation, Information, Falsification, and Verification, Bilattice Logics and Demi-Negation, Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation, Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems, There is more to negation than modality, Paraconsistent computation tree logic, Modal extension of ideal paraconsistent four-valued logic and its subsystem, A variant of Thomason's first-order logic CF based on situations, A hierarchy of weak double negations, The pleasures of anticipation: Enriching intuitionistic logic, A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics, Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality, Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi, SEQUENT CALCULI FOR SOME TRILATTICE LOGICS, Constructive negation, implication, and co-implication, Proof theory of Nelson's paraconsistent logic: a uniform perspective, Natural deduction systems for Nelson's paraconsistent logic and its neighbors, Compatibly involutive residuated lattices and the Nelson identity, Falsification-aware semantics and sequent calculi for classical logic, Embedding friendly first-order paradefinite and connexive logics, An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi, Inference rules in Nelson's logics, admissibility and weak admissibility, A first order nonmonotonic extension of constructive logic, Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic, Informational interpretation of substructural propositional logics
Cites Work
