scientific article
From MaRDI portal
Publication:3033739
zbMath0692.03016MaRDI QIDQ3033739
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
paraconsistencyfiltrationssequent calculusnegationparacompletenesscanonical modelbinary-relation semanticscanonical algebra of theoriesdistributive lattice logic
Related Items (13)
Negative modalities, consistency and determinedness ⋮ Routley star and hyperintensionality ⋮ Polarity semantics for negation as a modal operator ⋮ Subminimal logics in light of Vakarelov's logic ⋮ Sequent systems for negative modalities ⋮ LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT ⋮ Composition of an intuitionistic negation and negative modalities as a necessity operator ⋮ On classical behavior of intuitionistic modalities ⋮ Distributive contact lattices: topological representations ⋮ On Split Negation, Strong Negation, Information, Falsification, and Verification ⋮ Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators ⋮ Double Negation Operator in Logic N ∗ ⋮ On Displaying Negative Modalities
This page was built for publication:
