scientific article; zbMATH DE number 6973837

zbMath1398.03210MaRDI QIDQ4963163

Farshad Nahangi, Arsham Borumand Saeid, Esfandiar Eslami

Publication date: 6 November 2018

Full work available at URL: http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-29-number-3-4-2017/mvlsc-29-3-4-p-275-302/

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

zbMATH Keywords

tense operatortense filtertense residuated lattice

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Temporal logic (03B44)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Tense operators on basic algebras
• Algebraic axiomatization of tense intuitionistic logic
• Dynamic order algebras as an axiomatization of modal and tense logics
• Commutative integral bounded residuated lattices with an added involution
• Mathematics behind fuzzy logic
• Axioms for tense logic. I: 'Since' and 'until'
• Metamathematics of fuzzy logic
• Tense operators in fuzzy logic
• Some Properties of Residuated Lattices

This page was built for publication: