Nonstandard theories of quantification and identity

DOI10.2307/2270518zbMath0208.00904OpenAlexW2058091233MaRDI QIDQ5608742

A. Trew

Publication date: 1970

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

Full work available at URL: https://doi.org/10.2307/2270518

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Related Items (2)

The permutation principle in quantificational logic ⋮ Free logics are cut-free

Cites Work

• Incompleteness of a logic of Routley's
• Some things do not exist
• The Completeness of Free Logic
• On Free Description Theory
• On Tarski's formalization of predicate logic with identity

This page was built for publication: Nonstandard theories of quantification and identity