Presentation of Natural Deduction
R. P. Nederpelt (1977)
Zbornik Radova
Similarity:
R. P. Nederpelt (1977)
Zbornik Radova
Similarity:
P. C. Gilmore (1968)
Compositio Mathematica
Similarity:
Leon Henkin (1963)
Fundamenta Mathematicae
Similarity:
Philippe de Rouilhan (1996)
Philosophia Scientiae
Similarity:
P. C. Gilmore (1956-1958)
Compositio Mathematica
Similarity:
Eugenio Giovanni Omodeo (1976)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Paolo Bouquet, Enrico Giunchiglia, Fausto Giunchiglia (1996)
Mathware and Soft Computing
Similarity:
It has been recognized that AI programs suffer from a lack of generality, the first gross symptom being that a small variation to the problem being solved usually causes a major revision of the theory describing it. The lack of generality seems an unavoidable consequence of the process of approximating the world while building theories about it. In this paper we propose an approach where generality is achieved by formulating, for each problem at hand, an appropriate local theory, a theory...
Andrzej Mostowski (1950)
Fundamenta Mathematicae
Similarity: