James G. Raftery

Publication Activity (10 Years)

Years Active: 1997-2022
Publications (10 Years): 6

Top Topics

Valued Semantics

Randomly Selected

Algebraic Structure

Proof Procedure

Top Venues

Ann. Pure Appl. Log.

Rev. Symb. Log.

Publications

Tomás Lávicka, Tommaso Moraschini, James G. Raftery
The algebraic significance of weak excluded middle laws. Math. Log. Q. 68 (1) (2022)
Tommaso Moraschini, James G. Raftery, Jamie J. Wannenburg
Varieties of de Morgan Monoids: Covers of atoms. Rev. Symb. Log. 13 (2) (2020)
Tommaso Moraschini, James G. Raftery, Jamie J. Wannenburg
Epimorphisms, Definability and Cardinalities. Stud Logica 108 (2) (2020)
Tommaso Moraschini, James G. Raftery, Jamie J. Wannenburg
Singly generated quasivarieties and residuated structures. Math. Log. Q. 66 (2) (2020)
James G. Raftery, Kazimierz Swirydowicz
Structural Completeness in Relevance Logics. Stud Logica 104 (3) (2016)
James G. Raftery
Admissible Rules and the Leibniz Hierarchy. Notre Dame J. Formal Log. 57 (4) (2016)
James G. Raftery
Inconsistency lemmas in algebraic logic. Math. Log. Q. 59 (6) (2013)
James G. Raftery
Order algebraizable logics. Ann. Pure Appl. Log. 164 (3) (2013)
James G. Raftery
Contextual Deduction Theorems. Stud Logica 99 (1-3) (2011)
James G. Raftery
A Non-finitary Sentential Logic that is Elementarily Algebraizable. J. Log. Comput. 20 (4) (2010)
K. Cooper, Ruth Davies, James G. Raftery, Paul Roderick
Use of a coronary heart disease simulation model to evaluate the costs and effectiveness of drugs for the prevention of heart disease. J. Oper. Res. Soc. 59 (9) (2008)
Willem J. Blok, James G. Raftery
Assertionally Equivalent quasivarieties. Int. J. Algebra Comput. 18 (4) (2008)
Nikolaos Galatos, Jeffrey S. Olson, James G. Raftery
Irreducible residuated semilattices and finitely based varieties. Reports Math. Log. 43 (2008)
Jeffrey S. Olson, James G. Raftery, Clint J. van Alten
Structural Completeness in Substructural Logics. Log. J. IGPL 16 (5) (2008)
James G. Raftery
On the variety generated by involutive pocrims. Reports Math. Log. 42 (2007)
Ai-ni Hsieh, James G. Raftery
Conserving involution in residuated structures. Math. Log. Q. 53 (6) (2007)
James G. Raftery
The equational definability of truth predicates. Reports Math. Log. 41 (2006)
Joel Berman, Wieslaw Dziobiak, Don Pigozzi, James G. Raftery
In Memory of Willem Johannes Blok 1947-2003. Stud Logica 83 (1-3) (2006)
Ai-ni Hsieh, James G. Raftery
. Math. Log. Q. 52 (6) (2006)
James G. Raftery
Correspondences between Gentzen and Hilbert systems. J. Symb. Log. 71 (3) (2006)
James G. Raftery, Clint J. van Alten
Corrigendum: Residuation in Commutative Ordered Monoids with Minimal Zero. Reports Math. Log. 39 (2005)
Clint J. van Alten, James G. Raftery
Rule Separation and Embedding Theorems for Logics Without Weakening. Stud Logica 76 (2) (2004)
James G. Raftery
Willem Blok's Work in Algebraic Logic. Stud Logica 76 (2) (2004)
Nikolaos Galatos, James G. Raftery
Adding Involution to Residuated Structures. Stud Logica 77 (2) (2004)
Willem J. Blok, James G. Raftery
Fragments of R-Mingle. Stud Logica 78 (1-2) (2004)
G. D. Barbour, James G. Raftery
Quasivarieties of Logic, Regularity Conditions and Parameterized Algebraization. Stud Logica 74 (1-2) (2003)
Ruth Davies, Paul Roderick, James G. Raftery
The evaluation of disease prevention and treatment using simulation models. Eur. J. Oper. Res. 150 (1) (2003)
James G. Raftery, Clint J. van Alten
Residuation in Commutative Ordered Monoids with Minimal Zero. Reports Math. Log. 34 (2000)
Clint J. van Alten, James G. Raftery
The Finite Model Property for the Implicational Fragment of IPC Without Exchange and Contraction. Stud Logica 63 (2) (1999)
Clint J. van Alten, James G. Raftery
On Quasivariety Semantics of Fragments of Intuitionistic Propositional Logic without Exchange and Contraction Rules. Reports Math. Log. 31 (1997)