Deviant truth-values algebras and deviant classes of general non-deterministic predicates за авторством O. S. Shkilniak

Отримати повний текст

Relations of logical consequence in logics of partial predicates with composition of predicate complement за авторством O. S. Shkilniak

Отримати повний текст

Logical consequence relations in logics of monotone predicates and logics of antitone predicates за авторством O. S. Shkilniak

Отримати повний текст

Logical consequence relations in logics of quasiary predicates за авторством O. S. Shkilniak

Отримати повний текст

Sequent Calculi for Temporal and Multimodal Logics of Partial Predicates за авторством O. S. Shkilniak

Отримати повний текст

Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement за авторством M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak

Отримати повний текст

Algebras of general non-deterministic predicates за авторством M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak

Отримати повний текст

Logics of general non-deterministic predicates: semantic aspects за авторством M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak

Отримати повний текст

7-values logics and logics of general non-deterministic predicates за авторством M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak

Отримати повний текст

Semantic properties of logics of general non-deterministic predicates за авторством M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak

Отримати повний текст

Pure first-order logics of quasiary predicates за авторством M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak

Отримати повний текст

Propositional logics of partial predicates with composition of predicate com-plement за авторством M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak, T. A. Mamedov

Отримати повний текст

Renominative logics with extended renomination, equality and predicate complement за авторством M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak, T. A. Mamedov

Отримати повний текст

Composition nominative modal logics of partial non-monotone predicates and their calculi за авторством O. S. Shkilniak, V. S. Kasianiuk, L. M. Maliutenko

Отримати повний текст

Completeness of sequent calculi for modal logics of non-monotone partial predicates за авторством O. S. Shkilniak, V. S. Kasianiuk, L. M. Maliutenko

Отримати повний текст