Application of the theory of logical matrices in the independence proof

Bulletin of the Section of Logic 2 (2):121-126 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

No versions found

Links

PhilArchive



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

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

On a certain method of producing logical matrices.Zdzislaw Dywan - 1985 - Bulletin of the Section of Logic 14 (1):2-5.
On a certain method of producing logical matrices.Zdzis law Dywan - 1985 - Bulletin of the Section of Logic 14 (1):2-5.
Entailment relations and matrices I.Jan Zygmunt - 1979 - Bulletin of the Section of Logic 8 (2):112-115.
Another proof of Wojtylak's theorem.Jacek Hawranek & Jan Zygmunt - 1981 - Bulletin of the Section of Logic 10 (2):80-81.
Correspondence theory in proof theory.Andrzej Indrzejczak - 2008 - Bulletin of the Section of Logic 37 (3/4):171-183.
Axiomatizability of finite matrices.Wladyslaw Szczech - 1973 - Bulletin of the Section of Logic 2 (2):118-120.
Matrices For Predicate Logics.Jacek Hawranek & Marek Tokarz - 1977 - Bulletin of the Section of Logic 6 (1):27-30.
Many-valued referential matrices.Grzegorz Malinowski - 1995 - Bulletin of the Section of Logic 24 (3):140-146.

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

Wojciech Suchoń
Jagiellonian University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references