On logical systems with implications and theories of algebras

Studia Logica 31 (1):49 - 72 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf02120528

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

A remark on Martin's conjecture.Su Gao - 2001 - Journal of Symbolic Logic 66 (1):401-406.
First-order logical duality.Steve Awodey - 2013 - Annals of Pure and Applied Logic 164 (3):319-348.
Three logical theories.John Corcoran - 1969 - Philosophy of Science 36 (2):153-177.
About the equivalent theories of algebras with relations.Jerzy Kotas - 1972 - Studia Logica 30 (1):79 - 96.
Grishin Algebras and Cover Systems for Classical Bilinear Logic.Robert Goldblatt - 2011 - Studia Logica 99 (1-3):203-227.
Logical systems with implications.Jerzy Kotas - 1971 - Studia Logica 28 (1):101 - 117.

Analytics

Added to PP
2009-01-28

Downloads
38 (#409,607)

6 months
3 (#992,474)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Symbolic Logic.C. I. Lewis & C. H. Langford - 1932 - Erkenntnis 4 (1):65-66.
Cylindric Algebras.Leon Henkin & Alfred Tarski - 1967 - Journal of Symbolic Logic 32 (3):415-416.
An axiom system for the modular logic.Jerzy Kotas - 1967 - Studia Logica 21 (1):17 - 38.
The separation theorem of intuitionist propositional calculus.Alfred Horn - 1962 - Journal of Symbolic Logic 27 (4):391-399.
Allgemeine Logische und Mathematische Theorien.Jerzy Kotas & August Pieczkowski - 1970 - Mathematical Logic Quarterly 16 (6):353-376.

View all 9 references / Add more references