| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q4961804 | 2018-10-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3466593 | 2016-02-01 | Paper |
| The Better Bubbling Lemma | 2013-12-06 | Paper |
| On the ternary relation and conditionality | 2012-09-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3001365 | 2011-05-31 | Paper |
| AI, ME and Lewis (abelian implication, material equivalence and C I Lewis 1920) | 2008-04-09 | Paper |
| The Relevant Equivalence Property | 2008-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5694704 | 2005-10-04 | Paper |
| Ternary relations and relevant semantics | 2004-08-06 | Paper |
| The semantics of entailment omega | 2004-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4440564 | 2004-03-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4428879 | 2003-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4795603 | 2003-03-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4532199 | 2002-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2735832 | 2001-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263800 | 2000-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4940721 | 2000-02-28 | Paper |
| \(\supset\)E is admissible in ``true relevant arithmetic | 1999-03-09 | Paper |
| In Memoriam: Richard (Routley) Sylvan 1935-1996 | 1999-02-02 | Paper |
| Combinators and structurally free logic | 1997-12-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4893149 | 1997-01-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4851409 | 1996-08-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4856951 | 1996-05-02 | Paper |
| The finite model property for BCK and BCIW | 1994-05-23 | Paper |
| A structurally complete fragment of relevant logic | 1993-12-06 | Paper |
| The semantics of \(R4\) | 1993-05-16 | Paper |
| Whither relevant arithmetic? | 1993-04-01 | Paper |
| The admissibility of \(\gamma\) in R4 | 1993-02-22 | Paper |
| Implementing the `Fool's model' of combinatory logic | 1992-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3197806 | 1990-01-01 | Paper |
| Completeness and conservative extension results for some Boolean relevant logics | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3469090 | 1989-01-01 | Paper |
| Further Results on Proof Theories For Semilattice Logics | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3795648 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4732137 | 1988-01-01 | Paper |
| A contractionless semilattice semantics | 1987-01-01 | Paper |
| Sentential constants in R and \(R^{\neg}\) | 1986-01-01 | Paper |
| Logic on the Australian plan | 1986-01-01 | Paper |
| Idempotents in R | 1986-01-01 | Paper |
| Conservative Extension in Relevant Arithmetic | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3682467 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3691634 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3752368 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3762279 | 1985-01-01 | Paper |
| Where gamma fails | 1984-01-01 | Paper |
| Inconsistent models for relevant arithmetics | 1984-01-01 | Paper |
| A note on R\(\rightarrow\) matrices | 1983-01-01 | Paper |
| The fundamental S-theorem - A corollary | 1983-01-01 | Paper |
| The ineliminability of \(E|\) in free quantification theory without identity | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3657965 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3701398 | 1982-01-01 | Paper |
| Solution to the P − W problem | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3669375 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3669376 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3939779 | 1981-01-01 | Paper |
| Career induction for quantifiers | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3861349 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3861350 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3900010 | 1980-01-01 | Paper |
| Career induction stops here (and here =2) | 1979-01-01 | Paper |
| A Note on the Admissibility of Cut in Relevant Tableau Systems | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4198728 | 1979-01-01 | Paper |
| On the inconsistency of systems similar to | 1978-01-01 | Paper |
| First degree formulas in Curry's LD | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4133937 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4156763 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4156764 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4163192 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4175263 | 1977-01-01 | Paper |
| Negation disarmed | 1976-01-01 | Paper |
| Metacompleteness | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4116428 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4133938 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4138710 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4073358 | 1975-01-01 | Paper |
| Completeness of relevant quantification theories | 1974-01-01 | Paper |
| Classical relevant logics. II | 1974-01-01 | Paper |
| New axiomatics for relevant logics. I | 1974-01-01 | Paper |
| Choice and descriptions in enriched intensional languages. I | 1974-01-01 | Paper |
| Classical relevant logics. I | 1973-01-01 | Paper |
| Conservative extension in relevant implication | 1973-01-01 | Paper |
| On conserving positive logics | 1973-01-01 | Paper |
| An undecidable relevant logic | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4077983 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4077984 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5632545 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5632546 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5632547 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5639695 | 1972-01-01 | Paper |
| Independent Axioms for the Implicational Fragment of Sobociński's Three‐Valued Logic | 1972-01-01 | Paper |
| The semantics of entailment. II | 1972-01-01 | Paper |
| The semantics of entailment. III | 1972-01-01 | Paper |
| Matters of separation | 1972-01-01 | Paper |
| On relevantly derivable disjunctions | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4103076 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5631082 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5650669 | 1971-01-01 | Paper |
| Algebraic Completeness Results for Dummett's LC and Its Extensions | 1971-01-01 | Paper |
| On Prefacing (⊇ X) A ⊃ A (Y/X) WITH (⊇ Y) — A Free Quantification Theory Without Identity | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5656756 | 1970-01-01 | Paper |
| E and S4 | 1970-01-01 | Paper |
| RI the Bounds of Finitude | 1970-01-01 | Paper |
| E, R AND γ | 1969-01-01 | Paper |
| Open formulas and the empty domain | 1969-01-01 | Paper |
| A liberated version of S5 | 1969-01-01 | Paper |
| An Undecidability Result in the Theory of Relevant Implication | 1968-01-01 | Paper |
| Universally free logic and standard quantification theory | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5579479 | 1968-01-01 | Paper |
| Pure denumerable Łukasiewiczian implication | 1966-01-01 | Paper |
| Pure three-valued Łukasiewiczian implication | 1966-01-01 | Paper |
