Wajsberg normal forms for S

Journal of Philosophical Logic 4 (3):357 - 360 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00262043

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,551

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

Schumm G. F.. On some open questions of B. Sobociński. Notre Dame Journal of format logic, vol. 10 no. 3 , pp. 261–262.R. A. Bull - 1971 - Journal of Symbolic Logic 36 (2):329-329.
Complete and atomic algebras of the infinite valued łukasiewicz logic.Roberto Cignoli - 1991 - Studia Logica 50 (3-4):375 - 384.
A combinatory account of internal structure.Barry Jay & Thomas Given-Wilson - 2011 - Journal of Symbolic Logic 76 (3):807 - 826.
Mordchaj Wajsberg. Life and works.Stanislaw Surma - 1973 - Bulletin of the Section of Logic 2 (2):91-96.
Minimizing disjunctive normal forms of pure first-order logic.Timm Lampert - 2017 - Logic Journal of the IGPL 25 (3):325-347.
Lukasiewicz logic and Wajsberg algebras.Antonio J. Rodriguez, Antoni Torrens & Ventura Verdú - 1990 - Bulletin of the Section of Logic 19 (2):51-55.
The conference on the scientific achivement of Mordchaj Wajsberg.Stanislaw Surma - 1973 - Bulletin of the Section of Logic 2 (2):87-90.
Logical works, by Wajsberg Mordchaj. Edited and with an introduction by Surma Stanisław J.. ZakВad Narodowy imienia Ossolińskich, Wydawnictwo Polskiej Akademii Nauk, Wrocław etc. 1977, 216 pp.Surma Stanisław J.. Mordchaj Wajsberg. Life and work. Pp. 7–11.Wajsberg Mordchaj. Axiomatization of the three-valued propositional calculus. Pp. 12–29. A reprint of XXXV 442 .Wajsberg Mordchaj. On the axiom system of propositional calculus. Pp. 30–36. English translation of 4372.Wajsberg Mordchaj. A new axiom of propositional calculus in Sheffer's sbmbols. Pp. 37–39. English translation of 4373.Wajsberg Mordchaj. Investigations of functional calculus for finite domain of individuals. Pp. 40–49. English translation of 4374.Wajsberg Mordchaj. An extended class calculus. Pp. 50–61. English translation of 4375.Wajsberg Mordchaj. A contribution to metamathematics. Pp. 62–88. English translation of 4376.Wajsberg Mordchaj. Contributions to meta-calculus of propositions I. Pp. 89–106. English translation. [REVIEW]Storrs McCall - 1983 - Journal of Symbolic Logic 48 (3):873-874.
The Logical Work of Mordchaj Wajsberg.Stanisław J. Surma - 1987 - In Jan T. J. Srzednicki (ed.), Initiatives in logic. Boston: M. Nijhoff. pp. 101--115.

Analytics

Added to PP
2009-01-28

Downloads
40 (#563,866)

6 months
7 (#718,806)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

A conjunctive normal form for S3.5.M. J. Cresswell - 1969 - Journal of Symbolic Logic 34 (2):253-255.

Add more references