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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

A note on dual-intuitionistic logic.Norihiro Kamide - 2003 - Mathematical Logic Quarterly 49 (5):519.
An embedding-based completeness proof for Nelson's paraconsistent logic.Norihiro Kamide - 2010 - Bulletin of the Section of Logic 39 (3/4):205-214.
Priestley Duality for Paraconsistent Nelson’s Logic.Sergei P. Odintsov - 2010 - Studia Logica 96 (1):65-93.
Logic, algebra and computer science, Helena Rasiowa and Cecylia Rauszer in Memoriam.A. Skowron - 1996 - Bulletin of the Section of Logic 25 (3):4.
Natural deduction systems for Nelson's paraconsistent logic and its neighbors.Norihiro Kamide - 2005 - Journal of Applied Non-Classical Logics 15 (4):405-435.
Notes on Craig interpolation for LJ with strong negation.Norihiro Kamide - 2011 - Mathematical Logic Quarterly 57 (4):395-399.
A formalization of the propositional calculus of H-B logic.Cecylia Rauszer - 1974 - Studia Logica 33 (1):23 - 34.
Transition semantics: the dynamics of dependence logic.P. Galliani - 2014 - Synthese 191 (6):1249-1276.
Model theory for an extension of intuitionistic logic.Cecylia Rauszer - 1977 - Studia Logica 36 (1-2):73 - 87.
Applications of Kripke models to Heyting-Brouwer logic.Cecylia Rauszer - 1977 - Studia Logica 36 (1-2):61 - 71.
Knowledge representation systems for groups of agents.Cecylia M. Rauszer - 1994 - In Jan Wolenski (ed.), Philosophical Logic in Poland. Kluwer Academic Publishers. pp. 217--238.
Review: Robert Baum, Logic; David T. Wieck, Quantificational Logic. [REVIEW]Nelson Pole - 1977 - Journal of Symbolic Logic 42 (3):424-425.
Quantized linear logic, involutive quantales and strong negation.Norihiro Kamide - 2004 - Studia Logica 77 (3):355-384.
Representation theorem for distributive pseudo-Boolean algebra.Cecylis Rauszer & Bogdan Sabalski - 1974 - Bulletin of the Section of Logic 3 (3/4):17-21.

Analytics

Added to PP
2014-01-17

Downloads
48 (#324,723)

6 months
4 (#800,606)

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 - forthcoming - Logic Journal of the IGPL.

Add more citations

References found in this work

A useful four-valued logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel.
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 15 references / Add more references