On Theses of the First-Order Functional Calculus
โ Scribed by Juliusz Reichbach
- Publisher
- John Wiley and Sons
- Year
- 1961
- Tongue
- English
- Weight
- 492 KB
- Volume
- 7
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
โฆ Synopsis
ON THESES OF THE FIRST-ORDER FUNCTIONAL CALCULUS by JULIUSZ REICIII%ACII. in Tcl Aviv, Tsra,cl Wo shall prcsciit two chnractcrizations of tlicses of tho first-order f u~ictional calculus and some rcmarlis of this lrincl.
The possibility of thc first-cliaracterizat,ioll wc havc nicntioncd in papers [ 6 ] ,
[7] and [S] without, R wliolc clcscription, and thcrcfore also-without a proof. The second characlcrization we havc givcn in [7] and [S], but we shall also dcscribo it, becausc one sliows nnotlicr way of obtaining such tlicorcms; we sliall giro soinc modyfication of [7], [S].
We shall use tlic tcrmiiiology of [li], [7], IS] and in particular:
(01) variablcs : (1 ") individual: x, , x2, . . . (or simply x),
๐ SIMILAR VOLUMES
1. The problem of structural conipleteness of a logical system is formulated as the qiicstion about derivability in this system of all permissible and structural rules (cf. [lo]).