Please use this identifier to cite or link to this item:
http://hdl.handle.net/20.500.12128/9418| Title: | Monadic fragments of intuitionistic control logic |
| Authors: | Glenszczyk, Anna |
| Keywords: | Intuitionistic Control Logic; Intuitionistic Logic; Combining logic; Control Operators |
| Issue Date: | 2016 |
| Citation: | Bulletin of the Section of Logic, Vol. 45, iss. 3/4 (2016), pp. 143-153 |
| Abstract: | We investigate monadic fragments of Intuitionistic Control Logic (ICL), which is obtained from Intuitionistic Propositional Logic (IPL) by extending language of IPL by a constant distinct from intuitionistic constants. In particular we present the complete description of purely negational fragment and show that most of monadic fragments are nite. |
| URI: | http://hdl.handle.net/20.500.12128/9418 |
| DOI: | 10.18778/0138-0680.45.3.4.01 |
| ISSN: | 0138-0680 2449-836X |
| Appears in Collections: | Artykuły (WNŚiT) |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Glenszczyk_Monadic_fragments_of_intuitionistic_control_logic.pdf | 831,46 kB | Adobe PDF | View/Open |
Uznanie autorstwa - użycie niekomercyjne, bez utworów zależnych 3.0 Polska Creative Commons License
