Results 71 to 78 of about 155 (78)
Some of the next articles are maybe not open access.
Applications to protoalgebraic and algebraizable logics
1996Josep Maria Font, Ramon Jansana
openaire +1 more source
Categorical Abstract Algebraic Logic: Models of π-Institutions
Notre Dame Journal of Formal Logic, 2005George Voutsadakis
exaly
Categorical Abstract Algebraic Logic: (ℐ,N)-Algebraic Systems
Applied Categorical Structures, 2005George Voutsadakis, Voutsadakis George
exaly
A Non-finitary Sentential Logic that is Elementarily Algebraizable
Journal of Logic and Computation, 2010J G Raftery
exaly
Categorical Abstract Algebraic Logic: Syntactically Algebraizable π-Institutions.
Reports Math. Log., 2009openaire +1 more source