The permutation principle in quantificational logic

DOI10.1007/BF02329199MaRDI QIDQ595642zbMATH OpenOpenAlexFDO

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

• Existential import revisited
• scientific article; zbMATH DE number 3212004 (Why is no real title available?)
• 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

(6)

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

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)