scientific article
From MaRDI portal
Publication:3884093
zbMath0442.03024MaRDI QIDQ3884093
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
conservative extensionKripke-style semanticsintuitionistic sentential calculuslogic of constant domainsextension of the intuitionistic predicate calculusalgebraic study of semi-Boolean algebras
Related Items
Constraint tableaux for two-dimensional fuzzy logics, Equality and Apartness in Bi-intuitinistic Logic, Useful Four-Valued Extension of the Temporal Logic KtT4, Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation, Hennessy-Milner properties via topological compactness, Sequent systems for negative modalities, Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant, Decidable variables for constructive logics, Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic, A more general general proof theory, Qualitative reasoning in a two-layered framework, Time and Gödel: fuzzy temporal reasoning in PSPACE, Reprint of: ``A more general general proof theory, Falsification-aware calculi and semantics for normal modal logics including S4 and S5, Regular double \(p\)-algebras: a converse to a Katriňák theorem and applications, B-frame duality, Dualized Simple Type Theory, Bi-intuitionistic implication structures, Algorithmic correspondence for intuitionistic modal mu-calculus, Expressing discrete spatial relations under granularity, The semi Heyting-Brouwer logic, On Split Negation, Strong Negation, Information, Falsification, and Verification, Priest on Negation, Subtractive logic, LK, LJ, dual intuitionistic logic, and quantum logic, Anti-intuitionism and paraconsistency, Information Quanta and Approximation Operators: Once More Around the Track, The Procedures for Belief Revision, On Displaying Negative Modalities, The pleasures of anticipation: Enriching intuitionistic logic, A Connection-Based Characterization of Bi-intuitionistic Validity, On the Methodology of Paraconsistent Logic, A ``Distributive or a ``Collective Approach to Sentences?, Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality, Deep Inference in Bi-intuitionistic Logic, On logics with coimplication, Proof theory of Nelson's paraconsistent logic: a uniform perspective, The Evil Twin: The Basics of Complement-Toposes, Unnamed Item, A non-inferentialist, anti-realistic conception of logical truth and falsity, A connection-based characterization of bi-intuitionistic validity, Negation in the context of gaggle theory, Dual intuitionistic logic and a variety of negations: the logic of scientific research