Greg Restall

Publication Activity (10 Years)

Years Active: 1992-2023
Publications (10 Years): 3

Top Topics

Rule Generation

Containment Of Conjunctive Queries

Top Venues

Rev. Symb. Log.

J. Philos. Log.

Publications

Greg Restall, Shawn Standefer
Collection Frames for Distributive Substructural Logics. Rev. Symb. Log. 16 (4) (2023)
Francesco Berto, Greg Restall
Negation on the Australian Plan. J. Philos. Log. 48 (6) (2019)
Greg Restall
Generality and existence 1: Quantification and Free Logic. Rev. Symb. Log. 12 (1) (2019)
Greg Restall
Normal Proofs, Cut Free Derivations and Structural Rules. Stud Logica 102 (6) (2014)
Libor Behounek, Greg Restall, Giovanni Sambin
Editorial: Special issue on non-classical mathematics. Log. J. IGPL 21 (1) (2013)
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
On the Ternary Relation and Conditionality. J. Philos. Log. 41 (3) (2012)
Greg Restall
A cut-free sequent system for two-dimensional modal logic, and why it matters. Ann. Pure Appl. Log. 163 (11) (2012)
Marta Bílková, Ondrej Majer, Michal Pelis, Greg Restall
Relevant Agents. Advances in Modal Logic (2010)
Greg Restall, Tony Roy
On Permutation in Simplified Semantics. J. Philos. Log. 38 (3) (2009)
Greg Restall
Truth Values and Proof Theory. Stud Logica 92 (2) (2009)
Greg Restall
Modal Models for Bradwardine's Theory of Truth. Rev. Symb. Log. 1 (2) (2008)
J. C. Beall, Ross T. Brady, Allen Hazen, Graham Priest, Greg Restall
Relevant Restricted Quantification. J. Philos. Log. 35 (6) (2006)
Francesco Paoli, Greg Restall
The geometry of non-distributive logics. J. Symb. Log. 70 (4) (2005)
Susan Rogerson, Greg Restall
Routes to Triviality. J. Philos. Log. 33 (4) (2004)
Greg Restall
Book Review: Achille C. Varzi, editor, The Nature of Logic, European Review of Philosophy. Stud Logica 73 (3) (2003)
Greg Restall
Paraconsistency Everywhere. Notre Dame J. Formal Log. 43 (3) (2002)
Greg Restall
Defining Double Negation Elimination. Log. J. IGPL 8 (6) (2000)
Greg Restall
Displaying and Deciding Substructural Logics 1: Logics with Contraposition. J. Philos. Log. 27 (2) (1998)
Greg Restall
Ways Things Can't Be. Notre Dame J. Formal Log. 38 (4) (1997)
Greg Restall
Combining Possibilities and Negations. Stud Logica 59 (1) (1997)
Greg Restall
Display Logic and Gaggle Theory. Reports Math. Log. 29 (1995)
Greg Restall, John K. Slaney
Realistic Belief Revision. WOCFAI (1995)
Greg Restall
Four-valued semantics for relevant logics (and some of their rivals). J. Philos. Log. 24 (2) (1995)
Greg Restall
Subintuitionistic Logics. Notre Dame J. Formal Log. 35 (1) (1994)
Greg Restall
A Useful Substructural Logic. Bull. IGPL 2 (2) (1994)
Greg Restall
contraction free. Stud Logica 52 (3) (1993)
Greg Restall
Simplified semantics for relevant logics (and some of their rivals). J. Philos. Log. 22 (5) (1993)
Greg Restall
A Note on Naive Set Theory in LP. Notre Dame J. Formal Log. 33 (3) (1992)