The permutation principle in quantificational logic

DOI10.1007/BF02329199zbMATH Open0527.03007OpenAlexW2037328204MaRDI QIDQ595642FDOQ595642

Authors: 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)

Cites Work

• Title not available (Why is that?)
• 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

Cited In (5)

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

This page was built for publication: The permutation principle in quantificational logic

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