Poset products as relational models
From MaRDI portal
Publication:2115284
DOI10.1007/s11225-021-09956-zOpenAlexW3175327018MaRDI QIDQ2115284
Publication date: 15 March 2022
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2012.01247
relational semanticsKripke semanticssubstructural logicsmany-valued logicsresiduated latticesBL-algebrasposet productsGBL-algebras
Related Items (3)
Transfer theorems for finitely subdirectly irreducible algebras ⋮ A Kripke Semantics for Hajek's BL ⋮ Some modal and temporal translations of generalized basic logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Algebraic proof theory for substructural logics: cut-elimination and completions
- On the structure of generalized BL-algebras
- Residuated lattices. An algebraic glimpse at substructural logics
- Embedding theorems for classes of GBL-algebras
- Generalizations of Boolean products for lattice-ordered algebras
- A temporal semantics for basic logic
- Satisfiability in many-valued sentential logic is NP-complete
- A Kripke-style semantics for R-mingle using a binary accessibility relation
- Metamathematics of fuzzy logic
- Generalized MV-algebras
- Poset product and BL-chains
- Algebraic foundations of many-valued reasoning
- On the structure of hoops
- Kripke semantics for intuitionistic Łukasiewicz logic
- Categories of models of \(\mathbf{R}\)-mingle
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
- The subvariety of commutative residuated lattices represented by twist-products
- An asymptotically tight bound on countermodels for Łukasiewicz logic
- The Blok-Ferreirim theorem for normal GBL-algebras and its application
- A note on the substructural hierarchy
- Conuclear images of substructural logics
- The Quest for the Basic Fuzzy Logic
- THE STRUCTURE OF RESIDUATED LATTICES
- Algebraic Analysis of Many Valued Logics
- On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
- Algebraizable logics
- Proof search in Hájek's basic logic
This page was built for publication: Poset products as relational models
