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.

Links

PhilArchive



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

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
2009-01-28

Downloads
27 (#589,377)

6 months
27 (#136,007)

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