Результати пошуку - "consequences" :: Harvester open publications of NAS Ukraine

Рекомендовані теми у межах Вашого пошуку. Рекомендовані теми у межах Вашого пошуку.

логічний наслідок 15
logical consequence 14
UDC 004.42:510.69 12
logic 12
УДК 004.42:510.69 12
логическое следствие 11
логіка 11
логика 10
предикат 8
predicate 7
секвенційне числення 7
partial predicate 6
частковий предикат 6
sequent calculus 5
equality 4
semantics 4
секвенциальное исчисление 4
семантика 4
равенство 3
рівність 3
частичный предикат 3
algebra 2
completeness 2
composition 2
flood 2
modal logic 2
non-deterministic predicate 2
soundness 2
УДК 510.64 2
алгебра 2

A model of control for counteracting against information attacks in cyberspace за авторством Шиян, А. А., Нікіфорова, Л. О., Дьогтєва, І. О., Яремчук, Я. Ю.

Minimization of Risks During the Liquidation of Emergencies Consequences за авторством Shtukin, M. V., Kuzyomin, A. Ya., Sirodzha, I. B.

Аnalysis of natural disasters and their impact on the environment за авторством Azarov, Sergii I., Zadunaj, Oleksii S.

Аssessment and prediction of flood risks in river basins за авторством Petrochenko, Oleksiy V.

From new geological paradigm to the problems of regional geological-geophysical survey за авторством Lukin, A., Shestopalov, V.

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

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

Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics за авторством Shkilniak, О.S., Shkilniak, S.S.

First-order composition-nominative logics with predicates of weak equality and of strong equality за авторством Shkilniak, S.S.

First-order logics with partial predicates for checking variable definedness за авторством Shkilniak, S.S.

The problem of flooding and analysis of the ways of its solution за авторством Petrochenko, Oleksiy V.

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

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

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

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

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

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

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

First-order sequent calculi of logics of quasiary predicates with extended renominations and equality за авторством Shkilniak, О.S., Shkilniak, S.S.

Composition-nominative logics of free-quantifier levels за авторством Shkilniak, S.S., Volkovytskyi, D.B.

Результати пошуку - "consequences"

A model of control for counteracting against information attacks in cyberspace за авторством Шиян, А. А., Нікіфорова, Л. О., Дьогтєва, І. О., Яремчук, Я. Ю.

Minimization of Risks During the Liquidation of Emergencies Consequences за авторством Shtukin, M. V., Kuzyomin, A. Ya., Sirodzha, I. B.

Аnalysis of natural disasters and their impact on the environment за авторством Azarov, Sergii I., Zadunaj, Oleksii S.

Аssessment and prediction of flood risks in river basins за авторством Petrochenko, Oleksiy V.

From new geological paradigm to the problems of regional geological-geophysical survey за авторством Lukin, A., Shestopalov, V.

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

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

Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics за авторством Shkilniak, О.S., Shkilniak, S.S.

First-order composition-nominative logics with predicates of weak equality and of strong equality за авторством Shkilniak, S.S.

First-order logics with partial predicates for checking variable definedness за авторством Shkilniak, S.S.

The problem of flooding and analysis of the ways of its solution за авторством Petrochenko, Oleksiy V.

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

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

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

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

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

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

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

First-order sequent calculi of logics of quasiary predicates with extended renominations and equality за авторством Shkilniak, О.S., Shkilniak, S.S.

Composition-nominative logics of free-quantifier levels за авторством Shkilniak, S.S., Volkovytskyi, D.B.

Інструменти для пошуку:

Уточнити результати

Репозитарії

Формат

Автор

Мова

Рік публікації