Buscar
Mostrando ítems 1-7 de 7
The Logics of Strict-Tolerant Logic
(Springer, 2014-12)
Adding a transparent truth predicate to a language completely governed by classical logic is not possible. The trouble, as is well-known, comes from paradoxes such as the Liar and Curry. Recently, Cobreros, Egre, Ripley ...
Capturing naive validity in the Cut-free approach
(Springer, 2016-09)
Rejecting the Cut rule has been proposed as a strategy to avoid both the usual semantic paradoxes and the so-called v-Curry paradox. In this paper we consider if a Cut-free theory is capable of accurately representing its ...
A Hierarchy of Classical and Paraconsistent Logics
(Springer, 2019-04)
In this article, we will present a number of technical results concerning Classical Logic, ST and related systems. Our main contribution consists in offering a novel identity criterion for logics in general and, therefore, ...
A recovery operator for non-transitive approaches
(Cambridge University Press, 2018-09)
In some recent articles, Cobreros, Egré, Ripley, & van Rooij have defended the idea that abandoning transitivity may lead to a solution to the trouble caused by semantic paradoxes. For that purpose, they develop the ...
Caracterização fenotípica da tolerância de Portulaca oleracea L. e Gliricidia sepium (Jacq.) Steud. à salinidadePhenotypic characterization of the tolerance of Portulaca oleracea L. and Gliricidia sepium (Jacq.) Steud. to salinity
(Universidade Federal de LavrasPrograma de Pós-Graduação em Biotecnologia VegetalUFLAbrasilNão especifica vinculação com nenhum departamento, 2019)
Autocura para redes definidas por softwareSelf-healing for Software-defined Networking
(Universidade Federal de UberlândiaBrasilPrograma de Pós-graduação em Ciência da Computação, 2021)