Graduate studies at Western
Studia Logica 41 (1):75 - 81 (1982)
|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.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Paola D'Aquino (1998). Solving Pell Equations Locally in Models of Iδ. Journal of Symbolic Logic 63 (2):402 - 410.
A. J. C. Hurkens, Monica McArthur, Yiannis N. Moschovakis, Lawrence S. Moss & Glen T. Whitney (1998). The Logic of Recursive Equations. Journal of Symbolic Logic 63 (2):451-478.
M. Arrigoni & A. Steiner (1983). Square-Root Models for the Volterra Equations and the Explicit Solution of These Models. Acta Biotheoretica 32 (2).
D. S. Clarke (1973). Deductive Logic. Carbondale,Southern Illinois University Press.
Renata P. De Freitas, Jorge P. Viana, Mario R. F. Benevides, Sheila R. M. Veloso & Paulo A. S. Veloso (2003). Squares in Fork Arrow Logic. Journal of Philosophical Logic 32 (4):343 - 355.
Renata P. de Freitas, Jorge P. Viana, Mario R. F. Benevides, Sheila R. M. Veloso & Paulo A. S. Veloso (2003). Squares in Fork Arrow Logic. Journal of Philosophical Logic 32 (4):343-355.
Bogdan Staruch (2009). Hsp-Type Characterization of Strong Equational Classes of Partial Algebras. Studia Logica 93 (1):41 - 65.
Roger D. Maddux (1989). Nonfinite Axiomatizability Results for Cylindric and Relation Algebras. Journal of Symbolic Logic 54 (3):951-974.
Edward H. Allen (1976). Negative Probabilities and the Uses of Signed Probability Theory. Philosophy of Science 43 (1):53-70.
G. Aldo Antonelli (1999). Free Set Algebras Satisfying Systems of Equations. Journal of Symbolic Logic 64 (4):1656-1674.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Recent downloads (6 months)0
How can I increase my downloads?