Wajsberg on the first-order predicate calculus for the finite models

Bulletin of the Section of Logic 2 (2):107-111 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,888

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

My notes

Similar books and articles

On Some Applied First-Order Theories which Can Be Represented by Definitions.Vladimir Shalack - 2015 - Bulletin of the Section of Logic 44 (1/2):19-24.
A Predicate Calculus With Formulas Which Lose Sense And The Corresponding Propositional Calculus.Krystyna Pirog-Rzepecka - 1973 - Bulletin of the Section of Logic 2 (1):22-29.
Finite structural axiomatization of every finite-valued propositional calculus.Zdzislaw Dywan - 1979 - Bulletin of the Section of Logic 8 (2):61-65.
An absolute first order predicte calculus.Vladimir Smirnov - 1973 - Bulletin of the Section of Logic 2 (1):38-45.
Predicate calculus of arbitrarily high finite order.M. W. Bunder - 1983 - Archive for Mathematical Logic 23 (1):1-10.
Lukasiewicz logic and Wajsberg algebras.Antonio J. Rodriguez, Antoni Torrens & Ventura Verdú - 1990 - Bulletin of the Section of Logic 19 (2):51-55.
Omitting types for finite variable fragments of first order logic.T. Sayed Ahmed - 2003 - Bulletin of the Section of Logic 32 (3):103-107.
Finite limitations on a propositional calculus for affirmation and negation.George Epstein & Alfred Horn - 1974 - Bulletin of the Section of Logic 3 (1):43-44.
Mordchaj Wajsberg. Life and works.Stanislaw Surma - 1973 - Bulletin of the Section of Logic 2 (2):91-96.
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.

Analytics

Added to PP
2015-02-02

Downloads
0

6 months
0

Historical graph of downloads

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

Author's Profile

Jan Wolenski
Jagiellonian University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references