The logic of algebraic rules as a generalization of equational logic

Studia Logica 42 (2-3):251 - 257 (1983)
  Copy   BIBTEX

Abstract

In this paper we start an investigation of a logic called the logic of algebraic rules. The relation of derivability of this logic is defined on universal closures of special disjunctions of equations extending the relation of derivability of the usual equational logic. The paper contains some simple theorems and examples given in justification for the introduction of our logic. A number of open questions is posed.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,623

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 Equational Completeness Theorems.Tommaso Moraschini - 2022 - Journal of Symbolic Logic 87 (4):1522-1575.
The logic of Peirce algebras.Maarten De Rijke - 1995 - Journal of Logic, Language and Information 4 (3):227-250.
The logic of Peirce algebras.Maarten Rijke - 1995 - Journal of Logic, Language and Information 4 (3):227-250.
Logic may be simple. Logic, congruence and algebra.Jean-Yves Béziau - 1997 - Logic and Logical Philosophy 5:129-147.
Derivability of rules from rule complexes.Anna Gomolińska - 2002 - Logic and Logical Philosophy 10:21.

Analytics

Added to PP
2009-01-28

Downloads
27 (#590,333)

6 months
1 (#1,750,169)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On complete bundles of locally valid identities.Tomasz Furmanowski - 1984 - Bulletin of the Section of Logic 13 (4):202-205.

Add more citations

References found in this work

Reduced products of logical matrices.Janusz Czelakowski - 1980 - Studia Logica 39 (1):19 - 43.
2-element matrices.Wolfgang Rautenberg - 1981 - Studia Logica 40 (4):315 - 353.
Universal Algebra.George Grätzer - 1982 - Studia Logica 41 (4):430-431.
On finitely based consequence operations.Andrzej Wroński - 1976 - Studia Logica 35 (4):453 - 458.

Add more references