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

Volltext

Composition-nominative logics of free-quantifier levels von Shkilniak, S.S., Volkovytskyi, D.B.

Volltext

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

Volltext

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

Volltext

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

Volltext

Semantic properties of five-valued logics von Nikitchenko, M.S., Shyshatska, E.V.

Volltext

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

Volltext

Pure first-order quasiary logics with equality predicates von Nikitchenko, M.S., Shkilniak, S.S.

Volltext

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

Volltext

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

Volltext

Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools von Shkilniak, O.S.

Volltext

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

Volltext

First-order composition-nominative logics with predicates of weak equality and of strong equality von Shkilniak, S.S.

Volltext

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

Volltext

First-order composition-nominative logics with generalized renominations von Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S.

Volltext

Spectrum of sequential number pershopordinal compositional-nominative logics von Shkilnyak, S.S.

Volltext

Special relations of logical consequence in logics of quasi-ary predicates von Shkilniak, S.S.

Volltext