A note on identity and higher order quantification

MaRDI QIDQ3466591zbMATH OpenFDO

Authors Rafal Urbaniak

Publication date 1 February 2016

Full work available at URL http://ojs.victoria.ac.nz/ajl/article/view/1807/1658

zbMATH Keywords

higher order quantificationLeśniewski's ontology

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Recommendations

• Identity and indiscernibility
• Identity, equality, nameability and completeness
• scientific article; zbMATH DE number 3323813
• On the definability of Leśniewski's copula `is' in some ontology-like theories
• First- and second-order logic of mass terms

Cited in

(3)

• An axiomatisation of a pure calculus of names
• ON IDEMPOTENT ULTRAFILTERS IN HIGHER-ORDER REVERSE MATHEMATICS
• scientific article; zbMATH DE number 3292836 (Why is no real title available?)

This page was built for publication: A note on identity and higher order quantification

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