Open AccessComposition nominative modal logics of partial non-monotone predicates and their calculi
Author(s) -
Oksana Shkilniak,
Veda Kasianiuk,
L.M. Malutenko
Publication year - 2017
Publication title -
problemy programmirovaniâ
Language(s) - English
Resource type - Journals
ISSN - 1727-4907
DOI - 10.15407/pp2017.02.024
Subject(s) - sequent , mathematics , soundness , cut elimination theorem , sequent calculus , modal logic , discrete mathematics , closure (psychology) , relation (database) , modal , computer science , mathematical proof , natural deduction , programming language , proof calculus , chemistry , geometry , economics , polymer chemistry , market economy , database