On probability of first order formulas in a given model

Jozef Šajda

Kybernetika (1979)

  • Volume: 15, Issue: 4, page (261)-271
  • ISSN: 0023-5954

How to cite

top

Šajda, Jozef. "On probability of first order formulas in a given model." Kybernetika 15.4 (1979): (261)-271. <http://eudml.org/doc/28353>.

@article{Šajda1979,
author = {Šajda, Jozef},
journal = {Kybernetika},
keywords = {semantic information; pragmatic information theory; semantic logic; probability measure for formulas of a first-order language},
language = {eng},
number = {4},
pages = {(261)-271},
publisher = {Institute of Information Theory and Automation AS CR},
title = {On probability of first order formulas in a given model},
url = {http://eudml.org/doc/28353},
volume = {15},
year = {1979},
}

TY - JOUR
AU - Šajda, Jozef
TI - On probability of first order formulas in a given model
JO - Kybernetika
PY - 1979
PB - Institute of Information Theory and Automation AS CR
VL - 15
IS - 4
SP - (261)
EP - 271
LA - eng
KW - semantic information; pragmatic information theory; semantic logic; probability measure for formulas of a first-order language
UR - http://eudml.org/doc/28353
ER -

References

top
  1. R. Carnap, Logical Foundations of Probability, Chicago 1950. (1950) Zbl0040.07001MR0040253
  2. R. Carnap Y. Bar-Hillel, Semantic Information, British Journal for the Philosophy of Science 4 (1953). (1953) MR0058545
  3. R. Carnap Y. Bar-Hillel, An Outline of the Theory of Semantic Information, Research Laboratory of Electronics, Massachusetts Institute of Technology, Report No. 247, 1952. (1952) MR0058545
  4. C. C. Chang H. J. Keisler, Model Theory, North-Holland Publishing Company, Amsterdam-London 1974. (1974) 
  5. J. L. Bell A. B. Slomson, Models and Ultraproducts, North-Holland Publishing Company, Amsterdam -London 1974. (1974) 
  6. L. Rieger, Algebraic Methods of Mathematical Logic, Academic Press, New York-London 1967. (1967) Zbl0218.02001
  7. A. Rényi, Probability Theory, North-Holland Publishing Company, Amsterdam-London 1970. (1970) MR0315747
  8. M. Loève, Probability Theory, D. van Nostrand Company Inc., Princeton-New York-London 1961. (1961) MR0203748

NotesEmbed ?

top

You must be logged in to post comments.