Axiomatization of semigroup consequences

Archive for Mathematical Logic 29 (2):111-123 (1989)
  Copy   BIBTEX

Abstract

We show (1) the consequence determined by a variety V of algebraic semigroup matrices is finitely based iffV is finitely based, (2) the consequence determined by all 2-valued semigroup connectives, Λ, ∨, ↔, +, in other words the collection of common rules for all these connectives, is finitely based. For possible applications see Sect. 0

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,449

External links

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

Through your library

Analytics

Added to PP
2013-11-23

Downloads
30 (#787,710)

6 months
8 (#390,329)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Béziau's Translation Paradox.Lloyd Humberstone - 2005 - Theoria 71 (2):138-181.
False though partly true – an experiment in logic.Lloyd Humberstone - 2003 - Journal of Philosophical Logic 32 (6):613-665.
Singulary extensional connectives: A closer look. [REVIEW]I. L. Humberstone - 1997 - Journal of Philosophical Logic 26 (3):341-356.

Add more citations

References found in this work

Equivalential logics (II).Janusz Czelakowski - 1981 - Studia Logica 40 (4):355 - 372.
2-element matrices.Wolfgang Rautenberg - 1981 - Studia Logica 40 (4):315 - 353.

Add more references