Control basado en lógica difusa: De los fundamentos a las aplicaciones
NOVASINERGIA, 2021 Since its beginning, Fuzzy logic has shown its usefulness in different areas of knowledge; forthe particular case of process control, from the construction of process models to the design of advanced controllers, it has proven its ...
Oscar Camacho +3 more
doaj +1 more source
Logical foundations of CafeOBJ
Theoretical Computer Science, 2002 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Razvan Diaconescu, Kokichi Futatsugi
openaire +1 more source
La lógica matemática: una disciplina en busca de encuadre
Theoria, 2010 We offer an analysis of the disciplinary transformations underwent by mathematical or symbolic logic since its emergence in the late 19th century.
José Ferreirós
doaj +1 more source
Model Checking Linear Logic Specifications [PDF]
, 2003 The overall goal of this paper is to investigate the theoretical foundations of algorithmic verification techniques for first order linear logic specifications.
Bozzano, M., Delzanno, G., Martelli, M.
core +1 more source
Logical foundations of multilevel databases [PDF]
Data & Knowledge Engineering, 1999 Summary: In this paper, we propose a formal model for multilevel databases. This model aims at being a generic model, that is it can be interpreted for any kind of database (relational, object-oriented\dots). Our model has three layers. The first layer corresponds to a model for a non-protected database.
Cuppens, Frédéric, Gabillon, Alban
openaire +3 more sources
Nicolai Vasiliev’s Imaginary Logic and Semantic Foundations for the Logic of Assent
Philosophia Scientiæ, 2014 The Russian philosopher Nicolai Vasiliev is known as a forerunner of substantially non-classical logics, i.e., logics that differ from classical logic by dropping principles that are sound in classical logic.
Werner Stelzner
doaj +1 more source
Validity of the laws of Non-contradiction and Excluded middle; Logical or Psychological (Review of misunderstandings and misinterpretations, self-made accusations and types of fallacies in a criticism) [PDF]
حکمت معاصرIn Classical Logic, the law of non-contradiction and the law of excluded middle are considered theorems and have proof. Recently, Morteza Hajihosseini has written a book titled Two Non-Classical Logic Systems, A New Outlook on Elements of Logic (2017 ...
Morteza Hajihosseini +1 more
doaj +1 more source
The essence and content of investigative activities to undermine the economic foundations of organized criminal structures [PDF]
Aktualʹnye Problemy Èkonomiki i Prava, 2015 Objective to determine the essential characteristics of investigative activities IA aimed at undermining the economic foundations of organized criminal structures OCS to define the activities to improve the legislation regulating the investigative ...
Igor Vyacheslavovich Ilyin +1 more
doaj +3 more sources
The Ecce and Logen Partial Evaluators and their Web Interfaces [PDF]
, 2006 We present Ecce and Logen, two partial evaluators for Prolog using the online and offline approach respectively. We briefly present the foundations of these tools and discuss various applications.
Craig, Stephen-John +4 more
core +1 more source
, 2017 Working within the broad lines of general consensus that mark out the core features of John Stuart Mill’s (1806–1873) logic, as set forth in his A System of Logic (1843–1872), this chapter provides an introduction to Mill’s logical theory by reviewing ...
DeMorgan +18 more
core +1 more source