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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

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

An absolute first order predicte calculus.Vladimir Smirnov - 1973 - Bulletin of the Section of Logic 2 (1):38-45.
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.
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.
Lukasiewicz logic and Wajsberg algebras.Antonio J. Rodriguez, Antoni Torrens & Ventura Verdú - 1990 - Bulletin of the Section of Logic 19 (2):51-55.
Kripke incompleteness of predicate extentions of Gabbay-de jongh's logic of the finite binary trees.Tatsuya Shimura - 2002 - Bulletin of the Section of Logic 31 (2):111-118.
Mordchaj Wajsberg. Life and works.Stanislaw Surma - 1973 - Bulletin of the Section of Logic 2 (2):91-96.
The conference on the scientific achivement of Mordchaj Wajsberg.Stanislaw Surma - 1973 - Bulletin of the Section of Logic 2 (2):87-90.
First order mathematical logic.Angelo Margaris - 1967 - New York: Dover Publications.
A note on bisimulations of finite Kripke models.Ma Lgorzata Kruszelnicka - 2012 - Bulletin of the Section of Logic 41 (3/4):185-198.

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 Hertrich-Woleński
Jagiellonian University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references