A ''definitive'' probabilistic semantics for first-order logic (Q1835912)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A definitive probabilistic semantics for first-order logic |
scientific article; zbMATH DE number 3795925
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A ''definitive'' probabilistic semantics for first-order logic |
scientific article; zbMATH DE number 3795925 |
Statements
A ''definitive'' probabilistic semantics for first-order logic (English)
0 references
1982
0 references
admissibility conditions
0 references
classical logic
0 references
determinable
0 references
probability functions
0 references
probabilistic semantics
0 references
logical operator
0 references
separation property
0 references
