Abstract
An axiomatic system is investigated under the condition that some of its axioms are not valid with the probability one. The probability of the validity of axioms influences the probability of validity of conclusions derived from them. The notion of reliability of an axiomatic system is introduced and in the case of the so called Gentzen-like calculi an explicit estimation of this reliability is given.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
R. T. C. Lee: Fuzzy Logic and the Resolution Principle. Journal of the Association for Computing Machinery 19 (1972), 1, 109–119.
I. Kramosil: Random Axiomatic Systems. Research Report no. 519, Institute of Information Theory and Automation, 1973.
I. Kramosil: A Method for Random Sampling of Well-Formed Formulas. Kybernetika 8 (1972), 2, 135–148.
H. B. Curry: Foundations of Mathematical Logic. Mc Graw-Hill Book Cоmр., New York— San Francisco—Toronto—London 1963.
W. Feller: An Introduction to Probability Theory and its Applications I. John Wiley and Sons, New York—London—Sydney 1950.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1977 ACADEMIA, Publishing House of the Czechoslovak Academy of Science, Prague
About this chapter
Cite this chapter
Kramosil, I. (1977). Gentzen-Like Random Axiomatic Systems. In: Kožešnik, J. (eds) Transactions of the Seventh Prague Conference on Information Theory, Statistical Decision Functions, Random Processes and of the 1974 European Meeting of Statisticians. Transactions of the Seventh Prague Conference on Information Theory, Statistical Decision Functions, Random Processes and of the 1974 European Meeting of Statisticians, vol 7A. Springer, Dordrecht. https://doi.org/10.1007/978-94-010-9910-3_35
Download citation
DOI: https://doi.org/10.1007/978-94-010-9910-3_35
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-9912-7
Online ISBN: 978-94-010-9910-3
eBook Packages: Springer Book Archive