Don Pigozzi - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 28 from 28

2009

Update to A Survey of Abstract Algebraic Logic Josep Maria Font, Ramon Jansana, Don Pigozzi. sLogica, 91(1):125-130, 2009. [doi]

2007

Behavioural reasoning for conditional equationsManuel A. Martins, Don Pigozzi. mscs, 17(5):1075-1113, 2007. [doi]

2006

In Memory of Willem Johannes Blok 1947-2003Joel Berman, Wieslaw Dziobiak, Don Pigozzi, James G. Raftery. sLogica, 83(1-3):5-14, 2006. [doi]

On the Closure Properties of the Class of Full G-models of a Deductive SystemJosep Maria Font, Ramon Jansana, Don Pigozzi. sLogica, 83(1-3):215-278, 2006. [doi]

2004

Fregean logics with the multiterm deduction theorem and their algebraizationJanusz Czelakowski, Don Pigozzi. sLogica, 78(1-2):171-212, 2004. [doi]

Fregean logicsJanusz Czelakowski, Don Pigozzi. APAL, 127(1-3):17-76, 2004. [doi]

2003

A Survey of Abstract Algebraic LogicJosep Maria Font, Ramon Jansana, Don Pigozzi. sLogica, 74(1-2):13-97, 2003.

ForewordJosep Maria Font, Ramon Jansana, Don Pigozzi. sLogica, 74(1-2):3-12, 2003.

2001

Fully Adequate Gentzen Systems and the Deduction TheoremJosep Maria Font, Ramon Jansana, Don Pigozzi. rml, 35:115-165, 2001. [doi]

2000

ForewordJosep Maria Font, Ramon Jansana, Don Pigozzi. sLogica, 65(1):1-9, 2000.

A Complete Algebraic Characterization of Behavioral SubtypingGary T. Leavens, Don Pigozzi. ACTA, 36(8):617-663, 2000. [doi]

1998

Class-Based and Algebraic Models of ObjectsGary T. Leavens, Don Pigozzi. ENTCS, 14:214-244, 1998. [doi]

Lambda Abstraction Algebras: Coordinatizing Models of Lambda CalculusDon Pigozzi, Antonino Salibra. FUIN, 33(2):149-200, 1998.

Abstract Algebraic LogicDon Pigozzi. amast 1999: 8-16 [doi]

1997

The Behavior-Realization Adjunction and Generalized Homomorphic RelationsGary T. Leavens, Don Pigozzi. TCS, 177(1):183-216, 1997. [doi]

Multi-Valued Logic Programming Semantics: An Algebraic ApproachBamshad Mobasher, Don Pigozzi, Giora Slutzki. TCS, 171(1-2):77-109, 1997. [doi]

Lambda Abstraction Algebras: Coordinatizing Models of Lambda CalculusDon Pigozzi, Antonino Salibra. FUIN, 32(1):47-90, 1997.

1995

The abstract variable-binding calculusDon Pigozzi, Antonino Salibra. sLogica, 55(1):129-179, 1995.

Lambda Abstraction Algebras: Representation TheoremsDon Pigozzi, Antonino Salibra. TCS, 140(1):5-52, 1995. [doi]

1993

Negation as Partial FailureBamshad Mobasher, Jacek Leszczylowski, Don Pigozzi. lpnmr 1993: 244-262

A Representation Theorem for Lambda Abstraction AlgebrasDon Pigozzi, Antonino Salibra. mfcs 1993: 629-639

Dimension-Complemented Lambda Abstraction AlgebrasDon Pigozzi, Antonino Salibra. amast 1994: 129-136

1991

IntroductionWillem J. Blok, Don Pigozzi. sLogica, 50(3-4):365-374, 1991. [doi]

Typed Homomorphic Relations Extended with SybtypesGary T. Leavens, Don Pigozzi. mfps 1992: 144-167

Equality-Test and If-Then-Else Algebras: Axiomatization and SpecificationDon Pigozzi. SICOMP, 20(4):766-805, 1991.

1990

Data Types over Multiple-Values LogicsDon Pigozzi. TCS, 77(1&2):161-194, 1990.

1988

Alfred Tarski s Work on General MetamathematicsWillem J. Blok, Don Pigozzi. JSYML, 53(1):36-50, 1988.

1986

Protoalgebraic logicsWillem J. Blok, Don Pigozzi. sLogica, 45(4):337-369, 1986. [doi]

Sign in or sign up to see more results.

runs on WebDSL