Kompaktnost v neklasických logikách
This work systematically studies the concept of compactness in classical propositional logic as well as various concepts of compactness and their relation to different notions of completeness in the framework of the general theory of consequence relations. It also considers the compactness in variou...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Dissertation |
| Language: | Czech |
| Published: |
2010
|
| Online Access: | http://www.nusl.cz/ntk/nusl-282077 |