Article contents
On Meyer and Lambert's quantificational calculus FQ
Published online by Cambridge University Press: 12 March 2014
Extract
The semantical account that Meyer and Lambert give in [7] of their quantificational calculus FQ can be considerably simplified, and—supposing as the authors do at the close of their paper that ‘ = ’ counts as a primitive sign—so can their axiom system for FQ.
(1) As the authors remark, axiom schema 102 can be simplified to read : A ⊃ (∀Χ)A, where Χ does not occur free in A. Following Tarski's [9], it can be further simplified: A ⊃ (∀Χ)A, where Χ does not occur in A.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1968
References
- 4
- Cited by