Results for 'Paraconsistent Logic'

1000+ found
Order:
See also
  1.  46
    Advances in Contemporary Logic and Computer Science Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil. [REVIEW]Walter A. Carnielli, Itala M. L. D'ottaviano & Brazilian Conference on Mathematical Logic - 1999
    This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society (co-sponsored by the Centre for Logic, Epistemology and the History of Science, State University of Campinas, Sao Paulo) in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  66
    Real Analysis in Paraconsistent Logic.Maarten McKubre-Jordens & Zach Weber - 2012 - Journal of Philosophical Logic 41 (5):901-922.
    This paper begins an analysis of the real line using an inconsistency-tolerant (paraconsistent) logic. We show that basic field and compactness properties hold, by way of novel proofs that make no use of consistency-reliant inferences; some techniques from constructive analysis are used instead. While no inconsistencies are found in the algebraic operations on the real number field, prospects for other non-trivializing contradictions are left open.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  3.  94
    Modal Logic S4 as a Paraconsistent Logic with a Topological Semantics.Marcelo E. Coniglio & Leonardo Prieto-Sanabria - 2017 - In Carlos Caleiro, Francisco Dionisio, Paula Gouveia, Paulo Mateus & João Rasga (eds.), Logic and Computation: Essays in Honour of Amilcar Sernadas. London, UK: College Publications. pp. 171-196.
    In this paper the propositional logic LTop is introduced, as an extension of classical propositional logic by adding a paraconsistent negation. This logic has a very natural interpretation in terms of topological models. The logic LTop is nothing more than an alternative presentation of modal logic S4, but in the language of a paraconsistent logic. Moreover, LTop is a logic of formal inconsistency in which the consistency and inconsistency operators have a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  48
    What is a Paraconsistent Logic?Damian Szmuc, Federico Pailos & Eduardo Barrio - 2018 - In Jacek Malinowski & Walter Carnielli (eds.), Contradictions, From Consistency to Inconsistency. Springer Verlag.
    Paraconsistent logics are logical systems that reject the classical principle, usually dubbed Explosion, that a contradiction implies everything. However, the received view about paraconsistency focuses only the inferential version of Explosion, which is concerned with formulae, thereby overlooking other possible accounts. In this paper, we propose to focus, additionally, on a meta-inferential version of Explosion, i.e. which is concerned with inferences or sequents. In doing so, we will offer a new characterization of paraconsistency by means of which a (...) is paraconsistent if it invalidates either the inferential or the meta-inferential notion of Explosion. We show the non-triviality of this criterion by discussing a number of logics. On the one hand, logics which validate and invalidate both versions of Explosion, such as classical logic and Asenjo–Priest’s 3-valued logic LP. On the other hand, logics which validate one version of Explosion but not the other, such as the substructural logics TS and ST, introduced by Malinowski and Cobreros, Egré, Ripley and van Rooij, which are obtained via Malinowski’s and Frankowski’s q- and p-matrices, respectively. (shrink)
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  25
    Opening Address: Paraconsistent Logic.Newton C. A. Da Costa - 1999 - Logic and Logical Philosophy 7:25.
    I am honoured with and touched by the invitation of delivering the opening address of this Congress. Firstly, to see paraconsistent logic flourishing and growing, as we can readily see by simply glacing over the programme of this conference, is among one of my greatest joys. Secondly, and equally important, because this congress takes place in the University of Toruń.I am honoured for having lectured here, a most congenial and stimulating place, and could not think of a better (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  28
    A Strong Model of Paraconsistent Logic.Olivier Esser - 2003 - Notre Dame Journal of Formal Logic 44 (3):149-156.
    The purpose of this paper is mainly to give a model of paraconsistent logic satisfying the "Frege comprehension scheme" in which we can develop standard set theory (and even much more as we shall see). This is the continuation of the work of Hinnion and Libert.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7.  61
    Paraconsistent Logic.David Ripley - 2015 - Journal of Philosophical Logic 44 (6):771-780.
    In some logics, anything whatsoever follows from a contradiction; call these logics explosive. Paraconsistent logics are logics that are not explosive. Paraconsistent logics have a long and fruitful history, and no doubt a long and fruitful future. To give some sense of the situation, I’ll spend Section 1 exploring exactly what it takes for a logic to be paraconsistent. It will emerge that there is considerable open texture to the idea. In Section 2, I’ll give some (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  15
    Book Review: Carnielli, W., Coniglio, M. Paraconsistent Logic: Consistency, Contradiction and Negation. Logic, Epistemology, and the Unity of Science Series. [REVIEW]Henrique Antunes & Vincenzo Ciccarelli - 2018 - Manuscrito 41 (2):111-122.
    Review of the book "Paraconsistent Logic: Consistency, Contradiction, and Negation by Water Carnielli and Marcelo Coniglio.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  9.  14
    Vasiliev's Paraconsistent Logic Interpreted by Means of the Dual Role Played by the Double Negation Law.Antonino Drago - 2001 - Journal of Applied Non-Classical Logics 11 (3-4):281-294.
    I prove that the three basic propositions of Vasiliev's paraconsistent logic have a semantic interpretation by means of the intuitionist logic. The interpèretation is confirmed by amens of the da Costa's model of Vasiliev's paraconsistent logic.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  23
    Bohr's Atomic Model and Paraconsistent Logic.Pandora Hadzidaki - manuscript
    Bohr’s atomic model is one of the better known examples of empirically successful, albeit inconsistent, theoretical schemes in the history of physics. For this reason, many philosophers use this model to illustrate their position for the occurrence and the function of inconsistency in science. In this paper, I proceed to a critical comparison of the structure and the aims of Bohr’s research program – the starting point of which was the formulation of his model – with some of its contemporary (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  7
    New Directions in Paraconsistent Logic.Jean-Yves Beziau (ed.) - 2015 - New Delhi, India: Springer, India.
    The present book discusses all aspects of paraconsistent logic, including the latest findings, and its various systems. It includes papers by leading international researchers, which address the subject in many different ways: development of abstract paraconsistent systems and new theorems about them; studies of the connections between these systems and other non-classical logics, such as non-monotonic, many-valued, relevant, paracomplete and fuzzy logics; philosophical interpretations of these constructions; and applications to other sciences, in particular quantum physics and mathematics. (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  2
    Contradictoriness, Paraconsistent Negation and Non-Intended Models of Classical Logic.Carlos A. Oller - 2016 - In Holger Andreas & Peter Verdee (eds.), Logical Studies of Paraconsistent Reasoning in Science and Mathematics, Trends In Logic. Dordrecht: Springer. pp. 103-110.
    It is usually accepted in the literature that negation is a contradictory-forming operator and that two statements are contradictories if and only if it is logically impossible for both to be true and logically impossible for both to be false. These two premises have been used by Hartley Slater [Slater, 1995] to argue that paraconsistent negation is not a “real” negation because a sentence and its paraconsistent negation can be true together. In this paper we claim that a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  43
    Axioms for Classical, Intuitionistic, and Paraconsistent Hybrid Logic.Torben Braüner - 2006 - Journal of Logic, Language and Information 15 (3):179-194.
    In this paper we give axiom systems for classical and intuitionistic hybrid logic. Our axiom systems can be extended with additional rules corresponding to conditions on the accessibility relation expressed by so-called geometric theories. In the classical case other axiomatisations than ours can be found in the literature but in the intuitionistic case no axiomatisations have been published. We consider plain intuitionistic hybrid logic as well as a hybridized version of the constructive and paraconsistent logic N4.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  7
    A New Technique for Proving Realisability and Consistency Theorems Using Finite Paraconsistent Models of Cut‐Free Logic.Arief Daynes - 2006 - Mathematical Logic Quarterly 52 (6):540-554.
    A new technique for proving realisability results is presented, and is illustrated in detail for the simple case of arithmetic minus induction. CL is a Gentzen formulation of classical logic. CPQ is CL minus the Cut Rule. The basic proof theory and model theory of CPQ and CL is developed. For the semantics presented CPQ is a paraconsistent logic, i.e. there are non-trivial CPQ models in which some sentences are both true and false. Two systems of arithmetic (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  11
    Paraconsistent Logic: Consistency, Contradiction and Negation.Walter Carnielli & Marcelo E. Coniglio - 2016 - Basel, Switzerland: Springer International Publishing.
  16. On Paraconsistent Deontic Logic.Newton C. A. Costa & Walter A. Carnielli - 1986 - Philosophia 16 (3-4):293-305.
    This paper develops the first deontic logic in the context of paraconsistent logics.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  17.  36
    Partial and Paraconsistent Approaches to Future Contingents in Tense Logic.Seiki Akama, Tetsuya Murai & Yasuo Kudo - 2016 - Synthese 193 (11).
    The problem of future contingents is regarded as an important philosophical problem in connection with determinism and it should be treated by tense logic. Prior’s early work focused on the problem, and later Prior studied branching-time tense logic which was invented by Kripke. However, Prior’s idea to use three-valued logic for the problem seems to be still alive. In this paper, we consider partial and paraconsistent approaches to the problem of future contingents. These approaches theoretically meet (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  26
    On a “Most Telling” Argument for Paraconsistent Logic.Michaelis Michael - 2016 - Synthese 193 (10).
    Priest and others have presented their “most telling” argument for paraconsistent logic: that only paraconsistent logics allow non-trivial inconsistent theories. This is a very prevalent argument; occurring as it does in the work of many relevant and more generally paraconsistent logicians. However this argument can be shown to be unsuccessful. There is a crucial ambiguity in the notion of non-triviality. Disambiguated the most telling reason for paraconsistent logics is either question-begging or mistaken. This highlights an (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  40
    The Class of Extensions of Nelson's Paraconsistent Logic.Sergei P. Odintsov - 2005 - Studia Logica 80 (2-3):291-320.
    The article is devoted to the systematic study of the lattice εN4⊥ consisting of logics extending N4⊥. The logic N4⊥ is obtained from paraconsistent Nelson logic N4 by adding the new constant ⊥ and axioms ⊥ → p, p → ∼ ⊥. We study interrelations between εN4⊥ and the lattice of superintuitionistic logics. Distinguish in εN4⊥ basic subclasses of explosive logics, normal logics, logics of general form and study how they are relate.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  20.  51
    Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic.Koji Tanaka - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 15--25.
    Max Cresswell and Hilary Putnam seem to hold the view, often shared by classical logicians, that paraconsistent logic has not been made sense of, despite its well-developed mathematics. In this paper, I examine the nature of logic in order to understand what it means to make sense of logic. I then show that, just as one can make sense of non-normal modal logics (as Cresswell demonstrates), we can make `sense' of paraconsistent logic. Finally, I (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21.  33
    The Unexpected Applicability of Paraconsistent Logic: A Chomskyan Route to Dialetheism. [REVIEW]Nicholas D. McGinnis - 2013 - Foundations of Science 18 (4):625-640.
    Paraconsistent logics are characterized by rejection of ex falso quodlibet, the principle of explosion, which states that from a contradiction, anything can be derived. Strikingly these logics have found a wide range of application, despite the misgivings of philosophers as prominent as Lewis and Putnam. Such applications, I will argue, are of significant philosophical interest. They suggest ways to employ these logics in philosophical and scientific theories. To this end I will sketch out a ‘naturalized semantic dialetheism’ following Priest’s (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  24
    The Paraconsistent Logic Z. A Possible Solution to Jaśkowski's Problem.Jean-Yves Béziau - 2006 - Logic and Logical Philosophy 15 (2):99-111.
    We present a paraconsistent logic, called Z, based on an intuitive possible worlds semantics, in which the replacement theorem holds. We show how to axiomatize this logic and prove the completeness theorem.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  5
    Extensions of Hałkowska–Zajac's Three-Valued Paraconsistent Logic.Alexej P. Pynko - 2002 - Archive for Mathematical Logic 41 (3):299-307.
    As it was proved in [4, Sect. 3], the poset of extensions of the propositional logic defined by a class of logical matrices with equationally-definable set of distinguished values is a retract, under a Galois connection, of the poset of subprevarieties of the prevariety generated by the class of the underlying algebras of the defining matrices. In the present paper we apply this general result to the three-valued paraconsistent logic proposed by Hałkowska–Zajac [2]. Studying corresponding prevarieties, we (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  24. Aspects of the Historical Development of Paraconsistent Logic.Ayda I. Arruda - 1989 - In G. Priest, R. Routley & J. Norman (eds.), Paraconsistent Logic: Essays on the Inconsistent. Philosophia Verlag. pp. 99--130.
  25.  19
    Remarks on the Epistemic Interpretation of Paraconsistent Logic.Nicolás Lo Guercio & Damian Szmuc - 2018 - Principia: An International Journal of Epistemology 22 (1):153-170.
    In a recent work, Walter Carnielli and Abilio Rodrigues present an epistemically motivated interpretation of paraconsistent logic. In their view, when there is conflicting evidence with regard to a proposition A (i.e. when there is both evidence in favor of A and evidence in favor of ¬A) both A and ¬A should be accepted without thereby accepting any proposition B whatsoever. Hence, reasoning within their system intends to mirror, and thus, should be constrained by, the way in which (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26. Systems of Paraconsistent Logic.Graham Priest & Richard Routley - 1989 - In G. Priest, R. Routley & J. Norman (eds.), Paraconsistent Logic: Essays on the Inconsistent. Philosophia Verlag. pp. 142--155.
     
    Export citation  
     
    Bookmark   9 citations  
  27. An Extremely Rich Paraconsistent Logic and the Adaptive Logic Based on It.Joke Meheus - 2000 - In Frontiers of Paraconsistent Logic. Research Studies Press. pp. 189-201.
    Translate
     
     
    Export citation  
     
    Bookmark   10 citations  
  28.  10
    Paraconsistent Logic, Evidence, and Justification.Melvin Fitting - 2017 - Studia Logica 105 (6):1149-1166.
    In a forthcoming paper, Walter Carnielli and Abilio Rodrigues propose a Basic Logic of Evidence whose natural deduction rules are thought of as preserving evidence instead of truth. BLE turns out to be equivalent to Nelson’s paraconsistent logic N4, resulting from adding strong negation to Intuitionistic logic without Intuitionistic negation. The Carnielli/Rodrigues understanding of evidence is informal. Here we provide a formal alternative, using justification logic. First we introduce a modal logic, KX4, in which (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  65
    Why Paraconsistent Logic Can Only Tell Half the Truth.Joachim Bromand - 2002 - Mind 111 (444):741-749.
    The aim of this paper is to show that Graham Priest's dialetheic account of semantic paradoxes and the paraconsistent logics employed cannot achieve semantic universality. Dialetheism therefore fails as a solution to semantic paradoxes for the same reason that consistent approaches did. It will be demonstrated that if dialetheism can express its own semantic principles, a strengthened liar paradox will result, which renders dialetheism trivial. In particular, the argument is not invalidated by relational valuations, which were brought into (...) logic in order to avoid strengthened liar paradoxes. (shrink)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  30.  12
    5-Valued Non-Deterministic Semantics for The Basic Paraconsistent Logic mCi.Arnon Avron - 2008 - Studies in Logic, Grammar and Rhetoric 14 (27).
    One of the most important paraconsistent logics is the logic mCi, which is one of the two basic logics of formal inconsistency. In this paper we present a 5-valued characteristic nondeterministic matrix for mCi. This provides a quite non-trivial example for the utility and effectiveness of the use of non-deterministic many-valued semantics.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  31.  82
    Remarks on the Applications of Paraconsistent Logic to Physics.Newton C. A. da Costa & Décio Krause - unknown
    In this paper we make some general remarks on the use of non-classical logics, in particular paraconsistent logic, in the foundational analysis of physical theories. As a case-study, we present a reconstruction of P.\ -D.\ F\'evrier's 'logic of complementarity' as a strict three-valued logic and also a paraconsistent version of it. At the end, we sketch our own approach to complementarity, which is based on a paraconsistent logic termed 'paraclassical logic'.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  22
    A Reasoning Method for a Paraconsistent Logic.Arthur Buchsbaum & Tarcisio Pequeno - 1993 - Studia Logica 52 (2):281 - 289.
    A proof method for automation of reasoning in a paraconsistent logic, the calculus C1* of da Costa, is presented. The method is analytical, using a specially designed tableau system. Actually two tableau systems were created. A first one, with a small number of rules in order to be mathematically convenient, is used to prove the soundness and the completeness of the method. The other one, which is equivalent to the former, is a system of derived rules designed to (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  33.  58
    Paraconsistent Logic and Model Theory.Elias H. Alves - 1984 - Studia Logica 43 (1-2):17 - 32.
    The object of this paper is to show how one is able to construct a paraconsistent theory of models that reflects much of the classical one. In other words the aim is to demonstrate that there is a very smooth and natural transition from the model theory of classical logic to that of certain categories of paraconsistent logic. To this end we take an extension of da Costa''sC 1 = (obtained by adding the axiom A A) (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34. Paraconsistent Logic!Jean-Yves Béziau - 2006 - Sorites 17:17-25.
    We answer Slater's argument according to which paraconsistent logic is a result of a verbal confusion between «contradictories» and «subcontraries». We show that if such notions are understood within classical logic, the argument is invalid, due to the fact that most paraconsistent logics cannot be translated into classical logic. However we prove that if such notions are understood from the point of view of a particular logic, a contradictory forming function in this logic (...)
     
    Export citation  
     
    Bookmark   1 citation  
  35.  6
    Laws of Form and Paraconsistent Logic[REVIEW]Jean Paul Van Bendegem - 2017 - Constructivist Foundations 13 (1):21-22.
    The aim of this commentary is to show that a new development in formal logic, namely paraconsistent logic, should be connected with the laws of form. This note also includes some personal history to serve as background.
    Direct download  
     
    Export citation  
     
    Bookmark  
  36. From Paraconsistent Logic to Universal Logic.Jean-Yves Béziau - 2001 - Sorites 12:5-32.
    For several years I have been developing a general theory of logics that I have called Universal Logic. In this article I will try to describe how I was led to this theory and how I have progressively conceived it, starting my researches about ten years ago in Paris in paraconsistent logic and the broadening my horizons, pursuing my researches in Brazil, Poland and the USA.
     
    Export citation  
     
    Bookmark   1 citation  
  37.  35
    Hilbert, Trivialization and Paraconsistent Logic.Andrés Bobenrieth - 2007 - The Proceedings of the Twenty-First World Congress of Philosophy 5:37-43.
    The origin of Paraconsistent Logic is closely related with the argument that from the assertion of two mutually contradictory statements any other statement can be deduced, which can be referred to as ex contradict!one sequitur quodlibet (ECSQ). Despite its medieval origin, only in the 1930s did it become the main reason for the unfeasibility of having contradictions in a deductive system. The purpose of this paper is to study what happened before: from Principia Mathematica to that time, when (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38.  26
    Paraconsistent Logic! (A Reply to Slater) Jean-Yves BéziauFoot Note 1_.Blaise Pascal - unknown
    Paraconsistent logic is the study of logics in which there are some theories embodying contradictions but which are not trivial, in particular in a paraconsistent logic, the ex contradictione sequitur quod libet, which can be formalized as Cn(T, a,¬a)=F is not valid. Since nearly half a century various systems of paraconsistent logic have been proposed and studied. This field of research is classified under a special section (B53) in the Mathematical Reviews and watching this (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  39.  11
    Heuristic Ground of Paraconsistent Logic.Valentin A. Bazhanov - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:5-8.
    The paper deals with the heuristic prerequisites of paraconsistent logic in the case of imaginary logic of N.A. Vasiliev proposed in 1910.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40. Paraconsistent Logic and Weakening of Intuitionistic Negation.Zoran Majkić - 2012 - Journal of Intelligent Systems 21 (3):255-270.
    . A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. In an earlier paper [Notre Dame J. Form. Log. 49, 401–424], we developed the systems of weakening of intuitionistic negation logic, called and, in the spirit of da Costa's approach by preserving, differently from da Costa, the fundamental properties of negation: antitonicity, inversion and additivity for distributive lattices. Taking into account these results, we make some observations on the modified (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  41.  79
    The Paraconsistent Logic of Quantum Superpositions.Newton C. A. da Costa & Christian de Ronde - 2013 - Foundations of Physics 43 (7):845-858.
    Physical superpositions exist both in classical and in quantum physics. However, what is exactly meant by ‘superposition’ in each case is extremely different. In this paper we discuss some of the multiple interpretations which exist in the literature regarding superpositions in quantum mechanics. We argue that all these interpretations have something in common: they all attempt to avoid ‘contradiction’. We argue in this paper, in favor of the importance of developing a new interpretation of superpositions which takes into account contradiction, (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  42.  24
    Algebraic Study of Sette's Maximal Paraconsistent Logic.Alexej P. Pynko - 1995 - Studia Logica 54 (1):89 - 128.
    The aim of this paper is to study the paraconsistent deductive systemP 1 within the context of Algebraic Logic. It is well known due to Lewin, Mikenberg and Schwarse thatP 1 is algebraizable in the sense of Blok and Pigozzi, the quasivariety generated by Sette's three-element algebraS being the unique quasivariety semantics forP 1. In the present paper we prove that the mentioned quasivariety is not a variety by showing that the variety generated byS is not equivalent to (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  43.  42
    G. Priest and R. Routley. First Historical Introduction. A Preliminary History of Paraconsistent and Dialethic Approaches. Paraconsistent Logic, Essays on the Inconsistent, Edited by Graham Priest, Richard Routley, and Jean Norman, Analytica, Philosophia Verlag, Munich, Hamden, and Vienna, 1989, Pp. 3–75. - Ayda I. Arruda. Aspects of the Historical Development of Paraconsistent Logic. Paraconsistent Logic, Essays on the Inconsistent, Edited by Graham Priest, Richard Routley, and Jean Norman, Analytica, Philosophia Verlag, Munich, Hamden, and Vienna, 1989, Pp. 99–130. - G. Priest and R. Routley. Systems of Paraconsistent Logic. Paraconsistent Logic, Essays on the Inconsistent, Edited by Graham Priest, Richard Routley, and Jean Norman, Analytica, Philosophia Verlag, Munich, Hamden, and Vienna, 1989, Pp. 151–186. - G. Priest and R. Routley. Applications of Paraconsistent Logic. Paraconsistent Logic, Essays on the Inconsistent, Edited by Graham Priest, Richard Routley, and Jean Norman, Ana. [REVIEW]F. G. Asenjo - 1991 - Journal of Symbolic Logic 56 (4):1503-1504.
  44.  13
    Paraconsistent Logic: Essays on the Inconsistent.L. R. S., Graham Priest, Richard Sylvan & Jean Norman - 1991 - Philosophical Quarterly 41 (165):515.
  45.  15
    Newton C. A. Da Costa. On the Theory of Inconsistent Formal Systems. Notre Dame Journal of Formal Logic, Vol. 15 , Pp. 497–510. - Newton C. A. Da Costa. The Philosophical Import of Paraconsistent Logic. The Journal of Non-Classical Logic , Vol. 1 , Pp. 1–19. - Newton C. A. Da Costa. On Paraconsistent Set Theory. Logique Et Analyse, N.S. Vol. 29 , Pp. 361–371. - Newton C. A. Da Costa, Jean-Yves Béziau, and Otávio Bueno. Paraconsistent Logic in a Historical Perspective. Logique Et Analyse, Vol. 38 , Pp. 111–126. [REVIEW]Henry Kyburg - 1998 - Journal of Symbolic Logic 63 (3):1183-1184.
  46.  4
    Paraconsistent Logic From a Modal Viewpoint.Jean-Yves Béziau - 2005 - Journal of Applied Logic 3 (1):7-14.
  47. Paraconsistent Logic: Essays on the Inconsistent.G. Priest, R. Routley & J. Norman (eds.) - 1989 - Philosophia Verlag.
     
    Export citation  
     
    Bookmark   55 citations  
  48. Paraconsistent Logic.Graham Priest - 2008 - Stanford Encyclopedia of Philosophy.
  49.  34
    A Routley–Meyer Semantics for Gödel 3-Valued Logic and Its Paraconsistent Counterpart.Gemma Robles - 2013 - Logica Universalis 7 (4):507-532.
    Routley–Meyer semantics (RM-semantics) is defined for Gödel 3-valued logic G3 and some logics related to it among which a paraconsistent one differing only from G3 in the interpretation of negation is to be remarked. The logics are defined in the Hilbert-style way and also by means of proof-theoretical and semantical consequence relations. The RM-semantics is defined upon the models for Routley and Meyer’s basic positive logic B+, the weakest positive RM-semantics. In this way, it is to be (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  50.  7
    Sobre a História da Paraconsistência E a Obra de da Costa: Ainstauração da Lógica Paraconsistente [On the History of Paraconsistency and da Costa’s Work: The Establishment of Paraconsistent Logic]. . 535p + Appendixes.Evandro Luís Gomes - 2018 - Bulletin of Symbolic Logic 24 (4):464-465.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000