On the depth of a consequence operation

Bulletin of the Section of Logic 6 (3):96-101 (1977)
  Copy   BIBTEX

Abstract

In this paper we dene a concept of depth of a consequence operation which seems to have a few useful properties. To make our denition worth- while we shall show that the concept of depth leads to a strengthening of the well-known theorem of R. Wojcicki [4]. For unexplained terminology and notations we refer the reader to R. Wojcicki [5]. Algebras and matrices con- sidered in this paper are of the same similarity type indicating a sequence of nitary operations

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,458

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On strongly finite consequence operations.Wieslaw Dziobiak - 1979 - Bulletin of the Section of Logic 8 (2):87-92.
A Finite Base For The Consequence Operation.Pawel Idziak - 1983 - Bulletin of the Section of Logic 12 (2):76-80.
On standard consequence operations in the implicationless language.Ewa Capinska - 1979 - Bulletin of the Section of Logic 8 (4):202-204.
Remarks on characteristic consequence operation.Marek Nowak - 1987 - Bulletin of the Section of Logic 16 (1):11-20.
A characterization of consequence operations preserving degrees of truth.Marek Nowak - 1987 - Bulletin of the Section of Logic 16 (4):159-165.
An example of the commutative BCK-algebra.Marek Palasinski - 1980 - Bulletin of the Section of Logic 9 (4):163-165.
Some remarks on axiomatizing logical consequence operations.Jacek Malinowski - 2005 - Logic and Logical Philosophy 14 (1):103-117.

Analytics

Added to PP
2014-02-19

Downloads
32 (#708,450)

6 months
5 (#1,047,105)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

A propositional calculus with denumerable matrix.Michael Dummett - 1959 - Journal of Symbolic Logic 24 (2):97-106.

Add more references