Buscar
Mostrando ítems 1-10 de 169
First-order swap structures semantics for some logics of formal inconsistency
(Oxford Univ Press, 2020-09-01)
The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (i.e. logics containing contradictory but nontrivial theories) having a consistency connective which allows to recover the ex falso quodlibet ...
An alternative approach for quasi-truth
(Oxford University Press, 2014-04-01)
In 1986, Mikenberg et al. introduced the semantic notion of quasi-truth defined by means of partial structures. In such structures, the predicates are seen as triples of pairwise disjoint sets: the set of tuples which ...
An alternative approach for quasi-truth
(Oxford Univ PressOxfordInglaterra, 2014)
The discovery/justification context dichotomy within formal and computational models of scientific theories: a weakening of the distinction based on the perspective of non-monotonic logics
(2017-03-27)
The present paper analyses the topic of scientific discovery and the problem of the existence of a logical framework involved in such endeavour. We inquire how several non-monotonic logic frameworks and other formalisms ...
On the formal semantics of IF-like logics
(Elsevier Inc, 2010-08)
In classical logics, the meaning of a formula is invariant with respect to the renaming of bound variables. This property, normally taken for granted, has been shown not to hold in the case of Independence Friendly (IF) ...
On AGM for Non-Classical Logics
(SPRINGER, 2011)
The AGM theory of belief revision provides a formal framework to represent the dynamics of epistemic states. In this framework, the beliefs of the agent are usually represented as logical formulas while the change operations ...
Paraconsistent Probabilities: Consistency, Contradictions And Bayes' Theorem
(MDPI AGBasel, 2016)
Las falacias en el sermón "El diezmo" de Radio María
(2005-08-23)
En este artículo analizamos las falacias presentes en el sermón radiofónico "El diezmo" del Padre Minor de Jesús Calvo, a partir de las clasificaciones de la lógica clásica. Además, discutimos principios teóricos y ...