scientific article; zbMATH DE number 1975397

MaRDI QIDQ4424640zbMATH OpenFDO

Authors M. N. Bezhanishvili

Publication date 4 March 2004

zbMATH Keywords

extensions of predicate calculusiteration of implicationpartially defined predicatespropositional fragmentrelational semantics

Mathematics Subject Classification ID

Many-valued logic (03B50) Other nonclassical logic (03B60)

Recommendations

• Publication:4943268
• scientific article; zbMATH DE number 1341476
• Applicative compositions of partial predicates
• Completeness theorems for some intermediate predicate calculi
• Propositional compositions of partial predicates

Cited in

(3)

• Interpolation theorem of Hao Wang's partial predicate calculus
• Hao Wang's contributions to mechanized deduction and to the Entscheidungsproblem
• scientific article; zbMATH DE number 1416050 (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 Q4424640)