Notes on Wajsberg's Proof of the Separation Theorem

In Jan T. J. Srzednicki (ed.), Initiatives in Logic. 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: 91,829

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

The Priestley duality for wajsberg algebras.N. G. Martínez - 1990 - Studia Logica 49 (1):31 - 46.
Notes on a formalization of the prime number theorem.Jeremy Avigad - unknown
Gleason's theorem has a constructive proof.Fred Richman - 2000 - Journal of Philosophical Logic 29 (4):425-431.
Tait's conservative extension theorem revisited.Ryota Akiyoshi - 2010 - Journal of Symbolic Logic 75 (1):155-167.
Σ1-separation.Fred G. Abramson - 1979 - Journal of Symbolic Logic 44 (3):374 - 382.
Kleene's proof of g¨odel's theorem.Peter Smith - unknown
The Strength of the Rainbow Ramsey Theorem.Barbara F. Csima & Joseph R. Mileti - 2009 - Journal of Symbolic Logic 74 (4):1310 - 1324.
The Intimate Relationship Between the McNaughton and the Chinese Remainder Theorems for MV-algebras.Eduardo J. Dubuc & Yuri Poveda - 2013 - Studia Logica 101 (3):483-485.
Proof-theoretic modal PA-Completeness III: The syntactic proof.Paolo Gentilini - 1999 - Studia Logica 63 (3):301-310.
A short proof of reny's existence theorem for payoff secure games.Pavlo Prokopovych - unknown
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.
A Negation-free Proof of Cantor's Theorem.N. Raja - 2005 - Notre Dame Journal of Formal Logic 46 (2):231-233.

Analytics

Added to PP
2014-01-28

Downloads
12 (#1,084,326)

6 months
1 (#1,469,946)

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