scientific article
From MaRDI portal
Publication:3705494
zbMath0582.06012MaRDI QIDQ3705494
Publication date: 1985
Full work available at URL: https://eudml.org/doc/115416
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
surveyHeyting algebrasBoolean algebrasimplicative algebrasKleene algebrasPost algebrasStone algebrasDe Morgan algebrasLukasiewicz algebrasalgebraic aspects of nonclassical logic
Modal logic (including the logic of norms) (03B45) Heyting algebras (lattice-theoretic aspects) (06D20) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Structure theory of Boolean algebras (06E05) Post algebras (lattice-theoretic aspects) (06D25) Logical aspects of ?ukasiewicz and Post algebras (03G20)
Related Items
Routley star and hyperintensionality ⋮ Generalized correspondence analysis for three-valued logics ⋮ A note on regular De Morgan semi-Heyting algebras ⋮ Semi-Heyting algebras term-equivalent to Gödel algebras ⋮ Basic intuitionistic principles in fuzzy set theories and its extensions (a terminological debate on Atanassov IFS) ⋮ REPRESENTING REGULAR PSEUDOCOMPLEMENTED KLEENE ALGEBRAS BY TOLERANCE-BASED ROUGH SETS ⋮ On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief ⋮ Bounded lattice structured discriminator varieties ⋮ Varieties of pseudocomplemented Kleene algebras ⋮ On Heyting algebras with negative tense operators ⋮ Monteiro's algebraic notion of maximal consistent theory for Tarskian logics ⋮ An alternative definition of quantifiers on four-valued Łukasiewicz algebras ⋮ The variety of modal weak Gödel algebras ⋮ An algebraic axiomatization of the Ewald's intuitionistic tense logic ⋮ On good EQ-algebras ⋮ Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3 ⋮ Relational representation for subordination Tarski algebras ⋮ Trakhtenbrot theorem and first-order axiomatic extensions of MTL ⋮ Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic ⋮ Regular double \(p\)-algebras: a converse to a Katriňák theorem and applications ⋮ Expanding \(\text{FL}_{ew}\) with a Boolean connective ⋮ A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions ⋮ Conservative expansions of substructural logics ⋮ Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\) ⋮ Algebraic models of deviant modal operators based on De Morgan and Kleene lattices ⋮ Unnamed Item ⋮ Irredundant Coverings, Tolerances, and Related Algebras ⋮ Algebraic Methods for Orthopairs and Induced Rough Approximation Spaces ⋮ Consistency, Completeness, and Classicality ⋮ Defining rough sets as core-support pairs of three-valued functions ⋮ On products of posets and coproducts of KM-algebras ⋮ The Belluce-lattice associated with a bounded Hilbert algebra ⋮ Heyting algebras with Boolean operators for rough sets and information retrieval applications ⋮ Hilbert algebras of fractions ⋮ On subvarieties of symmetric closure algebras ⋮ Linear Heyting algebras with a quantifier ⋮ Quotient structures of some implicative algebras via fuzzy implicative filters ⋮ Complete and atomic Tarski algebras ⋮ Fuzzy description logics and \(t\)-norm based fuzzy logics ⋮ Imploring GE-filters of GE-algebras ⋮ Prelinear Hilbert algebras ⋮ On prelinear Hilbert algebras with successor ⋮ The logic of distributive nearlattices ⋮ A note on Hilbert algebras and their related generalized Esakia spaces ⋮ An algebraic study of S5-modal Gödel logic ⋮ Subordination Tarski algebras ⋮ Upper bounds on the sizes of finitely generated algebras ⋮ Variations of the free implicative semilattice extension of a Hilbert algebra ⋮ On weak implication algebra ⋮ Commutative integral bounded residuated lattices with an added involution ⋮ Rough \(L\)-fuzzy sets: their representation and related structures ⋮ Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras ⋮ On GE-algebras ⋮ A family of genuine and non-algebraisable C-systems ⋮ On Tarski algebras with a finite set of free generators ⋮ Duality for finite Hilbert algebras ⋮ Symmetric Heyting relation algebras with applications to hypergraphs ⋮ Hilbert algebras with a modal operator \(\diamondsuit\)