A new proof of structural completeness of Lukasiewicz's logics

Bulletin of the Section of Logic 5 (4):145-150 (1976)
  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

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

On invariant systems and structural completeness of Lukasiewicz's logic.Marek Tokarz - 1972 - Bulletin of the Section of Logic 1 (1):63-68.
On structural completeness of the infinite-valued Lukasiewicz's propositional calculus.Piotr Wojtylak - 1976 - Bulletin of the Section of Logic 5 (4):153-156.
Structural completeness of some fragments of intermediate logics.Tadeusz Prucnal - 1983 - Bulletin of the Section of Logic 12 (1):41-43.
A simpler proof of Sahlqvist's theorem on completeness of modal logics.Giovanni Sambin - 1980 - Bulletin of the Section of Logic 9 (2):50-54.
A syntactical characterization of structural completeness for implicational logics.Piotr Wojtylak - 1990 - Bulletin of the Section of Logic 19 (1):2-8.
Structural completeness of modal logics containing k4.Wies law Dziobiak - 1983 - Bulletin of the Section of Logic 12 (1):32-35.
A Simple Proof of Functional Completeness in Many-Valued Logics Based on Łukasiewicz's C and N.Arto Salomaa - 1965 - Journal of Symbolic Logic 30 (1):105-105.
On Lindenbaum's algebras of finite implicational Lukasiewicz's logics.Marian Maduch - 1976 - Bulletin of the Section of Logic 5 (1):29-31.
On structural completeness of Łukasiewicz's logics.Marek Tokarz - 1972 - Studia Logica 30 (1):53-58.
Structural completeness and the disjunction property of intermediate logics.Tadeusz Prucnal - 1975 - Bulletin of the Section of Logic 4 (2):72-73.

Analytics

Added to PP
2014-02-19

Downloads
18 (#859,738)

6 months
3 (#1,045,901)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Structural Completeness in Fuzzy Logics.Petr Cintula & George Metcalfe - 2009 - Notre Dame Journal of Formal Logic 50 (2):153-182.

Add more citations

References found in this work

Direct product of consequence operations.Jan Zygmunt - 1972 - Bulletin of the Section of Logic 1 (4):61-64.

Add more references