Duality via truth for some fuzzy modal logic

DOI10.1007/978-3-030-38565-1_11MaRDI QIDQ6547667zbMATH OpenFDO

Authors Anna Maria Radzikowska, E. E. Kerre

Publication date 30 May 2024

Full work available at URL https://doi.org/10.1007/978-3-030-38565-1_11

zbMATH Keywords

algebraic semanticsduality theoryfuzzy logicmodal logicMTL logicrelational semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Fuzzy logic; logic of vagueness (03B52)

Recommendations

• Duality via truth for information algebras based on De Morgan lattices
• Relational Methods in Computer Science
• Dualities for structures of applied logics
• scientific article; zbMATH DE number 5896245
• A Duality for Algebras of Lattice-Valued Modal Logic

Cites work

• A comparative study of fuzzy rough sets
• A topological representation theory for lattices
• Algebras for Galois-style connections and their discrete duality
• An algebraic axiomatization of the Ewald's intuitionistic tense logic
• Boolean Algebras with Operators
• Boolean Algebras with Operators. Part I
• Characterisation of main classes of fuzzy relations using fuzzy modal operators
• Discrete duality for tense Łukasiewicz-Moisil algebras
• Dual tableaux. Foundations, methodology, case studies
• Dualities for structures of applied logics
• Duality via truth for information algebras based on De Morgan lattices
• Duality via Truth: Semantic frameworks for lattice-based logics
• Fuzzy Information Relations and Operators: An Algebraic Approach Based on Residuated Lattices
• scientific article; zbMATH DE number 5896245 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3501559 (Why is no real title available?)
• scientific article; zbMATH DE number 5241983 (Why is no real title available?)
• scientific article; zbMATH DE number 3417441 (Why is no real title available?)
• Knowledge algebras and their discrete duality
• Kripke models for linear logic
• Lattice-Based Relation Algebras II
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Ordered Topological Spaces and the Representation of Distributive Lattices
• Pretabular extensions of Lewis S4
• Relational Methods in Computer Science
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Representation theorems for some fuzzy logics based on residuated non-distributive lattices
• THE STRUCTURE OF RESIDUATED LATTICES
• The Theory of Representation for Boolean Algebras
• Transactions on Rough Sets II

This page was built for publication: Duality via truth for some fuzzy modal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6547667)