Intuicionistická logika jako užitečný nástroj
This work deals with intuitionistic logic and completness of Gentzen calculus with respect to its semantics. The completness proof uses saturated sequents. The language considered is at most countable. Furthermore, our work investigates one of the generalizations of intuitionistic logic, namely intu...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Dissertation |
| Language: | Czech |
| Published: |
2010
|
| Online Access: | http://www.nusl.cz/ntk/nusl-298789 |