The logic of proofs (lp) was proposed as Gdels missed link between Intuitionistic and S4-proofs, but so far the tableau-based methods proposed for lp have not explored this closeness with S4 and contain rules whose analycity ...

Over the last years, the study of logics that can update a model while evaluating a formula has gained in interest. Motivated by many examples in practice such as hybrid logics, separation logics and dynamic epistemic ...

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 ...

In this paper we study an alternative approach to the concept of abstract logic and to connectives in abstract logics. The notion of abstract logic was introduced by Brown and Suszko (Diss Math 102:9–42, 1973)—nevertheless, ...

En este trabajo final investigamos métodos computacionales de razonamiento para lenguajes modales dinámicos. Por lenguajes dinámicos nos referimos a formalismos que permitan cambiar la estructura subyacente a medida que ...

En este artículo se presenta un análisis epistemológico de las contribuciones de la lógica argumentativa y la lógica proposicional, basado en estructuras proposicionales que componen los argumentos lógicos, como modelos ...

In this work, I describe a logical method for scientific writing. Any decision made in this type of writing should be based on the logic of science and the rules of communication, as part of a creative discourse. I present ...