Greg Restall

Available identifiers

zbMath Open restall.gregMaRDI QIDQ450955

List of research outcomes

Publication	Date of Publication	Type
Structural Rules in Natural Deduction with Alternatives	2024-02-29	Paper
COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS	2024-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q5871896	2023-01-25	Paper
Geometric Models for Relevant Logics	2022-02-04	Paper
Proofs and Models in Philosophical Logic	2022-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q5133705	2020-11-10	Paper
Two Negations Are More than One	2020-08-10	Paper
Negation on the Australian plan	2020-02-14	Paper
GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC	2019-06-07	Paper
First Degree Entailment, Symmetry and Paradox	2018-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q4639911	2018-05-14	Paper
Logical Pluralism	2017-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q3466597	2016-02-01	Paper
Normal proofs, cut free derivations and structural rules	2015-02-27	Paper
Pluralism and proofs	2015-01-26	Paper
https://portal.mardi4nfdi.de/entity/Q2939749	2015-01-22	Paper
Assertion, Denial and Non-classical Theories	2013-04-02	Paper
https://portal.mardi4nfdi.de/entity/Q4648954	2012-11-16	Paper
On t and u, and what they can do	2012-11-09	Paper
A cut-free sequent system for two-dimensional modal logic, and why it matters	2012-09-26	Paper
On the ternary relation and conditionality	2012-09-20	Paper
Anti-realist Classical Logic and Realist Mathematics	2012-08-29	Paper
https://portal.mardi4nfdi.de/entity/Q2904045	2012-08-05	Paper
https://portal.mardi4nfdi.de/entity/Q3003835	2011-05-31	Paper
https://portal.mardi4nfdi.de/entity/Q3079690	2011-03-02	Paper
https://portal.mardi4nfdi.de/entity/Q3079697	2011-03-02	Paper
MODAL MODELS FOR BRADWARDINE'S THEORY OF TRUTH	2010-08-13	Paper
Truth values and proof theory	2009-11-16	Paper
On permutation in simplified semantics	2009-06-19	Paper
https://portal.mardi4nfdi.de/entity/Q5457387	2008-04-14	Paper
Relevant restricted quantification	2006-11-17	Paper
The geometry of non-distributive logics	2006-09-06	Paper
https://portal.mardi4nfdi.de/entity/Q5483305	2006-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q5471129	2006-06-06	Paper
https://portal.mardi4nfdi.de/entity/Q5711856	2005-12-08	Paper
https://portal.mardi4nfdi.de/entity/Q5694707	2005-10-04	Paper
Routes to triviality	2005-04-07	Paper
https://portal.mardi4nfdi.de/entity/Q4662881	2005-03-30	Paper
Just What Is Full-Blooded Platonism?†	2004-09-06	Paper
Paraconsistency everywhere	2004-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q4709466	2003-09-07	Paper
https://portal.mardi4nfdi.de/entity/Q4805593	2003-05-07	Paper
https://portal.mardi4nfdi.de/entity/Q4795603	2003-03-11	Paper
https://portal.mardi4nfdi.de/entity/Q2715516	2001-12-18	Paper
https://portal.mardi4nfdi.de/entity/Q2735832	2001-09-04	Paper
Defining double negation elimination	2000-12-19	Paper
Displaying and deciding substructural logics. I: Logics with contraposition	1999-05-24	Paper
https://portal.mardi4nfdi.de/entity/Q4390779	1999-02-09	Paper
Ways things can't be	1999-01-27	Paper
Combining possibilities and negations	1998-06-01	Paper
https://portal.mardi4nfdi.de/entity/Q5691522	1997-11-16	Paper
https://portal.mardi4nfdi.de/entity/Q5690150	1997-01-15	Paper
https://portal.mardi4nfdi.de/entity/Q4856963	1996-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4856958	1995-12-05	Paper
Four-valued semantics for relevant logics (and some of their rivals)	1995-03-22	Paper
A Useful Substructural Logic	1995-01-02	Paper
Subintuitionistic logics	1994-09-13	Paper
How to be really contraction free	1994-08-21	Paper
Simplified semantics for relevant logics (and some of their rivals)	1994-02-16	Paper
A note on naive set theory in LP	1993-02-22	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Greg Restall