Search Results :: Harvester open publications of NAS Ukraine

Select result number 1
1

Logical consequence relations in logics of quasiary predicates

by Shkilniak, O.S.
Published 2018

Get full text

Article

Save to List

Saved in:
Select result number 2
2

Pure first-order logics of quasiary predicates

by Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.
Published 2018

Get full text

Article

Save to List

Saved in:
Select result number 3
3

Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement

by Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.
Published 2020

Get full text

Article

Save to List

Saved in:
Select result number 4
4

Composition nominative modal logics of partial non-monotone predicates and their calculi

by Shkilniak, O.S., Kasianiuk, V.S., Malutenko, L.M.
Published 2018

Get full text

Article

Save to List

Saved in:
Select result number 5
5

First-order composition-nominative logics with predicates of weak equality and of strong equality

by Shkilniak, S.S.
Published 2019

Get full text

Article

Save to List

Saved in:
Select result number 6
6

Logical consequence relations in logics of monotone predicates and logics of antitone predicates

by Shkilniak, O.S.
Published 2018

Get full text

Article

Save to List

Saved in:
Select result number 7
7

Composition-nominative logics of free-quantifier levels

by Shkilniak, S.S., Volkovytskyi, D.B.
Published 2018

Get full text

Article

Save to List

Saved in:
Select result number 8
8

Logics of general non-deterministic predicates: semantic aspects

by Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.
Published 2018

Get full text

Article

Save to List

Saved in:
Select result number 9
9

Pure first-order quasiary logics with equality predicates

by Nikitchenko, M.S., Shkilniak, S.S.
Published 2018

Get full text

Article

Save to List

Saved in: