Zastosuj identyfikator do podlinkowania lub zacytowania tej pozycji:
http://hdl.handle.net/20.500.12128/9418| Tytuł: | Monadic fragments of intuitionistic control logic |
| Autor: | Glenszczyk, Anna |
| Słowa kluczowe: | Intuitionistic Control Logic; Intuitionistic Logic; Combining logic; Control Operators |
| Data wydania: | 2016 |
| Źródło: | Bulletin of the Section of Logic, Vol. 45, iss. 3/4 (2016), pp. 143-153 |
| Abstrakt: | 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 |
| Pojawia się w kolekcji: | Artykuły (WNŚiT) |
Pliki tej pozycji:
| Plik | Opis | Rozmiar | Format | |
|---|---|---|---|---|
| Glenszczyk_Monadic_fragments_of_intuitionistic_control_logic.pdf | 831,46 kB | Adobe PDF | Przejrzyj / Otwórz |
Uznanie autorstwa - użycie niekomercyjne, bez utworów zależnych 3.0 Polska Creative Commons
