Residuated Structures in Algebra and Logic
From MaRDI portal
Recommendations
- Residuated lattices. An algebraic glimpse at substructural logics
- Prelinear residuated lattices and logic algebras
- Residuated Kleene algebras
- Residuated Algebraic Structures in the Vicinity of Pre-rough Algebra and Decidability
- scientific article; zbMATH DE number 67021
- Algebraically closed structures in positive logic
- scientific article; zbMATH DE number 5569963
- Algebraizable logics
- scientific article; zbMATH DE number 1512768
- Relation algebras as residuated Boolean algebras
Cited in
(20)- Interpolation in Hájek's basic logic
- Residuated frames with applications to decidability
- Equational theories of idempotent semifields
- Semiorthomodular BZ^-lattices
- Deciding Equations in the Time Warp Algebra
- Editorial introduction
- Considerations on Everett J. Nelson's connexive logic
- Weakening relations over duals of limit ordinals
- Transfer theorems for finitely subdirectly irreducible algebras
- Proof-theoretic analysis of subabelian lattice logic
- Towards a quantum logic of paradox
- Orthomodular and unsharp orthomodular lattices: a categorical equivalence
- Amalgamation in semilinear residuated lattices
- scientific article; zbMATH DE number 1354940 (Why is no real title available?)
- One-variable fragments of first-order logics
- Ordering groups and the identity problem
- On the geometry of associativity.
- scientific article; zbMATH DE number 5569963 (Why is no real title available?)
- Distributive residuated frames and generalized bunched implication algebras
- Pointed lattice subreducts of varieties of residuated lattices
This page was built for publication: Residuated Structures in Algebra and Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6059121)
