Deviant truth-values algebras and deviant classes of general non-deterministic predicates von O. S. Shkilniak

Volltext

Relations of logical consequence in logics of partial predicates with composition of predicate complement von O. S. Shkilniak

Volltext

Logical consequence relations in logics of monotone predicates and logics of antitone predicates von O. S. Shkilniak

Volltext

Logical consequence relations in logics of quasiary predicates von O. S. Shkilniak

Volltext

Sequent Calculi for Temporal and Multimodal Logics of Partial Predicates von O. S. Shkilniak

Volltext

Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement von M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak

Volltext

Algebras of general non-deterministic predicates von M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak

Volltext

Logics of general non-deterministic predicates: semantic aspects von M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak

Volltext

7-values logics and logics of general non-deterministic predicates von M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak

Volltext

Semantic properties of logics of general non-deterministic predicates von M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak

Volltext

Pure first-order logics of quasiary predicates von M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak

Volltext

Propositional logics of partial predicates with composition of predicate com-plement von M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak, T. A. Mamedov

Volltext

Renominative logics with extended renomination, equality and predicate complement von M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak, T. A. Mamedov

Volltext

Composition nominative modal logics of partial non-monotone predicates and their calculi von O. S. Shkilniak, V. S. Kasianiuk, L. M. Maliutenko

Volltext

Completeness of sequent calculi for modal logics of non-monotone partial predicates von O. S. Shkilniak, V. S. Kasianiuk, L. M. Maliutenko

Volltext