Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Логика \ Учебники и монографии по математической логике \ A Formal Ontology of Situations (B. Wolnievich, 1982) \ Elementary Situations \

9.6.2.8.5.1.3. W - Independence

Начало см. здесь.
Wolnievich B.
A Formal Ontology of Situations.
Studia Logica, vol. 41, no. 4 (1982), pp. 388 — 390.
Аксиомы 1.8 — 1.10 см. здесь.
К началу данной страницы
Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Логика \ Учебники и монографии по математической логике \ A Formal Ontology of Situations (B. Wolnievich, 1982) \ Elementary Situations \