Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
From MaRDI portal
Publication:4052120
DOI10.4064/fm-83-3-219-249zbMath0298.02064OpenAlexW2014085418MaRDI QIDQ4052120
Publication date: 1974
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/214696
Other algebras related to logic (03G25) Structure theory of Boolean algebras (06E05) Logical aspects of Boolean algebras (03G05) Intermediate logics (03B55)
Related Items (42)
TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS ⋮ Free and projective bimodal symmetric Gödel algebras ⋮ Completeness results for intuitionistic and modal logic in a categorical setting ⋮ A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras ⋮ Equality and Apartness in Bi-intuitinistic Logic ⋮ Paraconsistency properties in degree-preserving fuzzy logics ⋮ Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ Involutive symmetric Gödel spaces, their algebraic duals and logic ⋮ Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation ⋮ POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION ⋮ Natural deduction for bi-intuitionistic logic ⋮ Multi-adjoint algebras versus non-commutative residuated structures ⋮ Regular double \(p\)-algebras: a converse to a Katriňák theorem and applications ⋮ B-frame duality ⋮ Expanding \(\text{FL}_{ew}\) with a Boolean connective ⋮ Dualized Simple Type Theory ⋮ Discrete dualities for double Stone algebras ⋮ Pragmatic and dialogic interpretations of bi-intuitionism. Part I ⋮ Algebraic Representation, Dualities and Beyond ⋮ Expressing discrete spatial relations under granularity ⋮ The semi Heyting-Brouwer logic ⋮ Projective algebras and primitive subquasivarieties in varieties with factor congruences ⋮ Natural deduction for dual-intuitionistic logic ⋮ A type-theoretic foundation of delimited continuations ⋮ Subtractive logic ⋮ Extensions of Priest-da Costa logic ⋮ The Procedures for Belief Revision ⋮ Applications of Kripke models to Heyting-Brouwer logic ⋮ The pleasures of anticipation: Enriching intuitionistic logic ⋮ Invariance to ordinal transformations in rank-aware databases ⋮ A ``Distributive or a ``Collective Approach to Sentences? ⋮ On logics with coimplication ⋮ The Evil Twin: The Basics of Complement-Toposes ⋮ On the variety of Gödel MV-algebras ⋮ Splittings in varieties of logic ⋮ Unnamed Item ⋮ Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory ⋮ A formalization of the propositional calculus of H-B logic ⋮ On the Blok-Esakia Theorem ⋮ Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets. ⋮ Dual intuitionistic logic and a variety of negations: the logic of scientific research ⋮ ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC
This page was built for publication: Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
