Results 81 to 90 of about 2,727 (208)
Relevant Logics Obeying Component Homogeneity [PDF]
, 2018 This paper discusses three relevant logics that obey Component Homogeneity - a principle that Goddard and Routley introduce in their project of a logic of significance. The paper establishes two main results.
Ciuni, Roberto +2 more
core +1 more source
The Logic of Truth in Paraconsistent Internal Realism
Studia Philosophica Estonica, 2008 The paper discusses which modal principles should hold for a truth operator answering to the truth theory of internal realism. It turns out that the logic of truth in internal realism is isomorphic to the modal system S4.
Manuel Bremer
doaj
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
Meeting Hintikka's Challenge to Paraconsistentism
Principia: An International Journal of Epistemology, 2009 Jaakko Hintikka, in a series of talks in Brazil in 2008, defended that IF (“independence- friendly”) logic and paraconsistent logic are, in a sense, very similar.
Walter Carnielli
doaj
Potentiality and Contradiction in Quantum Mechanics [PDF]
, 2014 Following J.-Y.B\'eziau in his pioneer work on non-standard interpretations of the traditional square of opposition, we have applied the abstract structure of the square to study the relation of opposition between states in superposition in orthodox ...
Arenhart, Jonas R. B., Krause, Décio
core +2 more sources
Normality Operators and Classical Collapse [PDF]
, 2018 In this paper, we extend the expressive power of the logics K3, LP and FDE with anormality operator, which is able to express whether a for-mula is assigned a classical truth value or not.
Carrara, Massimiliano, Ciuni, Roberto
core
On neutrosophic paraconsistent topology [PDF]
Kybernetes, 2010 PurposeRecently, F. Smarandache generalized the Atanassov's intuitionistic fuzzy sets and other kinds of sets to neutrosophic sets (NSs). Also, this author introduced a general definition of neutrosophic topology. On the other hand, there exist various kinds of paraconsistent logics, where some contradiction is admissible.
openaire +1 more source
Remarks on an algebraic semantics for paraconsistent Nelson's logic
Manuscrito, 2011 In the paper Busaniche and Cignoli (2009) we presented a quasivariety of commutative residuated lattices, called NPc-lattices, that serves as an algebraic semantics for paraconsistent Nelson's logic.
Manuela Busaniche, Roberto Cignoli
doaj +1 more source
Why and how to be a Dialetheist
Studia Philosophica Estonica, 2008 In the first part the paper rehearses the main arguments why to be a dialetheist (i.e. why to assume that some contradictions are true). Dialetheism, however, has been criticised as irrational or self-refutating.
Manuel Bremer
doaj
, 2011 Four options for assigning a meaning to Islamic Logic are surveyed including a new proposal for an option named "Real Islamic Logic" (RIL). That approach to Islamic Logic should serve modern Islamic objectives in a way comparable to the functionality of ...
Bergstra, Jan Aldert
core +1 more source