A Logic Description on Different Negation Relation in Knowledge

The book by Doctor Philology Zlotchevskaya A. V. deals with the phenomenon of “mystical metaprose” of the 20th century. The study is built on the laws of logic: description of phenomenon and its genesis, aesthetic strategy of the three writers, genre model, poetics. The author points out the creative similarity of three writers in their approach to aesthetic and metaphysical problems, their tragic-comic view of the world. The book is addressed to a broad spectrum of intellectuals, primarily scholars and university students of philology, as well as all those interested in the works of Hesse, Nabokov and Bulgakov.

Download Full-text

Fault Diagnosis Based on a Predicate Logic Description of Dynamical Systems

Issues of Fault Diagnosis for Dynamic Systems ◽

10.1007/978-1-4471-3644-6_17 ◽

2000 ◽

pp. 485-515

Author(s):

Jan Lunze ◽

Frank Schiller

Keyword(s):

Fault Diagnosis ◽

Dynamical Systems ◽

Predicate Logic ◽

Logic Description

Download Full-text

Extremism as a factor of destabilization of the legal environment

LAPLAGE EM REVISTA ◽

10.24115/s2446-6220202171718p.245-256 ◽

2021 ◽

Vol 7 (1) ◽

pp. 245-256

Author(s):

Dina Viktorovna Alontseva ◽

Olga Anatolyevna Lavrishcheva

Keyword(s):

National Security ◽

Legal Environment ◽

Legal Analysis ◽

Basic Principles ◽

Classification Analysis ◽

Methodological Basis ◽

Analysis And Synthesis ◽

General Scientific ◽

Definition Of ◽

Logic Description

The purpose of the article is a comprehensive scientific study of theoretical and practical problems associated with the implementation of the basic principles and directions of countering extremism as a threat to the national security of Russia. The methodological basis of the research was based on general scientific, private, and special methods of cognition.. Methods of formal logic: description, comparison, classification, analysis and synthesis, and others, allowed characterizing the transformations in the field of countering extremism at the present time. The results of the study allow us to conclude that the definition of extremism is a very controversial issue, since there is no consensus among scientists in this respect, which emphasizes the importance and indicates the need to develop an agreed concept of extremism for its recognition at the national and international levels. Based on the theoretical and legal analysis of various interpretations of the term “extremism”, we have formulated this concept in its modern interpretation.

Download Full-text

On Ontology of Integration Between Access Control and Business Process Deep Structure

Novel Approaches to Information Systems Design - Advances in Computer and Electrical Engineering ◽

10.4018/978-1-7998-2975-1.ch010 ◽

2020 ◽

pp. 226-246

Author(s):

Sérgio Luís Guerreiro

Keyword(s):

Access Control ◽

Business Process ◽

Business Processes ◽

Deep Structure ◽

Role Based Access Control ◽

Access Control Models ◽

Role Based ◽

Industrial Standards ◽

Logic Description ◽

Gain Access

Access control models (ACM) offers the guarantee that only the qualified users can gain access to the artifacts contained in business processes. Business processes are designed, implemented, and operated using many industrial standards that challenge the interoperation with access control standards. Enterprise engineering (EE) introduces rigorous capabilities to design and implement the essential concepts related with the dynamic of business processes. ACM deals with the systematic design and implementation of dynamic and static access control concepts to qualify the access of the users to the artifacts. This chapter proposes an ontological integration between EE and ACM concepts in order to enable the discussion of access control in the deep structure of the business processes. ACM integrated with EE allow the run-time qualification of the actors while they perform all the business process steps and not only at invocation time. The proposal encompasses business process designed with DEMO ontology and role-based access control concepts using a mathematical model logic description.

Download Full-text