Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic

DOI10.1007/978-3-540-92701-3_12MaRDI QIDQ3601808zbMATH OpenOpenAlexFDO

Authors Yoshihiro Maruyama

Publication date 12 February 2009

Published in Logic and Its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-92701-3_12

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Other algebras related to logic (03G25)

Recommendations

• A Duality for Algebras of Lattice-Valued Modal Logic
• Lattice-valued modal propositional logic and its completeness
• Categorical study for algebras of Fitting's lattice-valued logic and lattice-valued modal logic
• Lattice-valued modal propositional logic based on M-lattice implication algebras
• Representation theorems for lattice-ordered modal algebras and their axiomatic extensions

Cites work

• A Catalog ofWeak Many-Valued Modal Axioms and their Corresponding Frame Classes
• A Sahlqvist theorem for distributive modal logic
• Bounded distributive lattice expansions
• Bounded lattice expansions
• Canonicity and completeness results for many-valued modal logics
• Frame constructions, truth invariance and validity preservation in many-valued modal logic
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 35414 (Why is no real title available?)
• scientific article; zbMATH DE number 97789 (Why is no real title available?)
• scientific article; zbMATH DE number 1226180 (Why is no real title available?)
• scientific article; zbMATH DE number 1836056 (Why is no real title available?)
• Modal logic
• Tableaus for many-valued modal logic
• The Lattice Theory of Post Algebras

Cited in

(19)

• Categorical study for algebras of Fitting's lattice-valued logic and lattice-valued modal logic
• An algebraic study of the logic \textbf{S5'(BL)}
• -paramodulation method for a lattice-valued logic L_nF(X) with equality
• Bitopological duality for algebras of Fitting's logic and natural duality extension
• Lattice-valued modal propositional logic based on M-lattice implication algebras
• Modular forms of systems of k-valued functions of the algebra of logic
• Representation theorems for lattice-ordered modal algebras and their axiomatic extensions
• Modal \(R_0\)-algebra-valued modal logic system \(\mathrm M\mathcal{L}^\ast\)
• On an algebra of lattice-valued logic
• A characterization of first-order lattice-valued logic with the lattice being finite, complemented and having a strong character formula
• A Duality for Algebras of Lattice-Valued Modal Logic
• Algebraic polymodal logic: a survey
• Algebraic semantics for quasi-classical modal logics
• Lattice-valued modal propositional logic and its completeness
• scientific article; zbMATH DE number 5046779 (Why is no real title available?)
• Algebraic semantics for one-variable lattice-valued logics
• Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\)
• Many-valued coalgebraic logic over semi-primal varieties
• Fuzzy topology and Łukasiewicz logics from the viewpoint of duality theory

This page was built for publication: Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic

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