Greg Restall

39 papers B 1Journal 31Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Reflections on Brady's Logic of Meaning Containment.
Australas. J. Log.
Greg Restall
2023 J jnl
Collection Frames for Distributive Substructural Logics.
Rev. Symb. Log.
Greg Restall, Shawn Standefer
2019 J jnl
Generality and existence 1: Quantification and Free Logic.
Rev. Symb. Log.
Greg Restall
2019 J jnl
Negation on the Australian Plan.
J. Philos. Log.
Francesco Berto, Greg Restall
2017 J jnl
Fixed-Point Models for Theories of Properties and Classes.
Australas. J. Log.
Greg Restall
2014 J jnl
Normal Proofs, Cut Free Derivations and Structural Rules.
Stud Logica
Greg Restall
2013 — ch.
Assertion, Denial and Non-classical Theories.
Paraconsistency: Logic and Applications
Greg Restall
2013 J jnl
Editorial: Special issue on non-classical mathematics.
Log. J. IGPL
Libor Behounek, Greg Restall, Giovanni Sambin
2012 — ch.
A History of The Consequence Relations.
Logic: A History of its Central Concepts
Conrad Asmus, Greg Restall
2012 J jnl
A cut-free sequent system for two-dimensional modal logic, and why it matters.
Ann. Pure Appl. Log.
Greg Restall
2012 — ch.
Anti-realist Classical Logic and Realist Mathematics.
The Realism-Antirealism Debate in the Age of Alternative Logics
Greg Restall
2012 J jnl
On the Ternary Relation and Conditionality.
J. Philos. Log.
J. C. Beall, Ross T. Brady, J. Michael Dunn, Allen Hazen, Edwin D. Mares, Robert K. Meyer, Graham Priest, Greg Restall, David Ripley, John K. Slaney, Richard Sylvan
2010 J jnl
Models for Substructural Arithmetics.
Australas. J. Log.
Greg Restall
2010 B conf
Relevant Agents.
Advances in Modal Logic
Marta Bílková, Ondrej Majer, Michal Pelis, Greg Restall
2009 J jnl
On Permutation in Simplified Semantics.
J. Philos. Log.
Greg Restall, Tony Roy
2009 J jnl
Truth Values and Proof Theory.
Stud Logica
Greg Restall
2008 J jnl
Modal Models for Bradwardine's Theory of Truth.
Rev. Symb. Log.
Greg Restall
2008 — ch.
Models for Liars in Bradwardine's Theory of Truth.
Unity, Truth and the Liar
Greg Restall
2006 J jnl
Relevant Restricted Quantification.
J. Philos. Log.
J. C. Beall, Ross T. Brady, Allen Hazen, Graham Priest, Greg Restall
2006 — ch.
Relevant and substructural logics.
Logic and the Modalities in the Twentieth Century
Greg Restall
2005 J jnl
Constant Domain Quantified Modal Logics Without Boolean Negation.
Australas. J. Log.
Greg Restall
2005 J jnl
The geometry of non-distributive logics.
J. Symb. Log.
Francesco Paoli, Greg Restall
2004 — ch.
Logical Pluralism and the Preservation of Warrant.
Logic, Epistemology, and the Unity of Science
Greg Restall
2004 J jnl
Routes to Triviality.
J. Philos. Log.
Susan Rogerson, Greg Restall
2003 J jnl
Book Review: Achille C. Varzi, editor, The Nature of Logic, European Review of Philosophy.
Stud Logica
Greg Restall
2003 J jnl
Editorial.
Australas. J. Log.
Greg Restall
2002 J jnl
Paraconsistency Everywhere.
Notre Dame J. Formal Log.
Greg Restall
2000 J jnl
Defining Double Negation Elimination.
Log. J. IGPL
Greg Restall
1998 J jnl
Displaying and Deciding Substructural Logics 1: Logics with Contraposition.
J. Philos. Log.
Greg Restall
1997 J jnl
Combining Possibilities and Negations.
Stud Logica
Greg Restall
1997 J jnl
Ways Things Can't Be.
Notre Dame J. Formal Log.
Greg Restall
1995 J jnl
Display Logic and Gaggle Theory.
Reports Math. Log.
Greg Restall
1995 J jnl
Four-valued semantics for relevant logics (and some of their rivals).
J. Philos. Log.
Greg Restall
1995 — conf
Realistic Belief Revision.
WOCFAI
Greg Restall, John K. Slaney
1994 J jnl
A Useful Substructural Logic.
Bull. IGPL
Greg Restall
1994 J jnl
Subintuitionistic Logics.
Notre Dame J. Formal Log.
Greg Restall
1993 J jnl
How to be
Stud Logica
Greg Restall
1993 J jnl
Simplified semantics for relevant logics (and some of their rivals).
J. Philos. Log.
Greg Restall
1992 J jnl
A Note on Naive Set Theory in LP.
Notre Dame J. Formal Log.
Greg Restall