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
