• polski
    • English
  • English 
    • polski
    • English
  • Login
View Item 
  •   DSpace Home
  • Czasopisma naukowe | Scientific Journals
  • Bulletin of the Section of Logic
  • Bulletin of the Section of Logic 45/3/4 (2016)
  • View Item
  •   DSpace Home
  • Czasopisma naukowe | Scientific Journals
  • Bulletin of the Section of Logic
  • Bulletin of the Section of Logic 45/3/4 (2016)
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

Statistics

View Usage Statistics

Monadic Fragments of Intuitionistic Control Logic

No Thumbnail [100%x80]
View/Open
0_1_[143]-153_Glenszczyk.pdf (585.1Kb)
Date
2016
Author
Glenszczyk, Anna
Metadata
Show full item record
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 finite.
URI
http://hdl.handle.net/11089/22182
Collections
  • Bulletin of the Section of Logic 45/3/4 (2016) [8]

University of Lodz Repository

Contact Us | Send Feedback | Accessibility
 

 


University of Lodz Repository

Contact Us | Send Feedback | Accessibility
 

 

NoThumbnail