Browsing by UP Author "Raftery, James G."

Browsing by UP Author "Raftery, James G."

Sort by: Order: Results:

  • Admissible rules and the Leibniz hierarchy 
    Raftery, James G. (Duke University Press, 2016)
    This paper provides a semantic analysis of admissible rules and associated completeness conditions for arbitrary deductive systems, using the framework of abstract algebraic logic. Algebraizability is not assumed, so ...
  • The algebraic significance of weak excluded middle laws 
    Lavicka, Tomas; Moraschini, Tommaso; Raftery, James G. (Wiley, 2022-02)
    Please read abstract in the article.
  • Epimorphisms in varieties of residuated structures 
    Bezhanishvili, Guram; Moraschini, Tommaso; Raftery, James G. (Elsevier, 2017-12)
    It is proved that epimorphisms are surjective in a range of varieties of residuated structures, including all varieties of Heyting or Brouwerian algebras of finite depth, and all varieties consisting of Gödel algebras, ...
  • Epimorphisms in varieties of subidempotent residuated structures 
    Moraschini, Tommaso; Raftery, James G.; Wannenburg, Johann Joubert (Springer, 2021-01)
    Please read abstract in the article.
  • 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 ...
  • Idempotent residuated structures : some category equivalences and their applications 
    Galatos, N.; Raftery, James G. (American Mathematical Society, 2015)
    This paper concerns residuated lattice-ordered idempotent commutative monoids that are subdirect products of chains. An algebra of this kind is a generalized Sugihara monoid (GSM) if it is generated by the lower bounds ...
  • 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 ...
  • Relative congruence formulas and decompositions in quasivarieties 
    Campercholi, M.A.; Raftery, James G. (Springer, 2017-11)
    Quasivarietal analogues of uniform congruence schemes are discussed, and their relationship with the equational definability of principal relative congruences (EDPRC) is established, along with their significance for ...
  • Semilinear De Morgan monoids and epimorphisms 
    Wannenburg, Johann Joubert; Raftery, James G. (Springer, 2024-01)
    A representation theorem is proved for De Morgan monoids that are (i) semilinear, i.e., subdirect products of totally ordered algebras, and (ii) negatively generated, i.e., generated by lower bounds of the neutral element. ...
  • Singly generated quasivarieties and residuated structures 
    Moraschini, Tommaso; Raftery, James G.; Wannenburg, Johann Joubert (Wiley, 2020-07)
    Please read abstract in the article.
  • Structural completeness in relevance logics 
    Raftery, James G.; Swirydowicz, K. (Springer, 2016-06)
    It is proved that the relevance logic R (without sentential constants) has no structurally complete consistent axiomatic extension, except for classical propositional logic. In fact, no other such extension is even ...
  • Universal algebraic methods for non-classical logics 
    Raftery, James G. (Springer, 2022)
    This expository article is a compilation of universal algebraic prerequisites and tools for the analysis of non-classical logics, with particular (but not exclusive) reference to substructural logics.
  • Varieties of De Morgan monoids : covers of atoms 
    Moraschini, Tommaso; Raftery, James G.; Wannenburg, Johann Joubert (Cambridge University Press, 2020)
    The variety DMM of De Morgan monoids has just four minimal subvarieties. The join-irreducible covers of these atoms in the subvariety lattice of DMM are investigated. One of the two atoms consisting of idempotent algebras ...
  • Varieties of De Morgan monoids : minimality and irreducible algebras 
    Moraschini, Tommaso; Raftery, James G.; Wannenburg, Johann Joubert (Elsevier, 2019-07)
    Please read abstract in the article.