Report - Behavioral algebraization of logics · Representation of logics in algebraic setting (theory restricted to propositional based logics) Study the process by which a class of algebras

Please pass captcha verification before submit form