Buscar
Mostrando ítems 1-10 de 356
Should the Non-Classical Logician be Embarrassed?
(Blackwell Publishing, 2021-03)
Non-classical logicians do not typically reject classically valid logical principles across the board. In fact, they sometimes suggest that their preferred logic recovers classical reasoning in most circumstances. This ...
Hajek's Logic BL and BL-algebras
(College Publications, 2011)
In this chapter we give a detailed presentation of the most important aspects of Hajek´s basic Logic BL and their algebraic counterpart, BL-algebras.
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 ...
Defining LFIs and LFUs in extensions of infectious logics
(Taylor & Francis, 2016-10)
The aim of this paper is to explore the peculiar case of infectious logics, a group of systems obtained generalizing the semantic behavior characteristic of the (¬, ∧, ∨) -fragment of the logics of nonsense, such as the ...
Classical recapture and maximality
(Springer, 2020-08-18)
The idea of classical recapture has played a prominent role for non-classical logicians. In the specific case of non-classical theories of truth, although we know that it is not possible to retain classical logic for every ...
Decision Making Method Based on Paraconsistent Annotated Logic and Statistical Method: a Comparison
(Amer Inst Physics, 2008-01-01)
Presently, there are new kinds of logic capable of handling uncertain and contradictory data without becoming trivial. Decision making theories based on these logics have shown to be powerful in many aspects regarding more ...
Paraconsistent annotated logic in viability analysis: an approach to product launching
(Amer Inst Physics, 2004-01-01)
In this paper we present an application of the Para-analyzer, a logical analyzer based on the Paraconsistent Annotated Logic Ptau, introduced by Da Silva Filho and Abe in the decision-making systems. An example is analyzed ...
LFIs and methods of classical recapture
(Oxford University Press, 2018-11)
In this paper, I will argue that Logics of Formal Inconsistency (LFIs) can be used as very sophisticated and powerful methods of classical recapture. I will compare LFIs with the well-known non-monotonic logics by Batens ...
Volume I: Recovery operators in logics of formal inconsistency
(Oxford University Press, 2019-01)
The classical recovery is an important result for non-classical logics and for the para- consistent programs in particular. Nevertheless, the main problem with some non-classical logics and with paraconsistency is its ...