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 -
problems in programming
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 , closure (psychology) , discrete mathematics , modal , algebra over a field , pure mathematics , computer science , mathematical proof , natural deduction , programming language , proof calculus , chemistry , geometry , economics , polymer chemistry , market economy
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom