| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 6965723 (Why is no real title available?) | 2018-10-25 | Paper |
| scientific article; zbMATH DE number 6538188 (Why is no real title available?) | 2016-02-01 | Paper |
The better bubbling lemma
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
On the ternary relation and conditionality
Journal of Philosophical Logic | 2012-09-20 | Paper |
| Truth translations of basic relevant logics | 2011-05-31 | Paper |
AI, ME and Lewis (abelian implication, material equivalence and C I Lewis 1920)
Journal of Philosophical Logic | 2008-04-09 | Paper |
The Relevant Equivalence Property
Logic Journal of the IGPL | 2008-01-14 | Paper |
| scientific article; zbMATH DE number 2211926 (Why is no real title available?) | 2005-10-04 | Paper |
Ternary relations and relevant semantics
Annals of Pure and Applied Logic | 2004-08-06 | Paper |
The semantics of entailment omega
Notre Dame Journal of Formal Logic | 2004-05-27 | Paper |
| scientific article; zbMATH DE number 2019868 (Why is no real title available?) | 2004-03-08 | Paper |
| scientific article; zbMATH DE number 1984514 (Why is no real title available?) | 2003-09-22 | Paper |
| scientific article; zbMATH DE number 1874095 (Why is no real title available?) | 2003-03-11 | Paper |
| scientific article; zbMATH DE number 1749198 (Why is no real title available?) | 2002-11-28 | Paper |
Linear arithmetic desecsed
Logique et Analyse. Nouvelle Série | 2001-09-04 | Paper |
| scientific article; zbMATH DE number 1342215 (Why is no real title available?) | 2000-06-29 | Paper |
| scientific article; zbMATH DE number 1406805 (Why is no real title available?) | 2000-02-28 | Paper |
\(\supset\)E is admissible in ``true relevant arithmetic
Journal of Philosophical Logic | 1999-03-09 | Paper |
In Memoriam: Richard (Routley) Sylvan 1935-1996
The Bulletin of Symbolic Logic | 1999-02-02 | Paper |
Combinators and structurally free logic
Logic Journal of the IGPL | 1997-12-15 | Paper |
| scientific article; zbMATH DE number 922629 (Why is no real title available?) | 1997-01-05 | Paper |
| scientific article; zbMATH DE number 804143 (Why is no real title available?) | 1996-08-15 | Paper |
| scientific article; zbMATH DE number 823596 (Why is no real title available?) | 1996-05-02 | Paper |
The finite model property for BCK and BCIW
Studia Logica | 1994-05-23 | Paper |
A structurally complete fragment of relevant logic
Notre Dame Journal of Formal Logic | 1993-12-06 | Paper |
The semantics of \(R4\)
Journal of Philosophical Logic | 1993-05-16 | Paper |
Whither relevant arithmetic?
Journal of Symbolic Logic | 1993-04-01 | Paper |
The admissibility of \(\gamma\) in R4
Notre Dame Journal of Formal Logic | 1993-02-22 | Paper |
Implementing the `Fool's model' of combinatory logic
Journal of Automated Reasoning | 1992-06-27 | Paper |
| scientific article; zbMATH DE number 4172950 (Why is no real title available?) | 1990-01-01 | Paper |
Completeness and conservative extension results for some Boolean relevant logics
Studia Logica | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4135919 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4117898 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4061193 (Why is no real title available?) | 1988-01-01 | Paper |
Further Results on Proof Theories For Semilattice Logics
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1988-01-01 | Paper |
A contractionless semilattice semantics
Journal of Symbolic Logic | 1987-01-01 | Paper |
Sentential constants in R and \(R^{\neg}\)
Studia Logica | 1986-01-01 | Paper |
Idempotents in R
Mathematical Logic Quarterly | 1986-01-01 | Paper |
Logic on the Australian plan
Journal of Philosophical Logic | 1986-01-01 | Paper |
Conservative Extension in Relevant Arithmetic
Mathematical Logic Quarterly | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4012563 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3989325 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3916223 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3904563 (Why is no real title available?) | 1985-01-01 | Paper |
Where gamma fails
Studia Logica | 1984-01-01 | Paper |
Inconsistent models for relevant arithmetics
Journal of Symbolic Logic | 1984-01-01 | Paper |
A note on R\(\rightarrow\) matrices
Notre Dame Journal of Formal Logic | 1983-01-01 | Paper |
The fundamental S-theorem - A corollary
Notre Dame Journal of Formal Logic | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3926879 (Why is no real title available?) | 1982-01-01 | Paper |
Solution to the P − W problem
Journal of Symbolic Logic | 1982-01-01 | Paper |
The ineliminability of \(E|\) in free quantification theory without identity
Journal of Philosophical Logic | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3809522 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3821690 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3821691 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3756447 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3708335 (Why is no real title available?) | 1980-01-01 | Paper |
Career induction for quantifiers
Notre Dame Journal of Formal Logic | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3663083 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3663084 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3637825 (Why is no real title available?) | 1979-01-01 | Paper |
Career induction stops here (and here =2)
Journal of Philosophical Logic | 1979-01-01 | Paper |
A Note on the Admissibility of Cut in Relevant Tableau Systems
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1979-01-01 | Paper |
On the inconsistency of systems similar to
Journal of Symbolic Logic | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3587012 (Why is no real title available?) | 1977-01-01 | Paper |
First degree formulas in Curry's LD
Notre Dame Journal of Formal Logic | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3611331 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3561297 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3587011 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3596803 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3540786 (Why is no real title available?) | 1976-01-01 | Paper |
Metacompleteness
Notre Dame Journal of Formal Logic | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3566816 (Why is no real title available?) | 1976-01-01 | Paper |
Negation disarmed
Notre Dame Journal of Formal Logic | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3561298 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3490942 (Why is no real title available?) | 1975-01-01 | Paper |
Classical relevant logics. II
Studia Logica | 1974-01-01 | Paper |
New axiomatics for relevant logics. I
Journal of Philosophical Logic | 1974-01-01 | Paper |
Completeness of relevant quantification theories
Notre Dame Journal of Formal Logic | 1974-01-01 | Paper |
Choice and descriptions in enriched intensional languages. I
Journal of Philosophical Logic | 1974-01-01 | Paper |
Classical relevant logics. I
Studia Logica | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3496100 (Why is no real title available?) | 1973-01-01 | Paper |
On conserving positive logics
Notre Dame Journal of Formal Logic | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3496099 (Why is no real title available?) | 1973-01-01 | Paper |
Conservative extension in relevant implication
Studia Logica | 1973-01-01 | Paper |
An undecidable relevant logic
Mathematical Logic Quarterly | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3358444 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3358445 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3358446 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3366902 (Why is no real title available?) | 1972-01-01 | Paper |
The semantics of entailment. II
Journal of Philosophical Logic | 1972-01-01 | Paper |
The semantics of entailment. III
Journal of Philosophical Logic | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3525100 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3356738 (Why is no real title available?) | 1972-01-01 | Paper |
Independent Axioms for the Implicational Fragment of Sobociński's Three‐Valued Logic
Mathematical Logic Quarterly | 1972-01-01 | Paper |
Matters of separation
Notre Dame Journal of Formal Logic | 1972-01-01 | Paper |
On relevantly derivable disjunctions
Notre Dame Journal of Formal Logic | 1972-01-01 | Paper |
Algebraic Completeness Results for Dummett's LC and Its Extensions
Mathematical Logic Quarterly | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3378892 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3387334 (Why is no real title available?) | 1970-01-01 | Paper |
RI the Bounds of Finitude
Mathematical Logic Quarterly | 1970-01-01 | Paper |
On Prefacing (⊇ X) A ⊃ A (Y/X) WITH (⊇ Y) — A Free Quantification Theory Without Identity
Mathematical Logic Quarterly | 1970-01-01 | Paper |
E and S4
Notre Dame Journal of Formal Logic | 1970-01-01 | Paper |
Open formulas and the empty domain
Archiv für Mathematische Logik und Grundlagenforschung | 1969-01-01 | Paper |
E, R AND γ
Journal of Symbolic Logic | 1969-01-01 | Paper |
A liberated version of S5
Archiv für Mathematische Logik und Grundlagenforschung | 1969-01-01 | Paper |
An Undecidability Result in the Theory of Relevant Implication
Mathematical Logic Quarterly | 1968-01-01 | Paper |
Universally free logic and standard quantification theory
Journal of Symbolic Logic | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3296227 (Why is no real title available?) | 1968-01-01 | Paper |
Pure three-valued Łukasiewiczian implication
Journal of Symbolic Logic | 1966-01-01 | Paper |
Pure denumerable Łukasiewiczian implication
Journal of Symbolic Logic | 1966-01-01 | Paper |
