Maximal weakly-intuitionistic logics

Studia Logica 55 (1):181 - 203 (1995)
  Copy   BIBTEX


This article introduces the three-valuedweakly-intuitionistic logicI 1 as a counterpart of theparaconsistent calculusP 1 studied in [11].I 1 is shown to be complete with respect to certainthree-valued matrices. We also show that in the sense that any proper extension ofI 1 collapses to classical logic.The second part shows thatI 1 is algebraizable in the sense of Block and Pigozzi (cf. [2]) in a way very similar to the algebraization ofP 1 given in [8].



    Upload a copy of this work     Papers currently archived: 76,400

External links

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

Through your library


Added to PP

40 (#294,214)

6 months
2 (#300,644)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Walter Carnielli
University of Campinas

References found in this work

An Algebraic Approach to Non-Classical Logics.Helena Rasiowa - 1974 - Amsterdam, Netherlands: Warszawa, Pwn - Polish Scientific Publishers.

Add more references