Buscar
Mostrando ítems 41-50 de 782
Modes of Adjointness
(Kluwer Academic Publishers, 2014-06)
The fact that many modal operators are part of an adjunction is probably folklore since the discovery of adjunctions. On the other hand, the natural idea of a minimal propositional calculus extended with a pair of adjoint ...
Modalities in ecumenical systems
(Universidade Federal do Rio Grande do NorteBrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM MATEMÁTICA APLICADA E ESTATÍSTICA, 2020-10-27)
The discussion about how to put together Gentzen’s systems for classical and intuitionistic
logic in a single unified system is back in fashion. Indeed, recently Prawitz and others have
been discussing the so-called ...
Reino da natureza, reino dos fins, e proto-reino: um estudo de traduções conservativas
(2014)
We provide conservative translations from propositional modal logic KT (the simplest normal alethic logic) into propositional modal logic KD (the simplest normal deontic logic), and from this into the propositional modal ...
Physical Properties as Modal Operators in the Topos Approach to Quantum Mechanics
(Springer, 2014-12)
In the framework of the topos approach to quantum mechanics we give a representation of physical properties in terms of modal operators on Heyting algebras. It allows us to introduce a classical type study of the mentioned ...
Lógicas modales con operadores de cambio de accesibilidad
(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, ...