Poset products as relational models

DOI10.1007/S11225-021-09956-ZOpenAlexW3175327018MaRDI QIDQ2115284FDOQ2115284

Wesley Fussner

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

zbMATH Keywords

many-valued logicsrelational semanticssubstructural logicsresiduated latticesKripke semanticsBL-algebrasposet productsGBL-algebras

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Kripke-style semantics for R-mingle using a binary accessibility relation
• Metamathematics of fuzzy logic
• Algebraic foundations of many-valued reasoning
• Algebraic Analysis of Many Valued Logics
• On the structure of generalized BL-algebras
• Algebraic proof theory for substructural logics: cut-elimination and completions
• Residuated lattices. An algebraic glimpse at substructural logics
• A temporal semantics for basic logic
• Satisfiability in many-valued sentential logic is NP-complete
• Generalized MV-algebras
• THE STRUCTURE OF RESIDUATED LATTICES
• Algebraizable logics
• On the structure of hoops
• Generalizations of Boolean products for lattice-ordered algebras
• An asymptotically tight bound on countermodels for Łukasiewicz logic
• Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
• Embedding theorems for classes of GBL-algebras
• The Blok-Ferreirim theorem for normal GBL-algebras and its application
• On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
• The Quest for the Basic Fuzzy Logic
• Kripke semantics for intuitionistic Łukasiewicz logic
• A note on the substructural hierarchy
• Poset product and BL-chains
• Proof search in Hájek's basic logic
• Categories of models of \(\mathbf{R}\)-mingle
• The subvariety of commutative residuated lattices represented by twist-products
• Conuclear images of substructural logics

Cited In (8)

• Poset Products as Relational Models
• Transfer theorems for finitely subdirectly irreducible algebras
• Interpolation in linear logic and related systems
• A Kripke Semantics for Hajek's BL
• Weak Relational Products
• Semiconic idempotent logic. II: Beth definability and deductive interpolation
• Some modal and temporal translations of generalized basic logic
• Semiconic idempotent logic. I: Structure and local deduction theorems.

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)