Algebraizable logics
by Pigozzi, Don, Blok, Willem J.
fromMemoirs of the American Mathematical Society
0
Type: Book
"11" Result
Sort By:
Algebraizable logics
by Pigozzi, Don, Blok, Willem J.
fromMemoirs of the American Mathematical Society
0
Type: Book
The main result of the paper is an intrinsic characterization of algebraizability in terms of the Leibniz operator [capital Greek]Omega, which associates with each theory [italic]T of a given deductive system [script]S a congruence relation [capital Greek]Omega[italic]T on the f…
The main result of the paper is an intrinsic characterization of algebraizability in terms of the Leibniz operator [capital Greek]Omega, which associates with each theory [italic]T of a given deductive system [script]S a congruence relation [capital Greek]Omega[italic]T on the f…