2014/08/09 by Anna Glenszczyk, Glenszczyk, Anna
Computer Science · Mathematics · #03B20 #03B60 #03B62 (secondary) #03B70 (primary) #Advanced Algebra and Logic #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.LO #math.LO #msc:03B20 #msc:03B60 #msc:03B62 #msc:03B70
paper · pdf · doi:10.48550/arxiv.1408.2129
Draft, 22 pages
arxiv created 2014/08/09 · openalex publication_date 2014/08/09 · arxiv updated 2014/08/12 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We investigate properties of monadic purely negational fragment of Intuitionistic Control Logic (ICL). This logic arises from Intuitionistic Propositional Logic (IPL) by extending language of IPL by additional new constant for falsum. Having two different falsum constants enables to define two forms of negation. We analyse implicational relations between negational monadic formulae and present a poset of non equivalent formulae of this fragment of ICL.