James G. Raftery

发表

Willem Blok's Work in Algebraic Logic

James G. Raftery, 2004, Stud Logica.

The Finite Model Property for the Implicational Fragment of IPC Without Exchange and Contraction

James G. Raftery, Clint J. van Alten, 1999, Stud Logica.

A finite model property for RMImin

James G. Raftery, Ai-ni Hsieh, 2006, Math. Log. Q..

Assertionally Equivalent quasivarieties

James G. Raftery, Willem J. Blok, J. Raftery, 2008, Int. J. Algebra Comput..

Fragments of R-Mingle

James G. Raftery, Willem J. Blok, J. Raftery, 2004, Stud Logica.

Inconsistency lemmas in algebraic logic

James G. Raftery, J. Raftery, 2013, Math. Log. Q..

Structural Completeness in Substructural Logics

James G. Raftery, Jeffrey S. Olson, Clint J. van Alten, 2008, Log. J. IGPL.

On Quasivariety Semantics of Fragments of Intuitionistic Propositional Logic without Exchange and Contraction Rules

James G. Raftery, Clint J. van Alten, 1997, Reports Math. Log..

Structural Completeness in Relevance Logics

James G. Raftery, Kazimierz Swirydowicz, 2016, Stud Logica.

Rule Separation and Embedding Theorems for Logics Without Weakening

James G. Raftery, Clint J. van Alten, 2004, Stud Logica.

Correspondences between gentzen and hilbert systems

James G. Raftery, J. Raftery, 2006, Journal of Symbolic Logic.

The evaluation of disease prevention and treatment using simulation models

Ruth Davies, James G. Raftery, Paul Roderick, 2003, Eur. J. Oper. Res..

A Non-finitary Sentential Logic that is Elementarily Algebraizable

James G. Raftery, 2010, J. Log. Comput..

Corrigendum: Residuation in Commutative Ordered Monoids with Minimal Zero

James G. Raftery, Clint J. van Alten, 2000, Reports Math. Log..

Admissible Rules and the Leibniz Hierarchy

James G. Raftery, 2016, Notre Dame J. Formal Log..

On the variety generated by involutive pocrims

James G. Raftery, 2007, Reports Math. Log..

Use of a coronary heart disease simulation model to evaluate the costs and effectiveness of drugs for the prevention of heart disease

Ruth Davies, James G. Raftery, Paul Roderick, 2008, J. Oper. Res. Soc..

Quasivarieties of Logic, Regularity Conditions and Parameterized Algebraization

James G. Raftery, G. D. Barbour, 2003, Stud Logica.

In Memory of Willem Johannes Blok 1947-2003

Wieslaw Dziobiak, James G. Raftery, Joel Berman, 2006, Stud Logica.

Contextual Deduction Theorems

James G. Raftery, 2011, Stud Logica.

Irreducible residuated semilattices and finitely based varieties

James G. Raftery, Jeffrey S. Olson, Nikolaos Galatos, 2008, Reports Math. Log..

The equational definability of truth predicates

James G. Raftery, J. Raftery, 2006, Reports Math. Log..

Conserving involution in residuated structures

James G. Raftery, Ai-ni Hsieh, J. Raftery, 2007, Math. Log. Q..

Adding Involution to Residuated Structures

James G. Raftery, Nikolaos Galatos, J. Raftery, 2004, Stud Logica.

ON THE ALGEBRA OF NONCOMMUTATIVE RESIDUATION : POLRIMS AND LEFT RESIDUATION ALGEBRAS

James G. Raftery, J. Raftery, C. V. Alten, 1997 .

Residuated Structures, Concentric Sums and Finiteness Conditions

James G. Raftery, J. S. Olson, 2008 .

On the degrees of permutability of subregular varieties

James G. Raftery, Graham D. Barbour, 1997 .

Relative congruence formulas and decompositions in quasivarieties

James G. Raftery, J. Raftery, Miguel A. Campercholi, 2017 .

Varieties of Commutative Residuated Integral Pomonoids and Their Residuation Subreducts

James G. Raftery, W. J. Blok, 1997 .

Tolerance numbers, congruence $n$-permutability and BCK-algebras

James G. Raftery, Teo Sturm, 1992 .

A perspective on the algebra of logic

James G. Raftery, J. Raftery, 2011 .

Epimorphisms in varieties of residuated structures

Guram Bezhanishvili, Tommaso Moraschini, James G. Raftery, 2017, 2107.05912.

On congruence modularity in varieties of logic

James G. Raftery, W. J. Blok, 2001 .

Representable idempotent commutative residuated lattices

James G. Raftery, J. Raftery, 2007 .

IDEAL DETERMINED VARIETIES HAVE UNBOUNDED DEGREES OF PERMUTABILITY

James G. Raftery, Graham D. Barbour, 1997 .

Ideal determined varieties need not be congruence 3-permutable

James G. Raftery, J. Raftery, 1994 .