2 search results - page 1 / 1 » Fibring in the Leibniz Hierarchy |
IGPL
2007
13 years 7 months ago
2007
This article studies preservation of certain algebraic properties of propositional logics when combined by fibring. The logics analyzed here are classified in protoalgebraic, eq...
AML
2010
13 years 7 months ago
2010
In Abstract Algebraic Logic, the general study of propositional non-classical logics has been traditionally based on the abstraction of the Lindenbaum-Tarski process. In this proce...