Algebras and relational frames for Gödel modal logic and some of its extensions
From MaRDI portal
Publication:6623950
Cites work
- scientific article; zbMATH DE number 3950488 (Why is no real title available?)
- scientific article; zbMATH DE number 2042611 (Why is no real title available?)
- scientific article; zbMATH DE number 1791673 (Why is no real title available?)
- scientific article; zbMATH DE number 194916 (Why is no real title available?)
- scientific article; zbMATH DE number 1418447 (Why is no real title available?)
- scientific article; zbMATH DE number 1431908 (Why is no real title available?)
- scientific article; zbMATH DE number 6276274 (Why is no real title available?)
- scientific article; zbMATH DE number 5241983 (Why is no real title available?)
- A finite model property for Gödel modal logics
- A representation theorem for finite Gödel algebras with operators
- Algebraic semantics and model completeness for intuitionistic public announcement logic
- Algebraic semantics for modal logics I
- Axiomatization of crisp Gödel modal logic
- Bi-modal Gödel logic over \([0,1]\)-valued Kripke frames
- Boolean Algebras with Operators. Part I
- Constructive logic with strong negation as a substructural logic
- Distributive lattices with an operator
- Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. I
- Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. II
- Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops
- Finite IUML-algebras, Finite Forests and Orthopairs
- Handbook of mathematical fuzzy logic. Volume 1
- Heyting algebras with operators
- Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
- Logic with truth values in A linearly ordered heyting algebra
- Metamathematics of fuzzy logic
- Modal logic
- Models for normal intuitionistic modal logics
- Models for stronger normal intuitionistic modal logics
- Notes on the representation of distributive modal algebras
- On some intuitionistic modal logics
- On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
- Positive modal logic
- Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
- Residuated lattices. An algebraic glimpse at substructural logics
- Simple and subdirectly irreducibles bounded distributive lattices with unary operators
- Varieties of complex algebras
This page was built for publication: Algebras and relational frames for Gödel modal logic and some of its extensions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6623950)
