On the {↔, ∼} -reduct of the intuitionistic consequence operation

Studia Logica 40 (1):55 - 66 (1981)
  Copy   BIBTEX

Abstract

The intuitionistic consequence operation restricted to the language with (equivalence) and (negation) as the only connectives is axiomatized by means of a finite set of sequential rules of inference.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

External links

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

Through your library

Analytics

Added to PP
2009-01-28

Downloads
39 (#354,726)

6 months
2 (#658,848)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Fregean logics.J. Czelakowski & D. Pigozzi - 2004 - Annals of Pure and Applied Logic 127 (1-3):17-76.

Add more citations

References found in this work

On the intuitionistic equivalential calculus.Robert E. Tax - 1973 - Notre Dame Journal of Formal Logic 14 (4):448-456.

Add more references