James G. Raftery

28 papers Journal 28
YearRankTypeTitle / Venue / Authors
2022 J jnl
The algebraic significance of weak excluded middle laws.
Math. Log. Q.
Tomás Lávicka, Tommaso Moraschini, James G. Raftery
2020 J jnl
Epimorphisms, Definability and Cardinalities.
Stud Logica
Tommaso Moraschini, James G. Raftery, Jamie J. Wannenburg
2020 J jnl
Singly generated quasivarieties and residuated structures.
Math. Log. Q.
Tommaso Moraschini, James G. Raftery, Jamie J. Wannenburg
2020 J jnl
Varieties of de Morgan Monoids: Covers of atoms.
Rev. Symb. Log.
Tommaso Moraschini, James G. Raftery, Jamie J. Wannenburg
2016 J jnl
Admissible Rules and the Leibniz Hierarchy.
Notre Dame J. Formal Log.
James G. Raftery
2016 J jnl
Structural Completeness in Relevance Logics.
Stud Logica
James G. Raftery, Kazimierz Swirydowicz
2013 J jnl
Inconsistency lemmas in algebraic logic.
Math. Log. Q.
James G. Raftery
2013 J jnl
Order algebraizable logics.
Ann. Pure Appl. Log.
James G. Raftery
2011 J jnl
Contextual Deduction Theorems.
Stud Logica
James G. Raftery
2010 J jnl
A Non-finitary Sentential Logic that is Elementarily Algebraizable.
J. Log. Comput.
James G. Raftery
2008 J jnl
Assertionally Equivalent quasivarieties.
Int. J. Algebra Comput.
Willem J. Blok, James G. Raftery
2008 J jnl
Irreducible residuated semilattices and finitely based varieties.
Reports Math. Log.
Nikolaos Galatos, Jeffrey S. Olson, James G. Raftery
2008 J jnl
Structural Completeness in Substructural Logics.
Log. J. IGPL
Jeffrey S. Olson, James G. Raftery, Clint J. van Alten
2007 J jnl
Conserving involution in residuated structures.
Math. Log. Q.
Ai-ni Hsieh, James G. Raftery
2007 J jnl
On the variety generated by involutive pocrims.
Reports Math. Log.
James G. Raftery
2006 J jnl
A finite model property for RMI
Math. Log. Q.
Ai-ni Hsieh, James G. Raftery
2006 J jnl
Correspondences between Gentzen and Hilbert systems.
J. Symb. Log.
James G. Raftery
2006 J jnl
In Memory of Willem Johannes Blok 1947-2003.
Stud Logica
Joel Berman, Wieslaw Dziobiak, Don Pigozzi, James G. Raftery
2006 J jnl
The equational definability of truth predicates.
Reports Math. Log.
James G. Raftery
2005 J jnl
Corrigendum: Residuation in Commutative Ordered Monoids with Minimal Zero.
Reports Math. Log.
James G. Raftery, Clint J. van Alten
2004 J jnl
Adding Involution to Residuated Structures.
Stud Logica
Nikolaos Galatos, James G. Raftery
2004 J jnl
Fragments of R-Mingle.
Stud Logica
Willem J. Blok, James G. Raftery
2004 J jnl
Rule Separation and Embedding Theorems for Logics Without Weakening.
Stud Logica
Clint J. van Alten, James G. Raftery
2004 J jnl
Willem Blok's Work in Algebraic Logic.
Stud Logica
James G. Raftery
2003 J jnl
Quasivarieties of Logic, Regularity Conditions and Parameterized Algebraization.
Stud Logica
G. D. Barbour, James G. Raftery
2000 J jnl
Residuation in Commutative Ordered Monoids with Minimal Zero.
Reports Math. Log.
James G. Raftery, Clint J. van Alten
1999 J jnl
The Finite Model Property for the Implicational Fragment of IPC Without Exchange and Contraction.
Stud Logica
Clint J. van Alten, James G. Raftery
1997 J jnl
On Quasivariety Semantics of Fragments of Intuitionistic Propositional Logic without Exchange and Contraction Rules.
Reports Math. Log.
Clint J. van Alten, James G. Raftery