Ruth C. Barcan. The deduction theorem in a functional calculus of first order based on strict implication. The journal of symbolic logic, vol. 11 (1946), pp. 115–118.

1947 ◽  
Vol 12 (3) ◽  
pp. 95-95
Author(s):  
W. V. Quine
Keyword(s):  
Functional Calculus ◽  
Symbolic Logic ◽  
Deduction Theorem ◽  
Strict Implication ◽  
First Order

The deduction theorem in a functional calculus of first order based on strict implication

1946 ◽  
Vol 11 (4) ◽  
pp. 115-118 ◽  
Author(s):  
Ruth C. Barcan
Keyword(s):  
Functional Calculus ◽  
Symbolic Logic ◽  
Deduction Theorem ◽  
Strict Implication ◽  
First Order ◽  
Fundamental Theorems

In a previous paper, a functional calculus based on strict implication was developed. That system will be referred to as S2. The system resulting from the addition of Becker's axiom will be referred to as S4. In the present paper we will shw that a restricted deduction theorem is provable in S4 or more precisely in a system equivalent to S4. We will also show that such a deduction theorem is not provable in S2.The following theorems not derived in Symbolic logic will be required for the fundamental theorems XXVIII* and XXIX* of this paper. We will state most of them without proofs.

The identity of individuals in a strict functional calculus of second order

1947 ◽  
Vol 12 (1) ◽  
pp. 12-15 ◽  
Author(s):  
Ruth C. Barcan
Keyword(s):  
Functional Calculus ◽  
Second Order ◽  
Blank Space ◽  
Strict Implication ◽  
First Order

In previous papers we developed two functional calculi of first order based on strict implication which we called S2 and S4. In the present paper, these systems will be extended to include a functional calculus of second order with the purpose of introducing the relation of identity of individuals.Primitive symbols. ̂ {the abstraction operator, the blank space to be replaced by an appropriate variable}.

A Functional calculus of first order based on strict implication

1946 ◽  
Vol 11 (1) ◽  
pp. 1-16 ◽  
Author(s):  
Ruth C. Barcan
Keyword(s):  
Functional Calculus ◽  
Strict Implication ◽  
First Order

The following system is an extension of the Lewis calculus S2 to include quantification.

On Theses of the First-Order Functional Calculus

1961 ◽  
Vol 7 (11-14) ◽  
pp. 175-184
Author(s):  
Juliusz Reichbach
Keyword(s):  
Functional Calculus ◽  
First Order
Sign in / Sign up

Export Citation Format

Share Document