Provability in predicate product logic

DOI10.1007/s00153-007-0036-4zbMath1121.03035OpenAlexW1993301779MaRDI QIDQ884950

Shirin Malekpour, Michael Chris Laskowski

Publication date: 7 June 2007

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-007-0036-4

zbMATH Keywords

provabilityBL-logicpredicate product logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Related Items (6)

On elementary equivalence in fuzzy predicate logics ⋮ On decidability of concept satisfiability in description logic with product semantics ⋮ Completeness with respect to a chain and universal models in fuzzy logic ⋮ Strict core fuzzy logics and quasi-witnessed models ⋮ On the relationship between fuzzy description logics and many-valued modal logics ⋮ On witnessed models in fuzzy logic

Cites Work

• Metamathematics of fuzzy logic
• A classification of BL-algebras
• Making fuzzy description logic more general
• Generalized ordinal sums and the decidability of BL-chains
• Note on Hahn's Theorem on Ordered Abelian Groups
• Three complexity problems in quantified fuzzy logic

This page was built for publication: Provability in predicate product logic