Provability in predicate product logic

DOI10.1007/S00153-007-0036-4MaRDI QIDQ884950zbMATH OpenOpenAlexFDO

Authors Shirin Malekpour, M. C. 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

BL-logicpredicate product logicprovability

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Review text

The paper extends the theory of BL-logics introduced by \textit{P. Hájek} in 1998, exploiting the connection of the cancellative conjunctions on BL-algebras with ordered abelian groups. Then a sentence is provable if and only if it is a tautology (completeness). Moreover, closed models and the lexicographic sums are discussed and the completeness of BL-chains which are initially dense (or which are not initially dense) is studied.

Recommendations

• The predicate modal logic of provability
• scientific article; zbMATH DE number 4079379
• Predicate provability logic with non-modalized quantifiers
• scientific article; zbMATH DE number 3935005
• scientific article; zbMATH DE number 1114356
• Provability logic and the completeness principle
• Provability multilattice logic
• Biological Perspectives Irreversible Lithium-Induced Neuropathy: Two Cases
• Provability logics with quantifiers on proofs
• Provability and modal logic

Cites work

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

Cited in

(17)

• Predicate provability logic with non-modalized quantifiers
• On the lattice of deductive systems of a BL-algebra
• Embedding logics into product logic
• On the relationship between fuzzy description logics and many-valued modal logics
• Analytic calculi for product logics
• On elementary equivalence in fuzzy predicate logics
• scientific article; zbMATH DE number 1670501 (Why is no real title available?)
• Proof-irrelevant model of CC with predicative induction and judgmental equality
• On witnessed models in fuzzy logic
• A note on the first‐order logic of complete BL‐chains
• scientific article; zbMATH DE number 4079379 (Why is no real title available?)
• Proof search in Hájek's basic logic
• On Product Logic with Truth-constants
• 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 local modal product logic: standard completeness and decidability

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q884950)