Opis

• Tytuł:
  Monadic Fragments of Intuitionistic Control Logic
• Twórca:
  Glenszczyk, Anna
• Współtwórca:
  University of Silesia;
  anna.glenszczyk@us.edu.pl
• Opis:
  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 finite.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  © Copyright by Authors, Łódź 2016; © Copyright for this edition by Uniwersytet Łódzki, Łódź 2016
• Data:
  2017.07.10;
  2016
• Typ:
  Article
• Język:
  angielski
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic;3/4;
  45
• Temat i słowa kluczowe:
  Intuitionistic Control Logic;
  Intuitionistic Logic;
  Combining Logic;
  Control Operators
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/22182 ;
  2449-836X;
  10.18778/0138-0680.45.3.4.01
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  obrazy