Greg Restall - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 34 from 34

2023

Collection Frames for Distributive Substructural LogicsGreg Restall, Shawn Standefer. rsl, 16(4):1120-1157, December 2023. [doi]

2019

Negation on the Australian PlanFrancesco Berto, Greg Restall. jphil, 48(6):1119-1144, 2019. [doi]

Generality and existence 1: Quantification and Free LogicGreg Restall. rsl, 12(1):1-29, 2019. [doi]

2014

Normal Proofs, Cut Free Derivations and Structural RulesGreg Restall. sLogica, 102(6):1143-1166, 2014. [doi]

2013

Editorial: Special issue on non-classical mathematicsLibor Behounek, Greg Restall, Giovanni Sambin. igpl, 21(1):1-3, 2013. [doi]

Assertion, Denial and Non-classical TheoriesGreg Restall. In Koji Tanaka, Francesco Berto, Edwin D. Mares, Francesco Paoli, editors, Paraconsistency: Logic and Applications. Volume 26 of Logic, Epistemology, and the Unity of Science, pages 81-99, Springer, 2013. [doi]

2012

A History of The Consequence RelationsConrad Asmus, Greg Restall. In Dov M. Gabbay, Francis Jeffry Pelletier, John Woods, editors, Logic: A History of its Central Concepts. Volume 11 of Handbook of the History of Logic, pages 11-61, Elsevier, 2012. [doi]

On the Ternary Relation and ConditionalityJ. 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 Sylan. jphil, 41(3):595-612, 2012. [doi]

Anti-realist Classical Logic and Realist MathematicsGreg Restall. In Shahid Rahman, Giuseppe Primiero, Mathieu Marion, editors, The Realism-Antirealism Debate in the Age of Alternative Logics. Volume 23 of Logic, Epistemology, and the Unity of Science, pages 269-284, Springer, 2012. [doi]

A cut-free sequent system for two-dimensional modal logic, and why it mattersGreg Restall. APAL, 163(11):1611-1623, 2012. [doi]

2010

Relevant AgentsMarta Bílková, Ondrej Majer, Michal Pelis, Greg Restall. aiml 2010: 22-38 [doi]

2009

On Permutation in Simplified SemanticsGreg Restall, Tony Roy. jphil, 38(3):333-341, 2009. [doi]

Truth Values and Proof TheoryGreg Restall. sLogica, 92(2):241-264, 2009. [doi]

2008

Models for Liars in Bradwardine's Theory of TruthGreg Restall. In Shahid Rahman, Tero Tulenheimo, Emmanuel J. Genot, editors, Unity, Truth and the Liar - The Modern Relevance of Medieval Solutions to the Liar Paradox. Volume 8 of Logic, Epistemology, and the Unity of Science, pages 135-147, Springer, 2008. [doi]

Modal Models for Bradwardine's Theory of TruthGreg Restall. rsl, 1(2):225-240, 2008. [doi]

2006

Relevant Restricted QuantificationJ. C. Beall, Ross T. Brady, Allen Hazen, Graham Priest, Greg Restall. jphil, 35(6):587-598, 2006. [doi]

Relevant and substructural logicsGreg Restall. In Dov M. Gabbay, John Woods, editors, Logic and the Modalities in the Twentieth Century. Volume 7 of Handbook of the History of Logic, pages 289-398, Elsevier, 2006. [doi]

2005

The geometry of non-distributive logicsFrancesco Paoli, Greg Restall. JSYML, 70(4):1108-1126, 2005. [doi]

2004

Logical Pluralism and the Preservation of WarrantGreg Restall. In Shahid Rahman, John Symons, Dov M. Gabbay, Jean Paul Van Bendegem, editors, Logic, Epistemology, and the Unity of Science. Volume 1 of Logic, Epistemology, and the Unity of Science, pages 163-173, Springer, 2004. [doi]

Routes to TrivialitySusan Rogerson, Greg Restall. jphil, 33(4):421-436, 2004. [doi]

2003

Book Review: Achille C. Varzi, editor, The Nature of Logic, European Review of PhilosophyGreg Restall. sLogica, 73(3):445-448, 2003.

2002

Paraconsistency EverywhereGreg Restall. ndjfl, 43(3):147-156, 2002.

2000

Defining Double Negation EliminationGreg Restall. igpl, 8(6):853-860, 2000. [doi]

1998

Displaying and Deciding Substructural Logics 1: Logics with ContrapositionGreg Restall. jphil, 27(2):179-216, 1998. [doi]

1997

Ways Things Can t BeGreg Restall. ndjfl, 38(4):583-596, 1997.

Combining Possibilities and NegationsGreg Restall. sLogica, 59(1):121-141, 1997.

1995

Display Logic and Gaggle TheoryGreg Restall. rml, 29:133-146, 1995. [doi]

Four-valued semantics for relevant logics (and some of their rivals)Greg Restall. jphil, 24(2):139-160, 1995. [doi]

Realistic Belief RevisionGreg Restall, John K. Slaney. wocfai 1995: 367-378

1994

A Useful Substructural LogicGreg Restall. igpl, 2(2):137-148, 1994. [doi]

Subintuitionistic LogicsGreg Restall. ndjfl, 35(1):116-129, 1994.

1993

How to be ::::really:::: contraction freeGreg Restall. sLogica, 52(3):381-392, 1993.

Simplified semantics for relevant logics (and some of their rivals)Greg Restall. jphil, 22(5):481-511, 1993. [doi]

1992

A Note on Naive Set Theory in LPGreg Restall. ndjfl, 33(3):422-432, 1992.

Sign in or sign up to see more results.

runs on WebDSL