Studia Logica 41 (1):75 - 81 (1982)
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.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
Citations of this work BETA
No citations found.
Similar books and articles
Solving Pell Equations Locally in Models of Iδ.Paola D'Aquino - 1998 - Journal of Symbolic Logic 63 (2):402 - 410.
Negative Probabilities and the Uses of Signed Probability Theory.Edward H. Allen - 1976 - Philosophy of Science 43 (1):53-70.
Nonfinite Axiomatizability Results for Cylindric and Relation Algebras.Roger D. Maddux - 1989 - Journal of Symbolic Logic 54 (3):951-974.
Squares in Fork Arrow Logic.Renata P. de Freitas, Jorge P. Viana, Mario R. F. Benevides, Sheila R. M. Veloso & Paulo A. S. Veloso - 2003 - Journal of Philosophical Logic 32 (4):343-355.
Squares in Fork Arrow Logic.Renata P. De Freitas, Jorge P. Viana, Mario R. F. Benevides, Sheila R. M. Veloso & Paulo A. S. Veloso - 2003 - Journal of Philosophical Logic 32 (4):343 - 355.
Square-Root Models for the Volterra Equations and the Explicit Solution of These Models.M. Arrigoni & A. Steiner - 1983 - Acta Biotheoretica 32 (2):123-142.
The Logic of Recursive Equations.A. J. C. Hurkens, Monica McArthur, Yiannis N. Moschovakis, Lawrence S. Moss & Glen T. Whitney - 1998 - Journal of Symbolic Logic 63 (2):451-478.
Free Set Algebras Satisfying Systems of Equations.G. Aldo Antonelli - 1999 - Journal of Symbolic Logic 64 (4):1656-1674.
Added to index2009-01-28
Total downloads14 ( #331,088 of 2,163,683 )
Recent downloads (6 months)5 ( #62,625 of 2,163,683 )
How can I increase my downloads?