James G. Raftery - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 30 from 30

2022

The algebraic significance of weak excluded middle lawsTomás Lávicka, Tommaso Moraschini, James G. Raftery. mlq, 68(1):79-94, 2022. [doi]

2020

Epimorphisms, Definability and CardinalitiesTommaso Moraschini, James G. Raftery, Jamie J. Wannenburg. sLogica, 108(2):255-275, 2020. [doi]

Varieties of de Morgan Monoids: Covers of atomsTommaso Moraschini, James G. Raftery, Jamie J. Wannenburg. rsl, 13(2):338-374, 2020. [doi]

Singly generated quasivarieties and residuated structuresTommaso Moraschini, James G. Raftery, Jamie J. Wannenburg. mlq, 66(2):150-172, 2020. [doi]

2016

Structural Completeness in Relevance LogicsJames G. Raftery, Kazimierz Swirydowicz. sLogica, 104(3):381-387, 2016. [doi]

Admissible Rules and the Leibniz HierarchyJames G. Raftery. ndjfl, 57(4):569-606, 2016. [doi]

2013

Order algebraizable logicsJames G. Raftery. APAL, 164(3):251-283, 2013. [doi]

Inconsistency lemmas in algebraic logicJames G. Raftery. mlq, 59(6):393-406, 2013. [doi]

2011

Contextual Deduction TheoremsJames G. Raftery. sLogica, 99(1-3):279-319, 2011. [doi]

2010

A Non-finitary Sentential Logic that is Elementarily AlgebraizableJames G. Raftery. logcom, 20(4):969-975, 2010. [doi]

2008

2007

Conserving involution in residuated structuresAi-ni Hsieh, James G. Raftery. mlq, 53(6):583-609, 2007. [doi]

On the variety generated by involutive pocrimsJames G. Raftery. rml, 42:71-86, 2007. [doi]

2006

In Memory of Willem Johannes Blok 1947-2003Joel Berman, Wieslaw Dziobiak, Don Pigozzi, James G. Raftery. sLogica, 83(1-3):5-14, 2006. [doi]

A finite model property for RMI::min::Ai-ni Hsieh, James G. Raftery. mlq, 52(6):602-612, 2006. [doi]

Correspondences between Gentzen and Hilbert systemsJames G. Raftery. JSYML, 71(3):903-957, 2006. [doi]

The equational definability of truth predicatesJames G. Raftery. rml, 41:95-149, 2006. [doi]

2005

Corrigendum: Residuation in Commutative Ordered Monoids with Minimal ZeroJames G. Raftery, Clint J. van Alten. rml, 39:133-135, 2005. [doi]

2004

Fragments of R-MingleWillem J. Blok, James G. Raftery. sLogica, 78(1-2):59-106, 2004. [doi]

Adding Involution to Residuated StructuresNikolaos Galatos, James G. Raftery. sLogica, 77(2):181-207, 2004. [doi]

Willem Blok s Work in Algebraic LogicJames G. Raftery. sLogica, 76(2):155-160, 2004. [doi]

Rule Separation and Embedding Theorems for Logics Without WeakeningClint J. van Alten, James G. Raftery. sLogica, 76(2):241-274, 2004. [doi]

2003

Quasivarieties of Logic, Regularity Conditions and Parameterized AlgebraizationG. D. Barbour, James G. Raftery. sLogica, 74(1-2):99-152, 2003.

The evaluation of disease prevention and treatment using simulation modelsRuth Davies, Paul Roderick, James G. Raftery. eor, 150(1):53-66, 2003. [doi]

2000

Residuation in Commutative Ordered Monoids with Minimal ZeroJames G. Raftery, Clint J. van Alten. rml, 34:23-57, 2000.

1999

The Finite Model Property for the Implicational Fragment of IPC Without Exchange and ContractionClint J. van Alten, James G. Raftery. sLogica, 63(2):213-222, 1999.

1997

On Quasivariety Semantics of Fragments of Intuitionistic Propositional Logic without Exchange and Contraction RulesClint J. van Alten, James G. Raftery. rml, 31:3-55, 1997. [doi]

Sign in or sign up to see more results.

runs on WebDSL