scientific article; zbMATH DE number 1746568

MaRDI QIDQ4530737zbMATH OpenFDO

Authors K. F. Samokhvalov

Publication date 28 May 2002

zbMATH Keywords

first-order calculusontological characterization

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• Subject-predicate calculus free from existential import
• Existence predicates
• scientific article; zbMATH DE number 5722370
• Quantifiers defined by parametric extensions
• scientific article; zbMATH DE number 3952716

Cited in

(1)

• scientific article; zbMATH DE number 3952716 (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 Q4530737)