Pages that link to "Item:Q4052120"

The following pages link to Semi-Boolean algebras and their applications to intuitionistic logic with dual operations (Q4052120):

Displaying 41 items.

• Free and projective bimodal symmetric Gödel algebras (Q300560) (← links)
• Paraconsistency properties in degree-preserving fuzzy logics (Q344078) (← links)
• The semi Heyting-Brouwer logic (Q495844) (← links)
• Discrete dualities for double Stone algebras (Q647401) (← links)
• Natural deduction for dual-intuitionistic logic (Q694491) (← links)
• On the variety of Gödel MV-algebras (Q780196) (← links)
• Dual intuitionistic logic and a variety of negations: the logic of scientific research (Q813087) (← links)
• Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
• Multi-adjoint algebras versus non-commutative residuated structures (Q900276) (← links)
• A type-theoretic foundation of delimited continuations (Q968364) (← links)
• Applications of Kripke models to Heyting-Brouwer logic (Q1239313) (← links)
• On logics with coimplication (Q1272827) (← links)
• Completeness results for intuitionistic and modal logic in a categorical setting (Q1346248) (← links)
• Natural deduction for bi-intuitionistic logic (Q1693596) (← links)
• Expanding \(\text{FL}_{ew}\) with a Boolean connective (Q1699735) (← links)
• A formalization of the propositional calculus of H-B logic (Q1846858) (← links)
• Expressing discrete spatial relations under granularity (Q1979964) (← links)
• Projective algebras and primitive subquasivarieties in varieties with factor congruences (Q1991598) (← links)
• Extensions of Priest-da Costa logic (Q2016069) (← links)
• Invariance to ordinal transformations in rank-aware databases (Q2291768) (← links)
• Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets. (Q2353687) (← links)
• B-frame duality (Q2689804) (← links)
• Dualized Simple Type Theory (Q2974773) (← links)
• Pragmatic and dialogic interpretations of bi-intuitionism. Part I (Q2987724) (← links)
• Algebraic Representation, Dualities and Beyond (Q3299871) (← links)
• The Procedures for Belief Revision (Q3600572) (← links)
• (Q4625704) (← links)
• Splittings in varieties of logic (Q5002194) (← links)
• A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras (Q5055314) (← links)
• Equality and Apartness in Bi-intuitinistic Logic (Q5059692) (← links)
• A ``Distributive'' or a ``Collective'' Approach to Sentences? (Q5215507) (← links)
• The Evil Twin: The Basics of Complement-Toposes (Q5241534) (← links)
• Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory (Q5251193) (← links)
• On the Blok-Esakia Theorem (Q5255793) (← links)
• ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC (Q5274878) (← links)
• TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS (Q5880425) (← links)
• Subtractive logic (Q5940919) (← links)
• The pleasures of anticipation: Enriching intuitionistic logic (Q5957420) (← links)
• Involutive symmetric Gödel spaces, their algebraic duals and logic (Q6103512) (← links)
• POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION (Q6123585) (← links)
• Regular double \(p\)-algebras: a converse to a Katriňák theorem and applications (Q6180422) (← links)