Buscar
Mostrando ítems 1-10 de 2491
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 ...
A Quantitative-Informational Approach to Logical Consequence
(2015-01-01)
In this chapter, we propose a definition of logical consequence based on the relation between the quantity of information present in a particular set of formulae and a particular formula. As a starting point, we use Shannon’s ...
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. ...
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 ...
A uniform framework for substructural logics with modalities
(Easy Chair, 2017-05-04)
It is well known that context dependent logical rules can be problematic both to implement and
reason about. This is one of the factors driving the quest for better behaved, i.e., local, logical
systems. In this work we ...
La lógica argumentativa y proposicional en el proceso de construcción de argumentos científico-filosóficos
(2016-07)
En este artículo se presenta un análisis epistemológico de las contribuciones de la lógica argumentativa y la lógica proposicional, basado en estructuras proposicionales que componen los argumentos lógicos, como modelos ...
On Graph-theoretic Fibring of Logics
(Oxford Univ PressOxfordInglaterra, 2009)
Formalizing alternating-time temporal logic in the coq proof assistant
(UR.FI-INCO, 2014)
This work presents a complete formalization of Alternating-time Temporal Logic (ATL) and its semantic model, Concurrent Game Structures (CGS), in the Calculus of (Co)Inductive Constructions, using the logical framework ...
Two's Company: The Humbug Of Many Logical Values
(Birkhäuser Verlag Basel • Boston • Berlin, 2005)