Greg Restall
#82,419
Most Influential Person Now
Australian philosopher
Greg Restall's AcademicInfluence.com Rankings
Greg Restallphilosophy Degrees
Philosophy
#3021
World Rank
#4976
Historical Rank
Metaphysics
#170
World Rank
#247
Historical Rank
Epistemology
#200
World Rank
#251
Historical Rank
Logic
#1341
World Rank
#2066
Historical Rank
Download Badge
Philosophy
Why Is Greg Restall Influential?
(Suggest an Edit or Addition)According to Wikipedia, Greg Restall is an Australian philosopher and Professor of Philosophy at the University of St Andrews. He is a fellow of the Australian Academy of the Humanities. Restall is known for his research on logic and theories of meaning. After working at the University of Melbourne for years he was appointed the Shelby Cullom David Professor of Philosophy at the University of St Andrews.
Greg Restall's Published Works
Published Works
- An Introduction to Substructural Logics (2000) (539)
- Logical pluralism (2000) (320)
- Multiple Conclusions (2004) (127)
- Truthmakers, entailment and necessity (1996) (117)
- Negation in Relevant Logics (How I Stopped Worrying and Learned to Love the Routley Star) (1999) (97)
- On the Ternary Relation and Conditionality (2012) (85)
- Relevant Restricted Quantification (2006) (80)
- Assertion, Denial and Non-classical Theories (2013) (79)
- Ways Things Can't Be (1997) (78)
- Carnap’s Tolerance, Meaning, and Logical Pluralism (2002) (74)
- On logics without contraction (1994) (68)
- Moral fictionalism versus the rest (2005) (68)
- Simplified semantics for relevant logics (and some of their rivals) (1993) (64)
- A Note on Naive Set Theory in LP (1992) (57)
- Preparing students for Flipped or Team-Based Learning methods (2015) (55)
- A cut-free sequent system for two-dimensional modal logic, and why it matters (2012) (53)
- Proofnets for S5: sequents and circuits for modal logic (2007) (52)
- Information Flow and Relevant Logics (1996) (49)
- Displaying and Deciding Substructural Logics 1: Logics with Contraposition (1998) (48)
- Arithmetic and truth in L/ukasiewicz''s infinitely valued logic (1992) (48)
- Truth Values and Proof Theory (2009) (44)
- Realistic Belief Revision (1995) (44)
- Relevant and substructural logics (2006) (41)
- Four-valued semantics for relevant logics (and some of their rivals) (1995) (40)
- Pluralism and Proofs (2014) (35)
- Defending Logical Pluralism (1999) (34)
- Subintuitionistic Logics (1994) (34)
- Using Peer Instruction to teach Philosophy, Logic and Critical Thinking Sam Butchart, Toby Handfield (2009) (32)
- Barriers to Implication (2010) (31)
- Negation on the Australian Plan (2019) (28)
- How to bereally contraction free (1993) (26)
- Models for Substructural Arithmetics (2010) (25)
- Logic: An Introduction (2005) (23)
- On t and u, and what they can do (2010) (23)
- Just What Is Full-Blooded Platonism?† (2003) (22)
- Display Logic and Gaggle Theory (1995) (22)
- Laws of Non-Contradiction, Laws of the Excluded Middle, and Logics * (2004) (21)
- Defining Double Negation Elimination (2000) (21)
- Routes to Triviality (2004) (20)
- A Useful Substructural Logic (1994) (19)
- Carnap's Tolerance, Language Change and Logical Pluralism (2001) (17)
- Deviant logic and the paradoxes of self reference (1993) (16)
- Extending Intuitionistic Logic with Subtraction (1997) (16)
- Not Every Truth Can Be Known (at least, not all at once) (2010) (14)
- Comparing Modal Sequent Systems (2006) (14)
- Interpreting and Applying Proof Theories for Modal Logic (2012) (14)
- On Permutation in Simplified Semantics (2009) (13)
- Envelopes and Indifference (2008) (13)
- GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC (2018) (13)
- Normal Proofs, Cut Free Derivations and Structural Rules (2014) (12)
- What are we to accept, and what are we to reject, while saving truth from paradox? (2010) (12)
- Modalities In Substructural Logics (1994) (12)
- One Way to Face Facts (2004) (11)
- MODAL MODELS FOR BRADWARDINE'S THEORY OF TRUTH (2008) (10)
- Curry's Revenge: the costs of non-classical solutions to the paradoxes of self-reference (2008) (10)
- Proof Theory and Meaning: on second order logic (2008) (9)
- Teaching Philosophy, Logic and Critical Thinking using Peer Instruction (2009) (9)
- The geometry of non-distributive logics (2005) (9)
- molinism and the thin red line (2008) (9)
- Combining Possibilities and Negations (1997) (8)
- A Priori Truths (2009) (8)
- Logics, Situations and Channels (2005) (8)
- Logical Pluralism and the Preservation of Warrant (2004) (7)
- Ëukasiewicz, supervaluations, and the future (2005) (6)
- proof theory and meaning: on the context of deducibility (2007) (6)
- Models for Liars in Bradwardine's Theory of Truth (2008) (6)
- Assertion, Denial, Accepting, Rejecting, Symmetry and Paradox (2015) (6)
- Linear arithmetic desecsed (1996) (5)
- Łukasiewicz , supervaluations , and the future (2005) (5)
- New Waves in Philosophical Logic (2012) (5)
- First Degree Entailment, Symmetry and Paradox (2016) (5)
- Paraconsistent Logics! (1995) (5)
- Logic at Work: Essays dedicated to the Memory of Helena Rasiowa (2001) (4)
- isomorphisms in a category of proofs (2018) (4)
- Decorated linear order types and the theory of concatenation (2010) (4)
- Modelling Truthmaking (1998) (4)
- A History of The Consequence Relations (2012) (4)
- ENTAILMENT AND NECESSITY (1996) (3)
- Anti-realist Classical Logic and Realist Mathematics (2012) (3)
- Constant domain quantified modal logics without boolean negation (2005) (3)
- assertion , denial , accepting , rejecting , symmetry & paradox (2013) (2)
- HISTORY OF LOGICAL CONSEQUENCE (2012) (2)
- Learner-Centredness in Teachers’ Beliefs: A Qualitative Multiple-Case Study of Chinese Secondary Teachers of English as a Foreign Language (2020) (2)
- proof terms for classical derivations (2017) (2)
- Ross Brady. Universal logic. CSLI Lecture Notes, vol. 109. CSLI Publications, Stanford, 2006, xii + 346 pp. (2007) (2)
- A Participatory Model of the Atonement (2008) (2)
- Team‐based learning and the community of inquiry model (2021) (2)
- Situations, Constraints and Channels (Update of Chapter 4) (2011) (2)
- speech acts & the quest for a natural account of classical proof (2020) (2)
- Collection Frames for Substructural Logics (2019) (1)
- Situations, Constraints and Channels (2011) (1)
- Fixed-Point Models for Theories of Properties and Classes (2017) (1)
- Paraconsistency Everywhere (2002) (1)
- Truth and Truth-Making: Postscript to “Truth-makers, entailment and necessity” (2008) (1)
- Four Variables Suce (2007) (1)
- Proofs and Models in Naive Property Theory: A Response to Hartry Field's ‘Properties, Propositions and Conditionals’ (2020) (1)
- Extending Metacompleteness to Systems with Classical Formulae. in honour of robert k. meyer. (2010) (1)
- Teaching Chinese Language for Asia Literacy: Chinese Teachers’ Experiences Teaching Australian Students (2018) (1)
- Barriers to Inference (2005) (1)
- Truth-Tellers in Bradwardine’s Theory of Truth (2018) (1)
- Pluralism and Proofs (2014) (1)
- On Priest on Nonmonotonic and Inductive Logic (2016) (1)
- Geometric Models for Relevant Logics (2021) (1)
- Melbourne, Australia November 9–11, 2007 (2008) (1)
- Review of Alan Ross Anderson, Nuel D. Belnap, Jr., and J. Michael Dunn, Entailment, Volume II (1995) (0)
- Costing Non-classical Solutions to the Paradoxes of Self-reference 1 Non-classical Solutions (1998) (0)
- Proof Theory : Logical and Philosophical Aspects (2015) (0)
- Proofs and Models in Philosophical Logic (2022) (0)
- RSL volume 2 issue 2 Cover and Front matter (2009) (0)
- The 2007 Annual Conference of the Australasian Association for Logic (2008) (0)
- Principles of interior renovation: The role of the interior designer (2000) (0)
- Modal Logic and Philosophy (2003) (0)
- Book Review: Achille C. Varzi, editor, The Nature of Logic, European Review of Philosophy (2003) (0)
- Colour and other factors (2000) (0)
- Landscape, gardens and the space between the buildings (2000) (0)
- Truth and Truth-Making: Truth-makers, entailment and necessity (2008) (0)
- Some things do not exist (2004) (0)
- Existence, Definedness-and the semantics of possibility and necessity (2016) (0)
- with Student Day on December 14, 2011 (2013) (0)
- Departmental components of the average hospital: From reception to chapels (2000) (0)
- Normal Proofs, Cut Free Derivations and Structural Rules (2014) (0)
- Linear Arithmetic Desecsed Linear Arithmetic Desecsed (1996) (0)
- invention is the mother of necessity: modal logic, modal semantics, and modal metaphysics (2005) (0)
- On the Ternary Relation and Conditionality (2011) (0)
- isomorphisms in a category of propositions and proofs (2018) (0)
- Assertion, denial, commitment, entitlement, and incompatibility (and some consequence) (2008) (0)
- Editorial: Special issue on non-classical mathematics (2013) (0)
- proofs with star and perp (2021) (0)
- REVIEWS-Universal logic (2007) (0)
- , , , , , , (2004) (0)
- , , , , ( ) (2008) (0)
- Constructive Logic for All (2000) (0)
- Relative Truth (2011) (0)
- Arts and decoration: From high art to humble memorabilia (2000) (0)
- Review of John P. Cleave, A Study of Logics (1995) (0)
- The legacy and appearance of hospital buildings (2000) (0)
- Jc Beall, The Contradictory Christ (Oxford: Oxford University Press, 2021. Pp. xvii + 185. £45.00 (Hbk). ISBN 9780199952360. (2022) (0)
- Interior features: From floors to furniture (2000) (0)
- defining rules, proofs and counterexamples (2018) (0)
- Assertions , Questions , Answers & the Common Ground (0)
- Collection Frames for Distributive Substructural Logics (2022) (0)
- Envelopes and Indifference 1 The Problem (2007) (0)
- accommodation, inference, generics and pejoratives (2018) (0)
- 5 Situations, Constraints and (2011) (0)
- What is a predicate (2004) (0)
- Professional appointments: The ‘design team’ (2000) (0)
- Negation on the Australian Plan (2019) (0)
- What is logic (2006) (0)
- Two Negations Are More than One (2019) (0)
- '...(I)n considerations of a general theoretical nature the proper concept of con- sequence must be placed in the foreground.' (2009) (0)
- The human factor (2000) (0)
- Appendix (2007) (0)
- Questions , Justification Requests , Inference , and Definition (2022) (0)
- Denials , Questions , Answers & the Common Ground (2019) (0)
- Australasian Association for Logic 29th Annual Conference (1999) (0)
- Combining Possibilities and NegationsGreg RestallAutomated Reasoning ProjectAustralian National UniversityGreg (1994) (0)
This paper list is powered by the following services:
Other Resources About Greg Restall
What Schools Are Affiliated With Greg Restall?
Greg Restall is affiliated with the following schools: