Browsing Research Articles (Mathematics and Applied Mathematics) by Subject "Algebraizable logic"

Browsing Research Articles (Mathematics and Applied Mathematics) by Subject "Algebraizable logic"

Sort by: Order: Results:

  • Epimorphisms, definability and cardinalities 
    Moraschini, Tommaso; Raftery, James G.; Wannenburg, Johann Joubert (Springer, 2020-04)
    We characterize, in syntactic terms, the ranges of epimorphisms in an arbitrary class of similar first-order structures (as opposed to an elementary class). This allows us to strengthen a result of Bacsich, as follows: in ...
  • Inconsistency lemmas in algebraic logic 
    Raftery, James G. (Wiley, 2013-11)
    In this paper, the inconsistency lemmas of intuitionistic and classical propositional logic are formulated abstractly. We prove that, when a (finitary) deductive system is algebraized by a variety K, then has an ...
  • On prevarieties of logic 
    Moraschini, Tommaso; Raftery, James G. (Springer, 2019-09)
    It is proved that every prevariety of algebras is categorically equivalent to a ‘prevariety of logic’, i.e., to the equivalent algebraic semantics of some sentential deductive system. This allows us to show that no nontrivial ...