Buscar
Mostrando ítems 1-10 de 7038
A Quantitative-Informational Approach to Logical Consequence
(2015-01-01)
In this chapter, we propose a definition of logical consequence based on the relation between the quantity of information present in a particular set of formulae and a particular formula. As a starting point, we use Shannon’s ...
Lógica jurídica e jurisprudência. O conceito de 'lógica jurídica' de Ulrich Klug
(Editora FGV e Editora Fórum, 2016-11-01)
This paper analyzes the concept of legal logic exposed by German jurist Ulrich Klug, confronting the elements that led him to classify legal logic as part of formal logic.
Para-fuzzy logic controller
(Springer, 2004-01-01)
In this paper we present a logic controller based on ideas of Fuzzy logic and Paraconsistent Annotated Logic. The combination of both logics brings a new approach to fuzzy, inconsistent and paracomplete concepts. The ...
Enzymatic Logic Gates with Noise-Reducing Sigmoid Response
(Old City Publishing Inc, 2010-01-01)
Biochemical computing is an emerging field of unconventional computing that attempts to process information with biomolecules and biological objects using digital logic. In this work we survey filtering in general, in ...
Enzymatic Logic Gates with Noise-Reducing Sigmoid Response
(Old City Publishing Inc, 2010-01-01)
Biochemical computing is an emerging field of unconventional computing that attempts to process information with biomolecules and biological objects using digital logic. In this work we survey filtering in general, in ...
Enzymatic logic gates with noise-reducing sigmoid response
(2010-12-01)
Biochemical computing is an emerging field of unconventional computing that attempts to process information with biomolecules and biological objects using digital logic. In this work we survey filtering in general, in ...
The Algebra of Logic Tradition
(Metaphysics Research Lab - Center for the Study of Language and Information, 2015-01)
The algebra of logic, as an explicit algebraic system showing the underlying mathematical structure of logic, was introduced by George Boole (1815-1864) in his book The Mathematical Analysis of Logic (1847). The methodology ...
Monadic Curry System N-1*
(Springer, 2010-01-01)
This paper is a sequel to [5], [6]. We present the Curry monadic system N-1* which has as extensions the Curry monadic algebras C-1* and P-1*. All those systems are extensions of the classical monadic algebras introduced ...
Lógica jurídica e jurisprudência. O conceito de “lógica jurídica” de Ulrich Klug
(Editora Fórum e Editora FGV, 2016)
Local logics, non-monotonicity and defeasible argumentation
(Springer, 2004-12)
In this paper we present an embedding of abstract argumentation systems into the framework of Barwise and Seligman’s logic of information flow.We show that, taking P.M. Dung’s characterization of argument systems, a local ...