“Large” matrices which induce finite consequence operations

Bulletin of the Section of Logic 8 (2):79-81 (1979)
  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: 92,075

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 note on direct products and ultraproducts of logical matrices.Jan Zygmunt - 1974 - Studia Logica 33 (4):349 - 357.
Logical matrices and non-structural consequence operators.Brunetto Piochi - 1983 - Studia Logica 42 (1):33 - 42.
Some theorems on structural consequence operations.Stephen L. Bloom - 1975 - Studia Logica 34 (1):1 - 9.
Logical matrices and the amalgamation property.Janusz Czelakowski - 1982 - Studia Logica 41 (4):329 - 341.
Reduced products of logical matrices.Janusz Czelakowski - 1980 - Studia Logica 39 (1):19 - 43.
Finite structural axiomatization of every finite-valued propositional calculus.Zdzis?aw Dywan - 1980 - Studia Logica 39 (1):1 - 4.
Dual consequence operations associated with a certain class of logical matrices.Anetta Górnicka - 2000 - Bulletin of the Section of Logic 29 (4):143-150.
On structural completeness of many-valued logics.Piotr Wojtylak - 1978 - Studia Logica 37 (2):139 - 147.
The lattice of strengthenings of a strongly finite consequence operation.Wiesław Dziobiak - 1981 - Studia Logica 40 (2):177 - 193.
2-element matrices.Wolfgang Rautenberg - 1981 - Studia Logica 40 (4):315 - 353.
On strongly finite consequence operations.Wies law Dziobiak - 1979 - Bulletin of the Section of Logic 8 (2):87-92.
General logic-systems and finite consequence operators.Robert A. Herrmann - 2007 - Logica Universalis 1 (1):201-208.
Algebras and matrices for annotated logics.R. A. Lewin, I. F. Mikenberg & M. G. Schwarze - 2000 - Studia Logica 65 (1):137-153.
Model-theoretic investigations into consequence operation (cn) in quantum logics: An algebraic approach.Piotr Wilczek - unknown

Analytics

Added to PP
2014-02-19

Downloads
19 (#801,020)

6 months
1 (#1,474,534)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Ω-saturated matrices.Janusz Czelakowski - 1979 - Bulletin of the Section of Logic 8 (3):120-122.

Add more citations

References found in this work

No references found.

Add more references