Result 1 to 10 of 10 total
Categorical abstract algebraic logic: Strong version of a protoalgebraic $π$-institution. (English)
Rep. Math. Logic 42, 19-46 (2007).
1
Categorical abstract algebraic logic: the categorical Suszko operator. (English)
Math. Log. Q. 53, No. 6, 616-635 (2007).
2
Closure properties for the class of behavioral models. (English)
Theor. Comput. Sci. 379, No. 1-2, 53-83 (2007).
3
Algebraization of non-structural logics. (English)
Log. J. IGPL 14, No. 6, 845-866 (2006).
4
Literal-paraconsistent and literal-paracomplete matrices. (English)
Math. Log. Q. 52, No. 5, 478-493 (2006).
5
Correspondences between Gentzen and Hilbert systems. (English)
J. Symb. Log. 71, No. 3, 903-957 (2006).
6
Protoalgebraic logics. (English)
Trends in Logic‒Studia Logica Library. 10. Dordrecht: Kluwer Academic Publishers. xi, 452 p. EUR 135.00; \$ 146.00; \sterling 90.00 (2001).
7
Algebraic semantics for universal Horn logic without equality. (English)
Universal algebra and quasigroup theory, Lect. Conf., Jadwisin/Pol. 1989, Res. Expo. Math. 19, 1-56 (1992).
8
$C\sb 1$ is not algebraizable. (English)
Notre Dame J. Formal Logic 32, No.4, 609-611 (1991).
9
Algebraizable logics. (English)
Mem. Am. Math. Soc. 396, 78 p. (1989).
10
Result 1 to 10 of 10 total
Start
Contact
Print
General Help
