scientific article; zbMATH DE number 5649339

MaRDI QIDQ3652172zbMATH OpenFDO

Authors

Publication date 17 December 2009

zbMATH Keywords

completenessprobabilistic quantifiers

Mathematics Subject Classification ID

Probability and inductive logic (03B48)

Recommendations

• scientific article; zbMATH DE number 5208767
• scientific article; zbMATH DE number 4120159
• The completeness of the formal deductive system \(\mathcal{L}^*(n)\)
• Typed Lambda Calculi and Applications
• Two proofs of the algebraic completeness theorem for multilattice logic
• Publication:4724626
• A completeness theorem for higher order logics
• On relative completeness of Hoare logics
• Structural completeness in many-valued logics with rational constants
• scientific article; zbMATH DE number 4035828

Cited in

(2)

• Probability logics with vector-valued measures
• scientific article; zbMATH DE number 5208767 (Why is no real title available?)

This page was built for publication:

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