Notes on Wajsberg's Proof of the Separation Theorem

In Jan T. J. Srzednicki (ed.), Initiatives in logic. Boston: M. Nijhoff. pp. 116--127 (1987)
  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,891

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

Algebraic proof of the separation theorem for the infinite-valued logic of Lukasiewicz.Barbara Wozniakowska - 1977 - Bulletin of the Section of Logic 6 (4):186-188.
Algebraic Proof of the Separation Theorem on Classical Propositional Calculus.Tsutomu Hosoi - 1968 - Journal of Symbolic Logic 33 (1):128-129.
Tsutomu Hosoi. Algebraic proof of the separation theorem on classical propositional calculus. Proceedings of the Japan Academy, vol. 42 , pp. 67–69. - Tsutomu Hosoi. Algebraic proof of the separation theorem on Dummett's LC. Proceedings of the Japan Academy, vol. 42 , pp. 693–695. [REVIEW]Alfred Horn - 1968 - Journal of Symbolic Logic 33 (1):128-129.
Rule Separation and Embedding Theorems for Logics Without Weakening.Clint J. van Alten & James G. Raftery - 2004 - Studia Logica 76 (2):241-274.
Rule Separation and Embedding Theorems for Logics Without Weakening.C. J. van Alten & J. G. Raftery - 2004 - Studia Logica 76 (2):241-274.
A proof of topological completeness for S4 in.Grigori Mints & Ting Zhang - 2005 - Annals of Pure and Applied Logic 133 (1-3):231-245.
A Proof Of Topological Completeness For S4 In.Giorgi Mints & Ting Zhang - 2005 - Annals of Pure and Applied Logic 133 (1-3):231-245.
Fermat’s Last Theorem Proved by Induction (and Accompanied by a Philosophical Comment).Vasil Penchev - 2020 - Metaphilosophy eJournal (Elsevier: SSRN) 12 (8):1-8.
The indescribability of the order of the indescribable cardinals.Kai Hauser - 1992 - Annals of Pure and Applied Logic 57 (1):45-91.
Another proof of Wojtylak's theorem.Jacek Hawranek & Jan Zygmunt - 1981 - Bulletin of the Section of Logic 10 (2):80-81.

Analytics

Added to PP
2014-01-28

Downloads
12 (#1,092,892)

6 months
1 (#1,722,086)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

For Want of an ‘And’: A Puzzle about Non-Conservative Extension.Lloyd Humberstone - 2005 - History and Philosophy of Logic 26 (3):229-266.
A mind of a non-countable set of ideas.Alexander Citkin - 2008 - Logic and Logical Philosophy 17 (1-2):23-39.

Add more citations

References found in this work

No references found.

Add more references