Buscar
Mostrando ítems 51-60 de 782
Simetrías en razonamiento automático : el caso de las lógicas modales y satisfacibilidad módulo teorías
(2014-03)
En esta tesis investigamos el uso de simetrías en el contexto de lógicas modales y de satisfacibilidad módulo teorías (SMT). Desarrollamos el marco teórico para utilizar las simetrías de
una fórmula modal utilizando el ...
An algebraic study of S5-modal Gödel logic
(Springer, 2021-02-03)
In this paper we continue the study of the variety MG of monadic Gödel algebras. These algebras are the equivalent algebraic semantics of the S5-modal expansion of Gödel logic, which is equivalent to the one-variable monadic ...
Modal satisfiability via SMT solving
(2015)
Modal logics extend classical propositional logic, and they are robustly decidable. Whereas most existing decision procedures for modal logics are based on tableau constructions, we propose a framework for obtaining decision ...
An alternative approach for quasi-truth
(Oxford University Press, 2014-04-01)
In 1986, Mikenberg et al. introduced the semantic notion of quasi-truth defined by means of partial structures. In such structures, the predicates are seen as triples of pairwise disjoint sets: the set of tuples which ...
Symmetric Blocking
(Elsevier Science, 2015-11)
We present three different techniques that use information about symmetries detected in the input formula to block the expansion of diamonds in a modal tableau. We show how these blocking techniques can be included in a ...
Reflexive-insensitive Modal Logics
(CAMBRIDGE UNIV PRESSNEW YORK, 2016)
Monotonic Distributive Semilattices
(Springer, 2019-11)
In the study of algebras related to non-classical logics, (distributive) semilattices are always present in the background. For example, the algebraic semantic of the {→, ∧, ⊤}-fragment of intuitionistic logic is the variety ...
Pseudomonadic BL-algebras: an algebraic approach to possibilistic BL-logic
(Springer Berlin Heidelberg, 2019-02)
Fuzzy possibilistic logic is an important formalism for approximate reasoning. It extends the well-known basic propositional logic BL, introduced by Hájek, by offering the ability to reason about possibility and necessity ...
Illustrating a neural model of logic computations: the case of Sherlock Holmes' old maxim
(Universidad del Pais Vasco, 2016)
Natural languages can express some logical propositions that humans are able to understand. We illustrate this fact with a famous text that Conan Doyle attributed to Holmes: "It is an old maxim of mine that when you have ...