scientific article; zbMATH DE number 6973796

zbMath1398.06008MaRDI QIDQ4963134

Jan Paseka, Ivan Chajda

Publication date: 6 November 2018

Full work available at URL: http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-28-number-1-2017/mvlsc-28-1-p-29-45/

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

zbMATH Keywords

De Morgan latticetense operatorsDe Morgan posetdynamic De Morgan algebra

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Temporal logic (03B44) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)

Related Items (2)

Tense De Morgan S4-algebras ⋮ Discrete duality for Nelson algebras with tense operators

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Tense operators on basic algebras
• Algebraic models of deviant modal operators based on De Morgan and Kleene lattices
• How to produce S-tense operators on lattice effect algebras
• Effect algebras and unsharp quantum logics.
• Algebraic axiomatization of tense intuitionistic logic
• Constructive modal logics. I
• Residuated lattices. An algebraic glimpse at substructural logics
• Dynamic effect algebras
• Intuitionistic tense and modal logic
• A dynamic Effect Algebras with Dual Operation

This page was built for publication: