The aim of this thesis is to study a family of logics, comprised of Nelson’s logic S, constructive logic with strong negation N 3, quasi-Nelson logic QN and quasi-Nelson implicative logic QN I. This is done in two ways. ...

We establish the Robinson joint consistency theorem for the infinite-valued propositional logic of Łukasiewicz. As a corollary we easily obtain the amalgamation property for MV-algebras-the algebras of Łukasiewicz logic: ...

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

In the present work we study the concept of Q-abstract elementary class and we do an approximation to superestability in this context, adapting Shelah-Villaveces theorem. With the help of this theorem and based on chapter ...

The article compares two different interpretations of Kant’s categorical imperative −the practical and the logical one− and defends the practical one, arguing that it is superior because it rejects cases of free riding ...

The article compares two different interpretations of Kant’s categorical imperative −the practical and the logical one− and defends the practical one, arguing that it is superior because it rejects cases of free riding ...

The present dissertation presents an examination of the Carrollian logic through the reconstruction of its syllogistic theory. Lewis Carroll was one of the main responsible for the dissemination of logic during the ...