Poset products as relational models
From MaRDI portal
Publication:2115284
Recommendations
- Canonical extensions and relational completeness of some substructural logics
- Relational proof system for linear and other substructural logics
- scientific article; zbMATH DE number 7644094
- A relational semantics for the logic of bounded lattices
- Coalgebraic completeness-via-canonicity for distributive substructural logics
Cites work
- scientific article; zbMATH DE number 1003731 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 3496100 (Why is no real title available?)
- scientific article; zbMATH DE number 6276270 (Why is no real title available?)
- A Kripke-style semantics for R-mingle using a binary accessibility relation
- A note on the substructural hierarchy
- A survey of generalized Basic Logic algebras
- A temporal semantics for basic logic
- Algebraic Analysis of Many Valued Logics
- Algebraic foundations of many-valued reasoning
- Algebraic proof theory for substructural logics: cut-elimination and completions
- Algebraizable logics
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
- An asymptotically tight bound on countermodels for Łukasiewicz logic
- Categories of models of \(\mathbf{R}\)-mingle
- Conuclear images of substructural logics
- Embedding theorems for classes of GBL-algebras
- Generalizations of Boolean products for lattice-ordered algebras
- Generalized MV-algebras
- Kripke semantics for intuitionistic Łukasiewicz logic
- Metamathematics of fuzzy logic
- On the structure of generalized BL-algebras
- On the structure of hoops
- On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
- Poset product and BL-chains
- Proof search in Hájek's basic logic
- Residuated lattices. An algebraic glimpse at substructural logics
- Satisfiability in many-valued sentential logic is NP-complete
- THE STRUCTURE OF RESIDUATED LATTICES
- The Blok-Ferreirim theorem for normal GBL-algebras and its application
- The quest for the basic fuzzy logic
- The subvariety of commutative residuated lattices represented by twist-products
Cited in
(8)- Transfer theorems for finitely subdirectly irreducible algebras
- Poset Products as Relational Models
- Semiconic idempotent logic. II: Beth definability and deductive interpolation
- Interpolation in linear logic and related systems
- Semiconic idempotent logic. I: Structure and local deduction theorems.
- A Kripke Semantics for Hajek's BL
- Weak Relational Products
- Some modal and temporal translations of generalized basic logic
This page was built for publication: Poset products as relational models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2115284)
