Results 71 to 80 of about 812 (177)
On some remarkable relations between paraconsistent logics, modal logics, and ambiguity logics
, 2002 This paper concerns some connections between paraconsistent logics, modal logics (mainly S5), and Ambiguity Logic AL (Classical Logic applied to a language in which all letters are indexed and in which quantifiers over such indices are present).
Batens, Diderik
core +1 more source
Sobre a lógica deôntica não-clássica
Crítica, 2018 Our starting point, in this basically expository paper, is the study of a classical system of deontic propositional logic, classical in the sense that it constitutes an extension of the classical propositional calculus.
Leila Z. Puga, Newton C.A. da Costa
doaj +1 more source
Noûs, Volume 58, Issue 2, Page 306-332, June 2024.Abstract Mathematical pluralism can take one of three forms: (1) every consistent mathematical theory consists of truths about its own domain of individuals and relations; (2) every mathematical theory, consistent or inconsistent, consists of truths about its own (possibly uninteresting) domain of individuals and relations; and (3) the principal ...
Edward N. Zalta
wiley +1 more source
A classical-logic view on a paraconsistent logic
CoRR, 2020 This paper is concerned with the paraconsistent first-order logic LPQ$^{\supset,\mathsf{F}}$, Priest's LPQ enriched with an implication connective and a falsity constant. A sequent-style natural deduction proof system for this logic is presented and, for this proof system, both a model-theoretic justification and a logical justification by means of an ...
openaire +4 more sources
Paraconsistent Gödel Modal Logic
, 2022 AbstractWe introduce a paraconsistent modal logic$$\mathbf {K}\mathsf {G}^2$$KG2, based on Gödel logic with coimplication (bi-Gödel logic) expanded with a De Morgan negation$$\lnot $$¬. We use the logic to formalise reasoning with graded, incomplete and inconsistent information.
Marta Bílková +2 more
openaire +3 more sources
Paraconsistent Logics for Knowledge Representation and Reasoning: advances and perspectives [PDF]
, 2020 This paper briefly outlines some advancements in paraconsistent logics for modelling knowledge representation and reasoning. Emphasis is given on the so-called Logics of Formal Inconsistency (LFIs), a class of paraconsistent logics that formally ...
Testa, Rafael, Carnielli, Walter A.
core +1 more source
Transreal Arithmetic as a Consistent Basis For Paraconsistent Logics
, 2014 Paraconsistent logics are non-classical logics which allow non-trivial and consistent reasoning about inconsistent axioms. They have been proposed as a formal basis for handling inconsistent data, as commonly arise in human enterprises, and as methods ...
Walter Gomide (563646) +1 more
core +2 more sources
Inferential Interpretations of Many-Valued Logics
LogicsNon-Tarskian interpretations of many-valued logics have been widely explored in the logic literature. The development of non-tarskian conceptions of logical consequence set the theoretical foundations for rediscovering well-known (Tarskian) many-valued ...
Sanderson Molick
doaj +1 more source
Lógicas normativas, moral y derecho
Crítica, 2018 The relationships between moral and legal codes, that is, between specific normative sets, is a traditional problem of ethics, politics and law philosophy. Deontic logics have provided some instruments for a deeper analysis of those relations.
Leila Z. Puga +2 more
doaj +1 more source
A survey of paraconsistent logics
CoRR, 2011 A survey of paraconsistent logics that are prominent representatives of the different approaches that have been followed to develop paraconsistent logics is provided. The paraconsistent logics that will be discussed are an enrichment of Priest's logic LP, the logic RM3 from the school of relevance logic, da Costa's logics Cn, Jaskowski's logic D2, and ...
openaire +2 more sources