COORDINATE-FREE LOGIC

DOI10.1017/S1755020316000174zbMath1414.03004MaRDI QIDQ5737953

No author found.

Publication date: 31 May 2017

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

relationZermelo-Fraenkel set theorysubstitutionuniversally free logicrelational complexantipositionalismcoordinate-free foundationcoordinate-free logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Axiomatics of classical set theory and its fragments (03E30) Abstract deductive systems (03B22)

Related Items (1)

Explaining the differential application of non-symmetric relations

Cites Work

• Modeling relations
• Undecidable theories
• Unnamed Item
• Unnamed Item

This page was built for publication: COORDINATE-FREE LOGIC