Greg Restall

According to our database, Greg Restall authored at least 34 papers between 1992 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Collection Frames for Distributive Substructural Logics.

Greg Restall, Shawn Standefer

Rev. Symb. Log., December, 2023

2019

Generality and existence 1: Quantification and Free Logic.

Greg Restall

Rev. Symb. Log., 2019

Negation on the Australian Plan.

Francesco Berto, Greg Restall

J. Philos. Log., 2019

2014

Normal Proofs, Cut Free Derivations and Structural Rules.

Greg Restall

Stud Logica, 2014

2013

Assertion, Denial and Non-classical Theories.

Greg Restall

Proceedings of the Paraconsistency: Logic and Applications, 2013

Editorial: Special issue on non-classical mathematics.

Libor Behounek, Greg Restall, Giovanni Sambin

Log. J. IGPL, 2013

2012

Anti-realist Classical Logic and Realist Mathematics.

Greg Restall

Proceedings of the Realism-Antirealism Debate in the Age of Alternative Logics, 2012

A History of The Consequence Relations.

Conrad Asmus, Greg Restall

Proceedings of the Logic: A History of its Central Concepts, 2012

On the Ternary Relation and Conditionality.

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

J. Philos. Log., 2012

A cut-free sequent system for two-dimensional modal logic, and why it matters.

Greg Restall

Ann. Pure Appl. Log., 2012

2010

Relevant Agents.

Marta Bílková, Ondrej Majer, Michal Pelis, Greg Restall

Proceedings of the Advances in Modal Logic 8, 2010

2009

Truth Values and Proof Theory.

Greg Restall

Stud Logica, 2009

On Permutation in Simplified Semantics.

Greg Restall, Tony Roy

J. Philos. Log., 2009

2008

Models for Liars in Bradwardine's Theory of Truth.

Greg Restall

Proceedings of the Unity, Truth and the Liar, 2008

Modal Models for Bradwardine's Theory of Truth.

Greg Restall

Rev. Symb. Log., 2008

2006

Relevant and substructural logics.

Greg Restall

Proceedings of the Logic and the Modalities in the Twentieth Century, 2006

Relevant Restricted Quantification.

J. C. Beall, Ross T. Brady, Allen Hazen, Graham Priest, Greg Restall

J. Philos. Log., 2006

2005

The geometry of non-distributive logics.

Francesco Paoli, Greg Restall

J. Symb. Log., 2005

2004

Logical Pluralism and the Preservation of Warrant.

Greg Restall

Proceedings of the Logic, Epistemology, and the Unity of Science, 2004

Routes to Triviality.

Susan Rogerson, Greg Restall

J. Philos. Log., 2004

2003

Book Review: Achille C. Varzi, editor, The Nature of Logic, European Review of Philosophy.

Greg Restall

Stud Logica, 2003

2002

Paraconsistency Everywhere.

Greg Restall

Notre Dame J. Formal Log., 2002

2000

Defining Double Negation Elimination.

Greg Restall

Log. J. IGPL, 2000

1998

Displaying and Deciding Substructural Logics 1: Logics with Contraposition.

Greg Restall

J. Philos. Log., 1998

1997

Combining Possibilities and Negations.

Greg Restall

Stud Logica, 1997

Ways Things Can't Be.

Greg Restall

Notre Dame J. Formal Log., 1997

1995

Display Logic and Gaggle Theory.

Greg Restall

Reports Math. Log., 1995

Four-valued semantics for relevant logics (and some of their rivals).

Greg Restall

J. Philos. Log., 1995

Realistic Belief Revision.

Greg Restall, John K. Slaney

Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, 1995

1994

Subintuitionistic Logics.

Greg Restall

Notre Dame J. Formal Log., 1994

A Useful Substructural Logic.

Greg Restall

Bull. IGPL, 1994

1993

How to be <i>really</i> contraction free.

Greg Restall

Stud Logica, 1993

Simplified semantics for relevant logics (and some of their rivals).

Greg Restall

J. Philos. Log., 1993

1992

A Note on Naive Set Theory in LP.

Greg Restall

Notre Dame J. Formal Log., 1992