The permutation principle in quantificational logic

DOI10.1007/BF02329199zbMath0527.03007OpenAlexW2037328204MaRDI QIDQ595642

Kit Fine

Publication date: 1983

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

Full work available at URL: https://doi.org/10.1007/bf02329199

zbMATH Keywords

independence results

Mathematics Subject Classification ID

General logic (03B99)

Related Items

Non-classical metatheory for non-classical logics, On a derivation of the necessity of identity, Axiomatizing relativistic dynamics using formal thought experiments, Jaśkowski's universally free logic, Commutativity of Quantifiers in Varying-Domain Kripke Models

Cites Work

• Unnamed Item
• Existential import revisited
• Nonstandard theories of quantification and identity
• On Prefacing (⊇ X) A ⊃ A (Y/X) WITH (⊇ Y) — A Free Quantification Theory Without Identity
• On Quine's axioms of quantification