Free Logic, Description, and Virtual Classes

DOI10.1017/S001221730000932XMaRDI QIDQ4252868zbMATH OpenFDO

Authors W. V. Quine

Publication date 22 June 1999

Published in Dialogue (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S001221730000932X

zbMATH Keywords

axiom of extensionalityexistence axiom for ordered pairsfree logicPeano's class-membershipquantification theoryset theoryvirtual classes

Mathematics Subject Classification ID

Classical first-order logic (03B10) Nonclassical and second-order set theories (03E70)

Recommendations

• scientific article; zbMATH DE number 1749197
• Free logics: a survey
• scientific article; zbMATH DE number 1867299
• Denotation and description in free logic*

Cited in

(1)

• Free logics: a survey

This page was built for publication: Free Logic, Description, and Virtual Classes

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