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.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.