A note on the logic of signed equations

Studia Logica 41 (1):75 - 81 (1982)
  Copy   BIBTEX

Abstract

A signed -equation is an expression of the form t t or t t, where t and t are -terms (for some ranked set ). We characterize those classes of -algebras which are models of a set of signed -equations. Further we consider the problem of finding a complete deductive system analogous to equational logic for the logical consequence operation restricted to signed equations.

Categories

Keywords

Reprint years

DOI

10.1007/bf00373494

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,953

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

Compactness in equational logic.G. Weaver - 2005 - Reports on Mathematical Logic:25-46.
The notion of independence in categories of algebraic structures, part I: Basic properties.Gabriel Srour - 1988 - Annals of Pure and Applied Logic 38 (2):185-213.
A stochastic derivation of the Sivashinsky equation for the self-turbulent motion of a free particle.Kh Namsrai - 1980 - Foundations of Physics 10 (9-10):731-742.
Equational characterization of the subvarieties of BL generated by t-Norm algebras.Fransesc Esteva, Lluís Godo & Franco Montagna - 2004 - Studia Logica 76 (2):161 - 200.
On notions of representability for cylindric‐polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality.Tarek Sayed Ahmed - 2015 - Mathematical Logic Quarterly 61 (6):418-477.
Complexity of equational theory of relational algebras with projection elements.Szabolcs Mikulás, Ildikó Sain & Andras Simon - 1992 - Bulletin of the Section of Logic 21 (3):103-111.
Equational Characterization of the Subvarieties of BL Generated by t-norm Algebras.F. Esteva, L. Godo & F. Montagna - 2004 - Studia Logica 76 (2):161-200.
An Open Problem In.David Miller - unknown
The abstract variable-binding calculus.Don Pigozzi & Antonino Salibra - 1995 - Studia Logica 55 (1):129 - 179.
Cellularity of Pseudo-Tree Algebras.Jennifer Brown - 2006 - Notre Dame Journal of Formal Logic 47 (3):353-359.

Analytics

Added to PP
2009-01-28

Downloads
27 (#608,353)

6 months
1 (#1,514,069)

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

Universal Algebra.George Grätzer - 1982 - Studia Logica 41 (4):430-431.

Add more references