Results 11 to 20 of about 9,801,063 (300)
Logical Pluralism and Interpretations of Logical Systems [PDF]
Logic and Logical Philosophy, 2022 Logical pluralism is a general idea that there is more than one correct logic. Carnielli and Rodrigues [2019a] defend an epistemic interpretation of the paraconsistent logic N4, according to which an argument is valid in this logic just in case it necessarily preserves evidence.
Diego Tajer, Camillo Fiore
core +6 more sources
Logical entropy of dynamical systems
Advances in Difference Equations, 2018 The main purpose of the paper is to extend the results of Ellerman (Int. J. Semant. Comput. 7:121–145, 2013) to the case of dynamical systems. We define the logical entropy and conditional logical entropy of finite measurable partitions and derive the ...
Dagmar Markechová +2 more
doaj +2 more sources
Towards Provably Correct Code Generation via Horn Logical Continuation Semantics [PDF]
, 2005 Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code generation based on programming language semantics, particularly Horn logical semantics ...
Gopal Gupta +5 more
core +2 more sources
Logical and uncertainty models for information access : current trends [PDF]
, 2000 The current trends of research in information access as emerged from the 1999 Workshop on Logical and Uncertainty Models for Information Systems (LUMIS'99) are briefly reviewed in this paper. We believe that some of these issues will be central to future
Crestani, F., Lalmas, M.
core +3 more sources
IEEE Access, 2019 Semi-tensor product of matrices (STP of matrices) is a new matrix product and has been successfully applied to many fields, especially to logical dynamic systems.
Jumei Yue, Yongyi Yan
doaj +1 more source
Polylinear Transformation Method for Solving Systems of Logical Equations
Mathematics, 2022 In connection with applications, the solution of a system of logical equations plays an important role in computational mathematics and in many other areas.
Dostonjon Numonjonovich Barotov +1 more
doaj +1 more source
Feature Selection for Monitoring Erosive Cavitation on a Hydroturbine
International Journal of Prognostics and Health Management, 2017 This paper presents a method for comparing and evaluating cavitation detection features - the first step towards estimating remaining useful life (RUL) of hydroturbine runners that are impacted by erosive cavitation.
Seth W. Gregg +2 more
doaj +1 more source
Electronic Notes in Theoretical Computer Science, 2007 AbstractWe present an overview of rewriting-based systems that were presented at the workshop.
Grit Denker +5 more
openaire +3 more sources
LFP – A Logical Framework with External Predicates [PDF]
, 2012 International audienceThe LFP Framework is an extension of the Harper-Honsell-Plotkin’s Edinburgh Logical Framework LF with external predicates. This is accomplished by defining lock type constructors, which are a sort of *-modality constructors ...
Lenisa, Marina +10 more
core +1 more source
Simply Logical -- Intelligent Reasoning by Example (Fully Interactive Online Edition)
, 2022 <p>Online edition of the "Simply Logical – Intelligent Reasoning by Example" book by Peter Flach. The book is available at <a href="http://book.simply-logical.space/">Book.Simply-Logical.space</a>.
Peter Flach +3 more
core +1 more source