On Some Method Of Axiomatization Of Some Propositional Calculi

Bulletin of the Section of Logic 15 (2):52-56 (1986)
  Copy   BIBTEX


In this paper ∗ a simple method for the finite axiomatization of some propositional logics determined by finite matrices is given. Particular examples of such logics are the finite valued: Lukasiewicz’s logics, modal logics containing S4, and intermediate logics in various connectives versions



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

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Note on generalized matrix semantics and the problem of supremum.Zbigniew Stachniak - 1988 - Bulletin of the Section of Logic 17 (2):82-86.
Remark on a finite axiomatization of finite intermediate propositional logics.D. Skvortsov - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):381-386.
On a Method of Axiomatization of Some Propositional Calculi.Zdzislaw Dywan - 1987 - Mathematical Logic Quarterly 33 (1):65-68.
On some method of axiomatization of some propositional calculi.Zdzis law Dywan - 1986 - Bulletin of the Section of Logic 15 (2):52-56.
Paraconsistent sequential calculi.V. M. Popov - 1988 - Bulletin of the Section of Logic 17 (3/4):148-153.


Added to PP


6 months

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references