scientific article

zbMath1350.03002MaRDI QIDQ2799965

Jan Paseka, Ivan Chajda

Publication date: 14 April 2016

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

fuzzy logicrepresentationBoolean algebrapropositional logictense logicDe Morgan algebraeffect algebraaxiomatizationquantum structuremodal operatortense operatorspace of numerical events

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other algebras related to logic (03G25) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) MV-algebras (06D35) Quantum logic (03G12) Temporal logic (03B44) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Logical aspects of ?ukasiewicz and Post algebras (03G20) Research exposition (monographs, survey articles) pertaining to ordered structures (06-02)

Related Items (15)

Subdirectly irreducible IKt-algebras ⋮ On Heyting algebras with negative tense operators ⋮ Quantum B‐modules ⋮ Tense logic based on finite orthomodular posets ⋮ Tense operators on distributive lattices with implication ⋮ Completions of posemigroups by cuts and beyond ⋮ Tense operators on non-commutative residuated lattices ⋮ Discrete duality for Nelson algebras with tense operators ⋮ Discrete duality for De Morgan Algebras with operators ⋮ Dynamic logic assigned to automata ⋮ Principal and Boolean congruences on \(IKt\)-algebras ⋮ Evolution of objects and concepts ⋮ A topological duality for tense \(\theta\)-valued Łukasiewicz-Moisil algebras ⋮ On injective constructions of \(S\)-semigroups ⋮ Another look on tense and related operators

This page was built for publication: