James G. Raftery

28 papers Journal 28

Year	Rank	Type	Title / 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