Buscar
Mostrando ítems 1-10 de 250
Constructive logic with strong negation as a substructural logic
(Oxford University Press, 2010-08)
Spinks and Veroff have shown that constructive logic with strong negation (CLSN for short), can be considered as a substructural logic. We use algebraic tools developed to study substructural logics to investigate some ...
Local logics, non-monotonicity and defeasible argumentation
(Springer, 2004-12)
In this paper we present an embedding of abstract argumentation systems into the framework of Barwise and Seligman’s logic of information flow.We show that, taking P.M. Dung’s characterization of argument systems, a local ...
Dynamic turn and logic of scientific researchGiro dinámico y lógica de la investigación científica
(Universidad de Valparaíso, 2019)
Social Time, Bodies and the “Logic of Waiting” in the Configuration of Urban Sensibilities
(Scientific Research Publishing, 2014-03)
Considering the acceleration of social time encouraged by the ever increasing speed in the circulation of goods and products in the current phase of capitalist development, it becomes essential to reflect on the configuration ...
SteelCore: An extensible concurrent separation logic for effectful dependently typed programs
(Association for Computing Machinery, 2020-08)
Much recent research has been devoted to modeling effects within type theory. Building on this work, we observe that effectful type theories can provide a foundation on which to build semantics for more complex programming ...
The art of thinking: investigations on the paths of logicA Arte de Pensar: investigações sobre os percursos da Lógica
(Universidade Federal de Santa Maria, 2022)
On Dialogues, Predication and Elementary sentencesSobre diálogos, predicción y frases elementales
(Universidad de Valparaíso, 2013)