scientific article; zbMATH DE number 4195909

MaRDI QIDQ5202637zbMATH OpenFDO

Authors Andrea Cantini

Publication date 1988

zbMATH Keywords

3- valued logicabstraction principleclassical logicintensional equivalence relationtheory of partial properties and total operationstype-free \(\lambda \) - calculus

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Recommendations

• A theory of properties
• LEVELS OF IMPLICATION AND TYPE FREE THEORIES OF CLASSIFICATIONS WITH APPROXIMATION OPERATOR
• Positive abstraction and extensionality
• scientific article; zbMATH DE number 4039845
• Two Impredicative Theories of Properties and Sets

Cited in

(8)

• On the consistency of consistent conjectures
• A theory of properties
• scientific article; zbMATH DE number 4039845 (Why is no real title available?)
• Two Impredicative Theories of Properties and Sets
• LEVELS OF IMPLICATION AND TYPE FREE THEORIES OF CLASSIFICATIONS WITH APPROXIMATION OPERATOR
• scientific article; zbMATH DE number 2152239 (Why is no real title available?)
• A consistency proof for some restrictions of Tait's reflection principles
• Property theory and the revision theory of definitions

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 Q5202637)