Advertisement

Studia Logica

, Volume 55, Issue 1, pp 181–203 | Cite as

Maximal weakly-intuitionistic logics

  • A. M. Sette
  • Walter A. Carnielli
Article

Abstract

This article introduces the three-valuedweakly-intuitionistic logicI1 as a counterpart of theparaconsistent calculusP1 studied in [11].I1 is shown to be complete with respect to certainthree-valued matrices. We also show that in the sense that any proper extension ofI1 collapses to classical logic.

The second part shows thatI1 is algebraizable in the sense of Block and Pigozzi (cf. [2]) in a way very similar to the algebraization ofP1 given in [8].

In the last part of the paper we suggest the definition of certain hierarchies of finite-valued propositional paraconsistent and weakly-intuitionistic calculi, and comment on their intrinsic interest.

Keywords

Mathematical Logic Computational Linguistic Classical Logic Intrinsic Interest Proper Extension 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    A. I. Arruda, A survey of paraconsistent logic, in: A.I. Arruda, N. C. A. da Costa, and R Chuaqui, editors,Mathematical logic in Latin America, pages 1–41. North-Holland, 1980.Google Scholar
  2. [2]
    W. J. Block and D. Pigozzi, Algebraizable logics,Memoirs of the American Mathematical Society, 77(396), 1989.Google Scholar
  3. [3]
    Suzana Laino Cândido, Sobre a lógica não-alética, Master's thesis, Pontificia Universidade de São Paulo, São Paulo, Brazil, 1992.Google Scholar
  4. [4]
    Walter A. Carnielli, Systematization of the finite many-valued logics through the method of tableaux,The Journal of Symbolic Logic, 52:473–493, 1987.Google Scholar
  5. [5]
    Walter A. Carnielli, Many-valued logics and plausible reasoning, in:Proceedings of Intl. Symp. on Multiple-valued Logic, Charlotte, 1990. IEEE.Google Scholar
  6. [6]
    S. Haack,Philosophy of logics, Cambridge University Press, 1978.Google Scholar
  7. [7]
    Andrea Loparičand Newton C. A. da Costa, Paraconsistency, paracompleteness and induction,Logique et Analyse, 113:73–80, 1986.Google Scholar
  8. [8]
    R.A. Lewin, I. F. Mikenberg, and M. G. Schwarze, Algebraization of paraconsistent logicp 1,The Journal of Non-Classical Logic, 7(2):145–154, 1990.Google Scholar
  9. [9]
    H. Rasiowa,An Algebraic Approach to Non-Classical Logics, North-Holland Publ. Co., Amsterdam, 1974.Google Scholar
  10. [10]
    Dana Scott, Does many-valued logic have any use? in: S. Körner, editor,Philosophy of Logic. Blackwell, Oxford, 1976.Google Scholar
  11. [11]
    A. M. Sette, On the propositional calculusp 1,Mathematic Japonicae, 18(13):173–180, 1973.Google Scholar

Copyright information

© Kluwer Academic Publishers 1995

Authors and Affiliations

  • A. M. Sette
    • 1
  • Walter A. Carnielli
    • 1
  1. 1.Group for Pure and Applied Logic Center for Logic and Epistemology and IFCHState University of CampinasCampinas, SPBrazil

Personalised recommendations