James G. Raftery

Orcid: 0000-0003-1071-2506

According to our database1, James G. Raftery authored at least 30 papers between 1997 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
The algebraic significance of weak excluded middle laws.
Math. Log. Q., 2022

2020
Epimorphisms, Definability and Cardinalities.
Stud Logica, 2020

Varieties of de Morgan Monoids: Covers of atoms.
Rev. Symb. Log., 2020

Singly generated quasivarieties and residuated structures.
Math. Log. Q., 2020

2016
Structural Completeness in Relevance Logics.
Stud Logica, 2016

Admissible Rules and the Leibniz Hierarchy.
Notre Dame J. Formal Log., 2016

2013
Inconsistency lemmas in algebraic logic.
Math. Log. Q., 2013

Order algebraizable logics.
Ann. Pure Appl. Log., 2013

2011
Contextual Deduction Theorems.
Stud Logica, 2011

2010
A Non-finitary Sentential Logic that is Elementarily Algebraizable.
J. Log. Comput., 2010

2008
Irreducible residuated semilattices and finitely based varieties.
Reports Math. Log., 2008

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., 2008

Assertionally Equivalent quasivarieties.
Int. J. Algebra Comput., 2008

Structural Completeness in Substructural Logics.
Log. J. IGPL, 2008

2007
On the variety generated by involutive pocrims.
Reports Math. Log., 2007

Conserving involution in residuated structures.
Math. Log. Q., 2007

2006
In Memory of Willem Johannes Blok 1947-2003.
Stud Logica, 2006

The equational definability of truth predicates.
Reports Math. Log., 2006

A finite model property for RMI<sub>min</sub>.
Math. Log. Q., 2006

Correspondences between Gentzen and Hilbert systems.
J. Symb. Log., 2006

2005
Corrigendum: Residuation in Commutative Ordered Monoids with Minimal Zero.
Reports Math. Log., 2005

2004
Willem Blok's Work in Algebraic Logic.
Stud Logica, 2004

Adding Involution to Residuated Structures.
Stud Logica, 2004

Fragments of R-Mingle.
Stud Logica, 2004

Rule Separation and Embedding Theorems for Logics Without Weakening.
Stud Logica, 2004

2003
Quasivarieties of Logic, Regularity Conditions and Parameterized Algebraization.
Stud Logica, 2003

The evaluation of disease prevention and treatment using simulation models.
Eur. J. Oper. Res., 2003

2000
Residuation in Commutative Ordered Monoids with Minimal Zero.
Reports Math. Log., 2000

1999
The Finite Model Property for the Implicational Fragment of IPC Without Exchange and Contraction.
Stud Logica, 1999

1997
On Quasivariety Semantics of Fragments of Intuitionistic Propositional Logic without Exchange and Contraction Rules.
Reports Math. Log., 1997


  Loading...