A relationship between Rauszer's HB logic and Nelson's logic'

Bulletin of the Section of Logic 33 (4):237-249 (2004)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,824

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

An embedding-based completeness proof for Nelson's paraconsistent logic.Norihiro Kamide - 2010 - Bulletin of the Section of Logic 39 (3/4):205-214.
On the embedding of Nelson's logics.S. P. Odintsov - 2002 - Bulletin of the Section of Logic 31 (4):241-248.
Norihiro Kamide and Heinrich Wansing, Proof Theory of N4-related Paraconsistent Logics. Studies in Logic vol. 54. College Publications, 2015, pp. 414. ISBN-13: 978-1848901674 (paperback) $20.50. [REVIEW]Yaroslav Shramko - 2017 - Studia Logica 105 (3):665-668.
Łukasiewicz Negation and Many-Valued Extensions of Constructive Logics.Thomas Macaulay Ferguson - 2014 - In Proc. 44th International Symposium on Multiple-Valued Logic. IEEE Computer Society Press. pp. 121-127.
A note on relationship between the consequence operations cn and dcn.Anna Gomolinska & Justyna K. Myslinska - 2000 - Bulletin of the Section of Logic 29 (1/2):63-67.
On a relationship between some classes of elimination operators and some classes of families of sets.Grzegorz Bryll & Robert Sochacki - 2000 - Bulletin of the Section of Logic 29 (4):161-170.
Relations between paraconsistent logic and many-valued logic.Newton Ca da Costa & Elias H. Alves - 1981 - Bulletin of the Section of Logic 10 (4):185-191.
A note on dual-intuitionistic logic.Norihiro Kamide - 2003 - Mathematical Logic Quarterly 49 (5):519.
On the equivalence between some systems of non-classical logic.E. H. Alves & A. M. Sette - 1996 - Bulletin of the Section of Logic 25:68-72.
and the existence of strong divisible closures (ACA0). Section 8 deals more directly with computability issues and discusses the relationship between Π0. [REVIEW]Reed Solomon - 1999 - Bulletin of Symbolic Logic 5 (1).

Analytics

Added to PP
2014-01-17

Downloads
54 (#447,428)

6 months
2 (#1,371,221)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Gentzen-Type Methods for Bilattice Negation.Norihiro Kamide - 2005 - Studia Logica 80 (2-3):265-289.
Symmetric and conflated intuitionistic logics.Norihiro Kamide - 2025 - Logic Journal of the IGPL 33 (2).

Add more citations

References found in this work

Constructible falsity.David Nelson - 1949 - Journal of Symbolic Logic 14 (1):16-26.
Constructible falsity and inexact predicates.Ahmad Almukdad & David Nelson - 1984 - Journal of Symbolic Logic 49 (1):231-233.
Dual-Intuitionistic Logic.Igor Urbas - 1996 - Notre Dame Journal of Formal Logic 37 (3):440-451.

View all 14 references / Add more references