- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4
Logic Journal of the IGPL 24 (5) (2016)
Abstract
This article has no associated abstract. (fix it)Author Profiles
My notes
Similar books and articles
Dual Equivalent Two-valued Under-determined and Over-determined Interpretations for Łukasiewicz's 3-valued Logic Ł3.Gemma Robles, Francisco Salto & José M. Méndez - 2013 - Journal of Philosophical Logic (2-3):1-30.
Strengthening Brady’s Paraconsistent 4-Valued Logic BN4 with Truth-Functional Modal Operators.José M. Méndez & Gemma Robles - 2016 - Journal of Logic, Language and Information 25 (2):163-189.
The logic determined by Smiley’s matrix for Anderson and Belnap’s first-degree entailment logic.José M. Méndez & Gemma Robles - 2016 - Journal of Applied Non-Classical Logics 26 (1):47-68.
Nothing but the Truth.Andreas Pietz & Umberto Rivieccio - 2013 - Journal of Philosophical Logic 42 (1):125-135.
How to avoid deviance (in logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
On Rine's view of Boolean algebras.George Epstein - 1981 - Bulletin of the Section of Logic 10 (2):91-92.
Unification of Two Approaches to Quantum Logic: Every Birkhoff -von Neumann Quantum Logic is a Partial Infinite-Valued Łukasiewicz Logic.Jarosław Pykacz - 2010 - Studia Logica 95 (1-2):5 - 20.
A Routley-Meyer semantics for truth-preserving and well-determined Lukasiewicz 3-valued logics.G. Robles & J. M. Mendez - 2014 - Logic Journal of the IGPL 22 (1):1-23.
Algorithmic logic. Multiple-valued extensions.Helena Rasiowa - 1979 - Studia Logica 38 (4):317 - 335.
Three-valued logics in modal logic.Barteld Kooi & Allard Tamminga - 2013 - Studia Logica 101 (5):1061-1072.
Entailment and bivalence.Fred Seymour Michael - 2002 - Journal of Philosophical Logic 31 (4):289-300.
On łukasiewicz's four-valued modal logic.Josep Maria Font & Petr Hájek - 2002 - Studia Logica 70 (2):157-182.
Many-valued reflexive autoepistemic logic.C. Koutras & S. Zachos - 2000 - Logic Journal of the IGPL 8 (1):33-54.
Analytics
Added to PP
2016-06-30
Downloads
17 (#795,850)
6 months
6 (#349,140)
2016-06-30
Downloads
17 (#795,850)
6 months
6 (#349,140)
Historical graph of downloads
Author Profiles
Citations of this work
A note on functional relations in a certain class of implicative expansions of FDE related to Brady’s 4-valued logic BN4.Gemma Robles & José M. Méndez - forthcoming - Logic Journal of the IGPL.
Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B.Sandra M. López - 2022 - Bulletin of the Section of Logic 51 (1):27-56.
Note on 'Normalisation for Bilateral Classical Logic with some Philosophical Remarks'.Nils Kürbis - 2021 - Journal of Applied Logics 7 (8):2259-2261.
A Class of Implicative Expansions of Belnap-Dunn Logic in which Boolean Negation is Definable.Gemma Robles & José M. Méndez - 2023 - Journal of Philosophical Logic 52 (3):915-938.
References found in this work
Intuitive semantics for first-degree entailments and 'coupled trees'.J. Michael Dunn - 1976 - Philosophical Studies 29 (3):149-168.
Completeness proofs for the systems RM3 and BN4.Ross T. Brady - 1982 - Logique Et Analyse 25 (97):9.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-67c5d994d4-9fnpl uwo