| Publication | Date of Publication | Type |
|---|
The law of excluded middle and Berry's paradox \dots finally
The Australasian Journal of Logic | 2024-08-06 | Paper |
In Support of Valerie Plumwood
The Australasian Journal of Logic | 2023-07-27 | Paper |
| scientific article; zbMATH DE number 7576847 (Why is no real title available?) | 2022-08-26 | Paper |
Arithmetic Formulated in a Logic of Meaning Containment
The Australasian Journal of Logic | 2021-12-29 | Paper |
The number of logical values
Outstanding Contributions to Logic | 2020-08-10 | Paper |
Comparing contents with information
Outstanding Contributions to Logic | 2020-08-07 | Paper |
Logic—The Big Picture
Springer Proceedings in Mathematics & Statistics | 2019-10-31 | Paper |
| Natural deduction systems for E | 2019-09-23 | Paper |
Starting the Dismantling of Classical Mathematics
The Australasian Journal of Logic | 2019-03-19 | Paper |
| scientific article; zbMATH DE number 6965723 (Why is no real title available?) | 2018-10-25 | Paper |
Metavaluations
The Bulletin of Symbolic Logic | 2018-01-11 | Paper |
| Extending metacompleteness to systems with classical formulae | 2016-02-01 | Paper |
The simple consistency of naive set theory using metavaluations
Journal of Philosophical Logic | 2014-12-18 | Paper |
| The consistency of arithmetic, based on a logic of meaning containment | 2013-06-12 | Paper |
| Metavaluations, naive set theory and inconsistency | 2013-04-24 | Paper |
Distribution in the logic of meaning containment and in quantum mechanics
Paraconsistency: Logic and Applications | 2013-04-02 | Paper |
On the ternary relation and conditionality
Journal of Philosophical Logic | 2012-09-20 | Paper |
| scientific article; zbMATH DE number 5997425 (Why is no real title available?) | 2012-01-13 | Paper |
Free semantics
Journal of Philosophical Logic | 2010-11-03 | Paper |
| Ordering properties for the Routley-Meyer relation \(R\) | 2009-11-30 | Paper |
FOUR BASIC LOGICAL ISSUES
The Review of Symbolic Logic | 2009-11-12 | Paper |
| A rejection system for the first-degree formulae of some relevant logics | 2009-05-27 | Paper |
| Negation in metacomplete relevant logics | 2009-02-24 | Paper |
| Universal logic | 2008-12-04 | Paper |
| What is wrong with Cantor's diagonal argument? | 2008-08-26 | Paper |
Relevant restricted quantification
Journal of Philosophical Logic | 2006-11-17 | Paper |
Normalized natural deduction systems for some relevant logics I: The logic DW
Journal of Symbolic Logic | 2006-07-05 | Paper |
| scientific article; zbMATH DE number 2150330 (Why is no real title available?) | 2005-03-30 | Paper |
| scientific article; zbMATH DE number 2062375 (Why is no real title available?) | 2004-03-28 | Paper |
| scientific article; zbMATH DE number 1735922 (Why is no real title available?) | 2002-09-25 | Paper |
Simple Gentzenizations for the normal formulae of contraction-less logics
Journal of Symbolic Logic | 1998-10-11 | Paper |
Relevant implication and the case for a weaker logic
Journal of Philosophical Logic | 1997-10-26 | Paper |
Gentzenizations of relevant logics without distribution. II
Journal of Symbolic Logic | 1997-05-25 | Paper |
Gentzenizations of relevant logics without distribution. I
Journal of Symbolic Logic | 1996-10-07 | Paper |
Gentzenizations of relevant logics with distribution
Journal of Symbolic Logic | 1996-10-07 | Paper |
| scientific article; zbMATH DE number 823590 (Why is no real title available?) | 1995-12-05 | Paper |
Rules in relevant logic. I: Semantic classification
Journal of Philosophical Logic | 1995-03-05 | Paper |
Rules in relevant logic. II: Formula representation
Studia Logica | 1995-03-05 | Paper |
Hierarchical semantics for relevant logics
Journal of Philosophical Logic | 1993-04-01 | Paper |
Gentzenization and decidability of some contraction-less relevant logics
Journal of Philosophical Logic | 1991-01-01 | Paper |
The Gentzenization and decidability of RW
Journal of Philosophical Logic | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4130375 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4130376 (Why is no real title available?) | 1989-01-01 | Paper |
A content semantics for quantified relevant logics. II
Studia Logica | 1989-01-01 | Paper |
A Routley-Meyer affixing style semantics for logics containing Aristotle's thesis
Studia Logica | 1989-01-01 | Paper |
A content semantics for quantified relevant logics. I
Studia Logica | 1988-01-01 | Paper |
Where gamma fails
Studia Logica | 1984-01-01 | Paper |
Depth relevance of some paraconsistent logics
Studia Logica | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3891328 (Why is no real title available?) | 1984-01-01 | Paper |
The simple consistency of a set theory based on the logic CSQ
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 |
| scientific article; zbMATH DE number 3784842 (Why is no real title available?) | 1982-01-01 | Paper |
Significance range theory
Notre Dame Journal of Formal Logic | 1980-01-01 | Paper |
A theory of classes and individuals based on a 3-valued significance logic
Notre Dame Journal of Formal Logic | 1980-01-01 | Paper |
Two remarks on The logic of significance and context
Notre Dame Journal of Formal Logic | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3573821 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3542387 (Why is no real title available?) | 1976-01-01 | Paper |
Significance logics
Notre Dame Journal of Formal Logic | 1976-01-01 | Paper |
The relative consistency of the class axioms of abstraction and extensionality and the axioms of NBG in three-valued logic
Notre Dame Journal of Formal Logic | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3358453 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3294559 (Why is no real title available?) | 1970-01-01 | Paper |
