A proof of Ryszard Wójcicki's conjecture

Bulletin of the Section of Logic 7 (1):20-23 (1978)
  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: 101,667

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

Professor Grzegorz Malinowski in Honorem.Andrzej Indrzejczak & Janusz Ciuciura - 2017 - Bulletin of the Section of Logic 46 (1/2).
A Proof Of A Conjecture Of R.Suszko.Stanislaw Zachorowski - 1975 - Bulletin of the Section of Logic 4 (3):115-118.
A proof of a conjecture of R. Suszko.Stanis law Zachorowski - 1975 - Bulletin of the Section of Logic 4 (3):115-117.
Book Review: Grzegorz Malinowski Many-Valued Logics. [REVIEW]Alasdair Urquhart - 1994 - Notre Dame Journal of Formal Logic 35 (3):469-470.
A new proof of Friedman's conjecture.Liang Yu - 2011 - Bulletin of Symbolic Logic 17 (3):455-461.
A Completeness Proof For An Infinitary Tense Logic.Goran Sundholm - 1977 - Bulletin of the Section of Logic 6 (2):70-72.
Correspondence theory in proof theory.Andrzej Indrzejczak - 2008 - Bulletin of the Section of Logic 37 (3/4):171-183.
An embedding-based completeness proof for Nelson's paraconsistent logic.Norihiro Kamide - 2010 - Bulletin of the Section of Logic 39 (3/4):205-214.
A short proof for the completeness of paramodulacion.Gábor Sági - 2010 - Bulletin of the Section of Logic 39 (3/4):147-152.
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.

Analytics

Added to PP
2014-02-19

Downloads
17 (#1,159,079)

6 months
2 (#1,691,363)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Grzegorz Malinowski
University of Lodz

Citations of this work

Equivalential logics (II).Janusz Czelakowski - 1981 - Studia Logica 40 (4):355 - 372.
Referentiality and Matrix Semantics.Grzegorz Malinowski - 2011 - Studia Logica 97 (2):297 - 312.

Add more citations

References found in this work

An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.

Add more references