Statistical approach to proof theory
Ivan Kramosil (1979)
Kybernetika
Similarity:
Displaying similar documents to “A note on nonaxiomatizability of independence relations generated by certain probabilistic structures”
Statistical approach to proof theory
Arithmetization of metamathematics in a general setting
S. Feferman (1960)
Fundamenta Mathematicae
Similarity:
On definable sets of positive integers
Andrzej Mostowski (1947)
Fundamenta Mathematicae
Similarity:
Fixed points and self-reference.
Smullyan, Raymond M. (1984)
International Journal of Mathematics and Mathematical Sciences
Similarity:
Consistency statements in formal theories
R. Jeroslow (1971)
Fundamenta Mathematicae
Similarity:
States of affairs as values for formulas
Miroslav Mleziva (1975)
Kybernetika
Similarity:
A First-Order Conditional Probability Logic With Iterations
Miloš Milošević, Zoran Ognjanović (2013)
Publications de l'Institut Mathématique
Similarity: