Showing
1 - 7
results of
7
for search '
Shkilniak, O.S.
'
Skip to content
VuFind
Your Account
Log Out
Login
Language
English
Deutsch
Українська
All Fields
Title
Journal Title
Author
Subject
Description
Tag
Full text
Find
Advanced
Author
Shkilniak, O.S.
Showing
1 - 7
results of
7
for search '
Shkilniak, O.S.
'
, query time: 0.05s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Select Page | with selected:
Email
Export
Print
Save
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
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 3
3
Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools
by
Shkilniak, O.S.
Published 2019
Get full text
Article
Save to List
Saved in:
Select result number 4
4
Construction of sequent calculi of composition-nominative multimodal logics
by
Shkilniak, O.S.
Published 2025
Get full text
Article
Save to List
Saved in:
Select result number 5
5
First-order composition-nominative logics with generalized renominations
by
Nikitchenko, M.S.
,
Shkilniak, O.S.
,
Shkilniak, S.S.
Published 2025
Get full text
Article
Save to List
Saved in:
Select result number 6
6
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 7
7
Propositional logics of partial predicates with composition of predicate complement
by
Nikitchenko, M.S.
,
Shkilniak, O.S.
,
Shkilniak, S.S.
,
Mamedov, T.A.
Published 2019
Get full text
Article
Save to List
Saved in:
Select Page | with selected:
Email
Export
Print
Save
Search Tools:
RSS Feed
–
Email Search
Related Subjects
УДК 004.42:510.69
UDC 004.42:510.69
logic
логика
логічний наслідок
logical consequence
логическое следствие
логіка
предикат
partial predicate
predicate
semantics
секвенційне числення
семантика
7-valued predicate
7-значный предикат
7-значний предикат
: логіка
algebra
logical consequence sequent calculus
modal logic
non-deterministic predicate
sequent сalculus
алгебра
модальна логіка
модальная логика
недетерминированный предикат
недетермінований предикат
секвенциальное исчисление