RO EN
Semantic Properties of T-consequence Relation in Logics of Quasiary Predicates
Authors: Mykola Nikitchenko, Stepan Shkilniak
– 0.15 Mb
Abstract
In the paper we investigate semantic properties of program-oriented algebras and logics defined for classes of quasiary predicates. Informally speaking, such predicates are partial predicates defined over partial states (partial assignments) of variables. Conventional n-ary predicates can be considered as a special case of quasiary predicates. We define first-order logics of quasiary non-deterministic predicates and investigate semantic properties of T-consequence relation for such logics. Specific properties of T-consequence relation for the class of deterministic predicates are also considered. Obtained results can be used to prove logic validity and completeness.Taras Shevchenko National University of Kyiv
01601, Kyiv, Volodymyrska st, 60
Phone: +38044 2590519
E-mail: .
01601, Kyiv, Volodymyrska st, 60
Phone: +38044 2590519
E-mail: .
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License
Fulltext
– 0.15 Mb
Contents
- About FOI-2015
- Semantic Properties of T-consequence Relation in Logics of Quasiary Predicates
- BioMaxP: A Formal Approach for Cellular Ion Pumps
- Structuring of Specification Modules (extended)
- Fundamental theorems of extensional untyped lambda-calculus revisited
- Finite automata over algebraic structures: models and some methods of analysis
- Communicative automata based programming. Society Framework
- The Law of Gravitation for Ontologies and Domains of Discourse
- Solving Problem of Graph Isomorphism by Hybrid Model
