Lukasiewicz-Moisil algebras

Alexandru Filipoiu, Vlad Boicescu, George Georgescu, Sergiu Rudeanu

Publication date: 17 September 1992

Published in: Annals of Discrete Mathematics (Search for Journal in Brave)

Heyting algebras representations Łukasiewicz algebras Post algebras applications to switching theory Cignoli axiomatization Łukasiewicz logics Wajsberg axiomatization

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to statistics (62-02) Heyting algebras (lattice-theoretic aspects) (06D20) Structure and representation theory of distributive lattices (06D05) Other algebras related to logic (03G25) Many-valued logic (03B50) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Post algebras (lattice-theoretic aspects) (06D25) Injectives, projectives (08B30) Logical aspects of ?ukasiewicz and Post algebras (03G20) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to ordered structures (06-01)

Related Items (64)

Localization of \(k\times j\)-rough Heyting algebras ⋮ Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics ⋮ Nodal filters in hoop algebras ⋮ Involutive equality algebras ⋮ Distinguished representatives for equivalent labelled stratified graphs and applications ⋮ An extension theorem for submeasures on Łukasiewicz-Moisil algebras ⋮ Natural dualities for varieties of \(n\)-valued Łukasiewicz algebras ⋮ Modal operators on pseudo-BE algebras ⋮ A preliminary study of MV-algebras with two quantifiers which commute ⋮ Free Modal Pseudocomplemented De Morgan Algebras ⋮ Localization of tetravalent modal algebras ⋮ Monadic \(k\times j\)-rough Heyting algebras ⋮ On the ranges of algebraic functions on lattices ⋮ An equivalence between varieties of cyclic Post algebras and varieties generated by a finite field ⋮ Reconstruction in a generalized model for translation invariant systems ⋮ Iterating conditionals and symmetric Stone algebras ⋮ Algebraic structures in the vicinity of pre-rough algebra and their logics. II ⋮ An implication based study on Łukasiewicz (Monteiro) 3-valued algebra and pre-rough algebra ⋮ Connection between MV\(_n\) algebras and \(n\)-valued Lukasiewicz-Moisil algebras. I ⋮ A glimpse of deductive systems in algebra ⋮ Bounded lattice structured discriminator varieties ⋮ A Note on 3×3-valued Łukasiewicz Algebras with Negation ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Monteiro's algebraic notion of maximal consistent theory for Tarskian logics ⋮ An alternative definition of quantifiers on four-valued Łukasiewicz algebras ⋮ Quasi-Boolean based models in rough set theory: a case of covering ⋮ On a class of residuated semilattice monoids ⋮ A Topological Approach to Tense LMn×m-Algebras ⋮ Discrete duality for 3-valued Łukasiewicz–Moisil algebras ⋮ Anshakov-Rychkov algebras ⋮ Interval MV-algebras and generalizations. ⋮ Coproducts of distributive lattice-based algebras. ⋮ On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras ⋮ On the direct decomposability of pseudo-t-norms, t-norms and implication operators on product lattices ⋮ Free algebras over a poset in varieties of Łukasiewicz-Moisil algebras. ⋮ The Cantor-Bernstein-Schröder theorem via universal algebra. ⋮ On \(n \times m\)-valued Łukasiewicz-Moisil algebras ⋮ On the lattice of \(n\)-filters of an \(\mathrm{LM}_n\)-algebra ⋮ Defining rough sets as core-support pairs of three-valued functions ⋮ Fuzzy prime ideals of pseudo-MV algebras ⋮ A determination principle for algebras of \(n\)-valued Łukasiewicz logic ⋮ Rough 3-valued algebras ⋮ Bounded lattice expansions ⋮ \(LM_{n}\)-algebra of fractions and maximal \(LM_{n}\)-algebra of fractions ⋮ Localization of \(LM_n\)-algebras ⋮ Closure Łukasiewicz algebras ⋮ Unnamed Item ⋮ [https://portal.mardi4nfdi.de/wiki/Publication:3366657 An Algebraic Version of the Cantor-Bernstein-Schr�der Theorem] ⋮ Results on equality algebras ⋮ Many-Valued Logics and Translations ⋮ Probabilities on Lukasiewicz-Moisil algebras ⋮ A note on Trillas' CHC models ⋮ A new topological duality for n × m-valued Łukasiewicz–Moisil algebras ⋮ A topological duality for tense \(\theta\)-valued Łukasiewicz-Moisil algebras ⋮ On monadic operators on modal pseudocomplemented De Morgan algebras and tetravalent modal algebras ⋮ The lattice theory of \(r\)-ordered partitions ⋮ Finite free generating sets ⋮ Connections between \(\text{MV}_n\) algebras and \(n\)-valued Lukasiewicz-Moisil algebras. II ⋮ Symmetrical Heyting algebras of order \(3\times 3\) ⋮ Stone algebras: 3-valued logic and rough sets ⋮ Submeasures on nuanced MV-algebras. ⋮ Unnamed Item ⋮ A generalization of monadic \(n\)-valued Łukasiewicz algebras

This page was built for publication: Lukasiewicz-Moisil algebras