A maximal lattice of implicational logics'

Bulletin of the Section of Logic 27:29-32 (1992)
  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: 100,154

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

Lattices of implicational logics.A. Karpenko - 1992 - Bulletin of the Section of Logic 21 (3).
On Lindenbaum's algebras of finite implicational Lukasiewicz's logics.Marian Maduch - 1976 - Bulletin of the Section of Logic 5 (1):29-31.
A syntactical characterization of structural completeness for implicational logics.Piotr Wojtylak - 1990 - Bulletin of the Section of Logic 19 (1):2-8.
The lattice of modal logics (preliminary report).W. J. Blok - 1977 - Bulletin of the Section of Logic 6 (3):112-114.
BCI-algebras from the point of view of logic.Jacek K. Kabzinski - 1983 - Bulletin of the Section of Logic 12 (3):126-128.
A Note On Implicational Consequences.Wolfgang Rautenberg - 1985 - Bulletin of the Section of Logic 14 (3):103-106.
Lattices of Theories in Languages without Equality.J. B. Nation - 2013 - Notre Dame Journal of Formal Logic 54 (2):167-175.
On functions definiable in implicational algebras.Pawe L. Bielak - 1974 - Bulletin of the Section of Logic 3 (3/4):24-26.
On Functions Definable In Implicational Algebras.Pawel Bielak - 1974 - Bulletin of the Section of Logic 3 (3-4):24-26.
Models of three-valued calculi in implicational s5.Dolph Ulrich - 1983 - Bulletin of the Section of Logic 12 (2):73-75.

Analytics

Added to PP
2014-01-22

Downloads
76 (#272,654)

6 months
3 (#1,464,642)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Relevant entailment--semantics and formal systems.Arnon Avron - 1984 - Journal of Symbolic Logic 49 (2):334-342.

Add more references