Buscar
Mostrando ítems 31-40 de 905
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 ...
Algebraic semantics and calculi for Nelson's logics
(Universidade Federal do Rio Grande do NorteBrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO, 2022-02-18)
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. ...
An alternative approach for quasi-truth
(Oxford University Press, 2014)
Sobre a lógica da verdade pragmática em cálculo de sequentes
(Universidade Estadual Paulista (Unesp), 2021-02-26)
O objetivo central desta pesquisa é desenvolver um método dedutivo alternativo para a Lógica da Verdade Pragmática (Logic of Pragmatic Truth - LPT) em cálculo de sequentes. Neste sentido, apresentaremos inicialmente o ...
Completeness in hybrid type theory
(2014)
We show that basic hybridization (adding nominals and @ operators) makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are ...
Geometry of Robinson consistency in Łukasiewicz logic
(Elsevier Science, 2007-06)
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: ...
Semi-intuitionistic Logic with Strong Negation
(Springer, 2018-04)
Motivated by the definition of semi-Nelson algebras, a propositional calculus called semi-intuitionistic logic with strong negation is introduced and proved to be complete with respect to that class of algebras. An axiomatic ...
A conjectura lógica de Jacques Lacan: a lógica como ciência do real
(Universidade Federal de Minas GeraisBrasilFAFICH - FACULDADE DE FILOSOFIA E CIENCIAS HUMANASPrograma de Pós-Graduação em PsicologiaUFMG, 2019-08-30)
This thesis proposes as an investigation about Lacan's relation with logic. To do so, it is based on the logical reading that Lacan undertakes on the Freudian hypothesis of the existence of the unconscious, in which the ...