Most Popular Books
- Deduction Theorem and Peirce Law in General Algebraic Logic: Constructive Proofs in General Sentential Logic and Universal Algebra
- Equivalential Universal Horn Theories: Algebraic systems versus pure algebras within General Algebraic Logic
- Implicative and Disjunctive Prevarieties: Algebraic aspects of Deduction Theorem
- Implicativity versus Filtrality: Many-sorted Algebraic framework
- Axiomatization of finitely-valued logics
