selected publications
-
academic article
- Propositional logics of partial predicates with composition of predicate complement 2019
- Algebras of general non-deterministic predicates 2018
- Composition-Nominative Logics as Institutions 2018
- Logics of general non-deterministic predicates: semantic aspects 2018
- Semantic properties of five-valued logics 2018
-
chapter
- Expressibility in the Kleene Algebra of Partial Predicates with the Complement Composition 2020
- Program-Oriented Logics of Renominative Level with Extended Renomination and Equality 2020
- Inference Rules for the Partial Floyd-Hoare Logic Based on Composition of Predicate Complement 2019
- Extended Floyd-Hoare Logic over Relational Nominative Data 2018