John Myhill. A finitary metalanguage for extended basic logic. The journal of symbolic logic, vol. 17 (1952), pp. 164–178.

1955 ◽  
Vol 20 (1) ◽  
pp. 81-81
Author(s):  
Burton Dreben
Keyword(s):  
Symbolic Logic ◽  
Basic Logic

An extensional variety of extended basic logic

1958 ◽  
Vol 23 (1) ◽  
pp. 13-21 ◽  
Author(s):  
Frederic B. Fitch
Keyword(s):  
Mathematical Analysis ◽  
Symbolic Logic ◽  
Basic Logic ◽  
Natural Numbers ◽  
Strong Principle ◽  
Theory Of Numbers

The system K′ of “extended basic logic” lacks a principle of extensionality. In this paper a system KE′ will be presented which is like K′ in many respects but which does possess a fairly strong principle of extensionality by way of rule 6.37 below. It will be shown that KE′ is free from contradiction. KE′ is especially well suited for formalizing the theory of numbers presented in my paper, On natural numbers, integers, and rationals. The methods used there can be applied even more directly here because of the freedom of KE′ from type restrictions, but the details of such a derivation of a portion of mathematics will not be presented in this paper. It is evident, moreover, that KE′ contains at least as much of mathematical analysis as does K′, and perhaps considerably more. The method of carrying out proofs in KE′ is closely similar to that used in my book Symbolic logic, and could be expressed in similar notation.

Frederic B. Fitch. A basic logic. The journal of symbolic logic, vol. 7 (1942), pp. 105–114. See erratum, ibid., p. iv.

1943 ◽  
Vol 8 (1) ◽  
pp. 30-30
Author(s):  
George D. W. Berry
Keyword(s):  
Symbolic Logic ◽  
Basic Logic

2004 Spring Meeting of the Association for Symbolic Logic

2004 ◽  
Vol 10 (3) ◽  
pp. 438-446
Author(s):  
Michael Kremer
Keyword(s):  
Symbolic Logic ◽  
Spring Meeting

Association for Symbolic Logic

2008 ◽  
Vol 14 (4) ◽  
pp. 553-558
Keyword(s):  
Symbolic Logic

European Summer Meeting of the Association for Symbolic Logic, Helsinki, 1990

1991 ◽  
Vol 56 (3) ◽  
pp. 1115-1150
Keyword(s):  
Symbolic Logic
Sign in / Sign up

Export Citation Format

Share Document