Tense operators on non-commutative residuated lattices

DOI10.1007/s00500-016-2191-1zbMath1396.03024OpenAlexW2403403673MaRDI QIDQ1701919

Mahmood Bakhshi

Publication date: 27 February 2018

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00500-016-2191-1

zbMATH Keywords

tense logictense operatorDedekind-MacNeill completionnon-commutative residuated latticetense MV-algebra

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Other algebras related to logic (03G25) MV-algebras (06D35) Temporal logic (03B44)

Related Items (3)

Modal operators on pseudo-BE algebras ⋮ An algebraic study of tense operators on Nelson algebras ⋮ A categorical equivalence for tense Nelson algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Tense operators on basic algebras
• Generalized fuzzy filters in non-commutative residuated lattices.
• Residuated lattices. An algebraic glimpse at substructural logics
• Mathematics behind fuzzy logic
• Metamathematics of fuzzy logic
• Boolean filters and positive implicative filters of residuated lattices
• Some types of filters in BL algebras
• Dynamic effect algebras
• THE STRUCTURE OF RESIDUATED LATTICES
• Algebraizable logics
• On Fuzzy Logic II. Enriched residuated lattices and semantics of propositional calculi
• The finite model property for various fragments of intuitionistic linear logic
• Residuated Lattices
• Non-Commutative Residuated Lattices

This page was built for publication: Tense operators on non-commutative residuated lattices