Don Pigozzi
Affiliations: | Iowa State University, Ames, IA, United States |
Area:
MathematicsGoogle:
"Don Pigozzi"
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Font JM, Jansana R, Pigozzi D. (2009) Update to "a survey of abstract algebraic logic" Studia Logica. 91: 125-130 |
| Martins MA, Pigozzi D. (2007) Behavioural reasoning for conditional equations Mathematical Structures in Computer Science. 17: 1075-1113 |
| Font JM, Jansana R, Pigozzi D. (2006) On the closure properties of the class of full G-models of a deductive system Studia Logica. 83: 215-278 |
| Czelakowski J, Pigozzi D. (2004) Fregean logics Annals of Pure and Applied Logic. 127: 17-76 |
| Czelakowski J, Pigozzi D. (2004) Fregean logics with the multiterm deduction theorem and their algebraization Studia Logica. 78: 171-212 |
| Font JM, Jansana R, Pigozzi D. (2003) A Survey of Abstract Algebraic Logic Studia Logica. 74: 13-97 |
| Leavens GT, Pigozzi D. (2000) A complete algebraic characterization of behavioral subtyping Acta Informatica. 36: 617-663 |
| Mobasher B, Pigozzi D, Slutzki G, et al. (2000) A duality theory for bilattices Algebra Universalis. 43: 109-125 |
| Leavens GT, Pigozzi D. (1998) Class-based and algebraic models of objects Electronic Notes in Theoretical Computer Science. 14: 214-244 |
| Pigozzi D. (1998) Abstract algebraic logic Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1548: 8-16 |