Buscar
Mostrando ítems 41-50 de 9833
Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence
(ELSEVIER SCIENCE BV, 2009)
We examine the representation of judgements of stochastic independence in probabilistic logics. We focus on a relational logic where (i) judgements of stochastic independence are encoded by directed acyclic graphs, and ...
Reconciling First-Order Logic to Algebra
(2018-01-01)
We start from the algebraic method of theorem-proving based on the translation of logic formulas into polynomials over finite fields, and adapt the case of first-order formulas by employing certain rings equipped with ...
Relation-changing modal logics
(2014)
En esta tesis investigamos operadores modales dinámicos que pueden cambiar el modelo durante la evaluación de una fórmula. En particular, extendemos el lenguaje modal básico con modalidades que son capaces de invertir, ...
Logical foundations of relational data exchange
(ASSOC COMPUTING MACHINERY, 2009)
A semantic analysis of some distributive logics with negation
(Jagiellonian University, 2013-10)
In this paper we shall study some extensions of the semilattice based deductive systems S (N) and S (N, 1), where N is the variety of bounded distributive lattices with a negation operator. We shall prove that S (N) and S ...
The Sylogistic Studies of Boecio and Their Thematic Interdependence
(PONTIFICIA UNIV CATOLICA CHILE, FACULTAD TEOLOGIA, 2009)
In this article, the most important hypotheses concerning the doctrinal relation between Boethius' two syllogistic treatises are discussed: De syllogismo categorico and the Introductio ad syllogismos categoricos. By means ...
Theories of truth based on four-valued infectious logics
(Oxford University Press, 2018-11)
Infectious logics are systems which have a truth-value that is assigned to a compound formula whenever it is assigned to one of its components. This paper studies four-valued infectious logics as the basis of transparent ...