The best possible unification for any collection of physical theories (Q1774707)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 2168651
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | The best possible unification for any collection of physical theories |
scientific article; zbMATH DE number 2168651 |
Statements
The best possible unification for any collection of physical theories (English)
0 references
18 May 2005
0 references
Around 1935, \textit{A.~Tarski} [see: Logic, semantics, meta-mathematics. Papers from 1923 to 1938. Oxford: Clarendon Press; London: G. Cumberlege (1956; Zbl 0075.00702), pp. 60--109] introduced consequence operators for modeling human thought. This paper deals, and continues the author's work [see, e.g., ibid. 28, 93--102 (2001; Zbl 1008.03040)], with the so-called finitary consequence operators. The main result states that the set of all finitary consequence operators defined on a non-empty language is a join-complete lattice.
0 references
finitary consequence operators
0 references
join-complete lattice
0 references
0.804242730140686
0 references
0.804242730140686
0 references
0.7064326405525208
0 references
0.69809889793396
0 references
