DC pole | Wartość | Język |
dc.contributor.author | Glenszczyk, Anna | - |
dc.date.accessioned | 2019-06-10T09:55:53Z | - |
dc.date.available | 2019-06-10T09:55:53Z | - |
dc.date.issued | 2016 | - |
dc.identifier.citation | Bulletin of the Section of Logic, Vol. 45, iss. 3/4 (2016), pp. 143-153 | pl_PL |
dc.identifier.issn | 0138-0680 | - |
dc.identifier.issn | 2449-836X | - |
dc.identifier.uri | http://hdl.handle.net/20.500.12128/9418 | - |
dc.description.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. | pl_PL |
dc.language.iso | en | pl_PL |
dc.rights | Uznanie autorstwa-Użycie niekomercyjne-Bez utworów zależnych 3.0 Polska | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/pl/ | * |
dc.subject | Intuitionistic Control Logic | pl_PL |
dc.subject | Intuitionistic Logic | pl_PL |
dc.subject | Combining logic | pl_PL |
dc.subject | Control Operators | pl_PL |
dc.title | Monadic fragments of intuitionistic control logic | pl_PL |
dc.type | info:eu-repo/semantics/article | pl_PL |
dc.identifier.doi | 10.18778/0138-0680.45.3.4.01 | - |
Pojawia się w kolekcji: | Artykuły (WNŚiT)
|