Author:
de Jongh Dick H. J.,Montagna Franco
Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference19 articles.
1. Semiotics and Information Science no. 14;S. N. Artyomov,1980
2. C. Bernardi, The fixed point theorem for diagonizable algebras, Studia Logica 34 (1975), pp. 239?251.
3. C. Bernardi, The uniqueness of the fixed point in every diagonizable algebra, Studia Logica 35 (1976), pp. 335?343.
4. C. Bernardi and M. Mirolli, The hyperdiagonizable algebras, to appear in Algebra Universalis.
5. C. Bernardi, and F. Montagna, Equivalence relations induced by extensional formulae: Classification by means of a new fixed point property, Fundamenta Mathematicae 124 (1984), pp. 221?233.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A small reflection principle for bounded arithmetic;Journal of Symbolic Logic;1994-09
2. On Rosser's Provability Predicate;Zeitschrift für Mathematische Logik und Grundlagen der Mathematik;1991
3. Much Shorter Proofs;Zeitschrift für Mathematische Logik und Grundlagen der Mathematik;1989
4. A simplification of a completeness proof of Guaspari and Solovay;Studia Logica;1987-06