Buscar
Mostrando ítems 21-30 de 5528
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 ...
A fully classical truth theory characterized by substructural means
(Cambridge University Press, 2019-08)
We will present a three-valued consequence relation for metainferences, called CM, defined through ST and TS, two well known substructural consequence relations for inferences. While ST recovers every classically valid ...
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. ...
Unifying Logics Via Context-sensitiveness
(Oxford Univ PressOxford, 2017)
An alternative approach for quasi-truth
(Oxford University Press, 2014)
Uniqueness Of Axiomatic Extensions Of Cut-free Classical Propositional Logic
(Oxford Univ PressOxford, 2016)
Minimally generated abstract logics
(2009)
In this paper we study an alternative approach to the concept of abstract logic and to connectives in abstract logics. The notion of abstract logic was introduced by Brown and Suszko (Diss Math 102:9–42, 1973)—nevertheless, ...
Paraconsistent Set Theory By Predicating On Consistency
(OXFORD UNIV PRESSOXFORD, 2016)
Paraconsistent Set Theory By Predicating On Consistency
(Oxford Univ PressOxford, 2016)