greg_restall's Restall:G [42 articles] Export

Recent papers posted to greg_restall's library by the author Restall:G. You can also see everyone's Restall:G.

	The Geometry of Non-Distributive Logics [My Copy] Journal of Symbolic Logic, Vol. to appear (200+) by Greg Restall, Francesco Paoli posted to lattice lc2005 pnc prooftheory by greg_restall on 2005-07-29 08:13:57 as
	Ways Things Can't Be [My Copy] Notre Dame Journal of Formal Logic, Vol. 38, No. 4. (1997), pp. 583-596. by Greg Restall posted to impossible logic mine paraconsistent possible semantics worlds by greg_restall on 2005-03-13 04:21:29 as along with 1 person recordmymind
	Ways Things Can't Be [My Copy] Notre Dame Journal of Formal Logic, Vol. 39 (1997), pp. 583-596. by Greg Restall posted to bibtex-import by greg_restall on 2005-03-12 04:21:10 as
	Truthmakers, Entailment and Necessity [My Copy] Australasian Journal of Philosophy, Vol. 74 (1996), pp. 331-340. by Greg Restall posted to bibtex-import by greg_restall on 2005-03-12 04:21:10 as
	Subintuitionistic Logics [My Copy] Notre Dame Journal of Formal Logic, Vol. 35 (1994), pp. 116-129. by Greg Restall posted to bibtex-import by greg_restall on 2005-03-12 04:21:10 as
	Simplified Semantics for Relevant Logics (and some of their rivals) [My Copy] Journal of Philosophical Logic, Vol. 22 (1993), pp. 481-511. by Greg Restall posted to bibtex-import by greg_restall on 2005-03-12 04:21:10 as
	Realistic Belief Revision [My Copy] In Proceedings of the First World Congress in the Fundamentals of Artificial Intelligence (1995), pp. 367-378. by Greg Restall, John Slaney posted to bibtex-import by greg_restall on 2005-03-12 04:21:10 as
	Paraconsistent Logics! [My Copy] Bulletin of the Section of Logic, Vol. 26 (1997), pp. 156-163. by Greg Restall posted to bibtex-import by greg_restall on 2005-03-12 04:21:10 as
	On Logics Without Contraction [My Copy] (January 1994) by Greg Restall posted to bibtex-import by greg_restall on 2005-03-12 04:21:10 as
	Negation in Relevant Logics: How I Stopped Worrying and Learned to Love the Routley Star [My Copy] In What is Negation?, Vol. 13 (1999), pp. 53-76. by Greg Restall edited by Dov Gabbay, Heinrich Wansing posted to bibtex-import by greg_restall on 2005-03-12 04:21:10 as
	Modalities in Substructural Logics [My Copy] Logique et Analyse, Vol. 141--142 (1993), pp. 25-38. by Greg Restall posted to bibtex-import by greg_restall on 2005-03-12 04:21:10 as
	\Lukasiewicz, Supervaluations and the Future [My Copy] by Greg Restall posted to bibtex-import by greg_restall on 2005-03-12 04:21:10 as
	Laws of Non-Contradiction, Laws of the Excluded Middle and Logics [My Copy] In The Law of Non-Contradiction (to appear) by Greg Restall posted to bibtex-import by greg_restall on 2005-03-12 04:21:10 as
	Information Flow and Relevant Logics [My Copy] In Logic, Language and Computation: The 1994 Moraga Proceedings (1995), pp. 463-477. by Greg Restall edited by Jerry Seligman, Dag Westerst\aahl posted to bibtex-import by greg_restall on 2005-03-12 04:21:10 as
	How to be Really Contraction Free [My Copy] Studia Logica, Vol. 52 (1993), pp. 381-391. by Greg Restall posted to bibtex-import by greg_restall on 2005-03-12 04:21:10 as
	Four Valued Semantics for Relevant Logics (and some of their rivals) [My Copy] Journal of Philosophical Logic, Vol. 24 (1995), pp. 139-160. by Greg Restall posted to bibtex-import by greg_restall on 2005-03-12 04:21:10 as
	Extending Intuitionsitic Logic with Subtraction [My Copy] by Greg Restall posted to bibtex-import by greg_restall on 2005-03-12 04:21:10 as
	Displaying and Deciding Substructural Logics 1: Logics with contraposition [My Copy] Journal of Philosophical Logic, Vol. 27 (1998), pp. 179-216. by Greg Restall posted to bibtex-import by greg_restall on 2005-03-12 04:21:10 as
	Display Logic and Gaggle Theory [My Copy] No. \textsc{tr--arp--22--95}. (1995) by Greg Restall posted to bibtex-import by greg_restall on 2005-03-12 04:21:10 as
	Display Logic and Gaggle Theory [My Copy] Reports in Mathematical Logic, Vol. 29 (1995), pp. 133-146. by Greg Restall posted to bibtex-import by greg_restall on 2005-03-12 04:21:10 as
	Deviant Logic and the Paradoxes of Self Reference [My Copy] Philosophical Studies, Vol. 70 (1993), pp. 279-303. by Greg Restall posted to bibtex-import by greg_restall on 2005-03-12 04:21:10 as
	Defining Double Negation Elimination [My Copy] Logic Journal of the IGPL, Vol. 9, No. 3. (2001) by Greg Restall posted to bibtex-import by greg_restall on 2005-03-12 04:21:10 as
	Constant Domain Quantified Modal Logics Without Boolean Negation [My Copy] (1999) by Greg Restall posted to bibtex-import by greg_restall on 2005-03-12 04:21:10 as
	Constructive Logic, Truth and Warranted Assertibility [My Copy] Philosophical Quarterly, Vol. 51 (2001), pp. 474-483. by Greg Restall posted to bibtex-import by greg_restall on 2005-03-12 04:21:10 as
	Combining Possibilities and Negations [My Copy] Studia Logica, Vol. 59 (1997), pp. 121-140. by Greg Restall posted to bibtex-import by greg_restall on 2005-03-12 04:21:10 as
	Costing Non-Classical Solutions to the Parardoxes of Self-Reference [My Copy] by Greg Restall posted to bibtex-import by greg_restall on 2005-03-12 04:21:10 as
	Carnap's Tolerance, Meaning and Logical Pluralism [My Copy] Journal of Philosophy, Vol. 99 (2002), pp. 426-443. by Greg Restall posted to bibtex-import carnap meaning philosophical_logic pluralism pnc semantics by greg_restall on 2005-03-12 04:21:10 as
	A Useful Substructural Logic [My Copy] Bulletin of the Interest Group in Pure and Applied Logic, Vol. 2, No. 2. (1994), pp. 135-146. by Greg Restall posted to bibtex-import by greg_restall on 2005-03-12 04:21:10 as
	Arithmetic and Truth in \Lukasiewicz's Infinitely Valued Logic [My Copy] Logique et Analyse, Vol. 139--140 (1992), pp. 303-312. by Greg Restall posted to bibtex-import by greg_restall on 2005-03-12 04:21:10 as
	A Note on Na\ive Set Theory in $LP$ [My Copy] Notre Dame Journal of Formal Logic, Vol. 33 (1992), pp. 422-432. by Greg Restall posted to bibtex-import by greg_restall on 2005-03-12 04:21:10 as
	Modelling Truthmaking [My Copy] Logique et Analyse, Vol. 43 (2000), pp. 211-230. by Greg Restall posted to bibtex-import by greg_restall on 2005-03-12 04:21:10 as
	Multiple Conclusions [My Copy] (2004) by Greg Restall posted to anti-realism assertion calculus denial lc2005 multipleconclusion pnc semantics sequent by greg_restall on 2005-03-12 04:21:10 as
	Relevant and Substructural Logics [My Copy] In Handbook of the History and Philosophy of Logic (2003) by Greg Restall edited by Dov Gabbay, John Woods posted to bibtex-import by greg_restall on 2005-03-12 04:21:10 as
	An Introduction to Substructural Logics [My Copy] (2000) by Greg Restall posted to bibtex-import by greg_restall on 2005-03-12 04:21:10 as
	`Strenge' Arithmetic [My Copy] (1996) by Robert K. Meyer, Greg Restall posted to bibtex-import by greg_restall on 2005-03-12 04:21:08 as
	Relevance Logic and Entailment [My Copy] In Handbook of Philosophical Logic (199?) by J. Michael Dunn, Greg Restall edited by Dov Gabbay posted to bibtex-import by greg_restall on 2005-03-12 04:21:00 as
	Relevance Logic [My Copy] In Handbook of Philosophical Logic, Vol. 6 (2002), pp. 1-136. by J. Michael Dunn, Greg Restall edited by Dov M. Gabbay posted to bibtex-import by greg_restall on 2005-03-12 04:21:00 as
	Logic, Impossibility, and Contradiction: Avoiding the Slippery Slope from Paraconsistency to Dialetheism [My Copy] (2000) by J. Beall, Greg Restall posted to bibtex-import by greg_restall on 2005-03-12 04:20:51 as
	Logical Pluralism [My Copy] (forthcoming) by J. Beall, Greg Restall posted to bibtex-import logic philosophical_logic pnc by greg_restall on 2005-03-12 04:20:51 as
	Logical Pluralism [My Copy] Australasian Journal of Philosophy, Vol. 78 (2000), pp. 475-493. by J. Beall, Greg Restall posted to bibtex-import logic philosophical_logic pnc by greg_restall on 2005-03-12 04:20:51 as
	Defending Logical Pluralism [My Copy] In Logical Consequence: Rival Approaches. Proceedings of the 1999 Conference of the Society of Exact Philosophy (2001), pp. 1-22. by J. Beall, Greg Restall edited by Bryson Brown, John Woods posted to bibtex-import by greg_restall on 2005-03-12 04:20:50 as
	Logical Consequence [My Copy] In Stanford Encyclopedia of Philosophy (forthcoming) by J. Beall, Greg Restall edited by Edward N. Zalta posted to bibtex-import by greg_restall on 2005-03-12 04:20:50 as

Note: You may cite this page as: http://www.citeulike.org/user/greg_restall/author/Restall:G

bibtex-import	2009
pnc	88
logic	86
prooftheory	48
sequent	29
semantics	27
lc2005	21
category	18
normalisation	13
cutelimination	13
deduction	13
natural	11
paradox	10
modal	9
calculus	8
mathematics	8
proof	7
relevant	7
cut_elimination	7
history	7
substructural	7
gentzen	7
lattice	7
truth	6
kant	6
history_of_logic	6
proofnet	6
philosophical_logic	6
meaning	6
linear	6
inference	6
identity	6
intuitionistic	5
lambek	5
classical	5
coherence	5
inferentialism	4
realism	4
lambda	4
philosophy	4
anti-realism	4
epistemic	4
carnap	4
studyleave2005	4
structure	4
quantum	4
textbook	3
naturaldeduction	3
godel	3
concurrency	3
liar	3
induction	3
information	3
pluralism	3
duality	3
context	3
finite	3
typetheory	3
delay	3
negation	3
flow	3
resource	3
fairness	3
paraconsistent	3
a_priori	3
frege	3
stone	3
representation	3
bradwardine	2
contraction	2
nonclassical	2
cut	2
situation	2
constructive	2
content	2
theory	2
belief	2
epistemology	2
knowledge	2
arithmetic	2
fixpoints	2
vagueness	2
algebra	2
update	2
haskell	2
mix	2
buridan	2
model	2
normativity	2
justification	2
computability	2
prawitz	2
substitution	2
point	2
assertion	2
curry	2
coalgebra	2
russell	2
proofnets	2
theology	2
revision	2
display	2
decision_theory	2
hilbert	2
quantification	2
final	2
space	2
geometry	2
conditional	2
foundations	2
fixed	2
synthetic	2
tableaux	2
frame	1
defeasibility	1
ideology	1
internalism	1
communication	1
weakening	1
supervaluation	1
deflationism	1
intuition	1
tolerance	1
martin-lf	1
affine	1
church-truring_thesis	1
fuzzy_logic	1
bolzano	1
reason	1
seligman	1
ontology	1
blackburn	1
s5	1
conditionalising	1
star_autonomous	1
rawls	1
quine	1
substitutional	1
discourse	1
structured	1
encyclopedia	1
mixed	1
psychologism	1
impossible	1
rewriting	1
wiki	1
logicism	1
elimination	1
monad	1
existence	1
infinitary	1
set_theory	1
incarnation	1
paradigm	1
algebras	1
quantifier	1
cantor	1
noncommutative	1
tablesofdevelopment	1
hypersequents	1
temporal	1
term	1
barwise	1
continuous	1
ramsey	1
prootheory	1
canberra_plan	1
explanation	1
many_valued	1
principia	1
philosophy_of_mathematics	1
net	1
disposition	1
mu-calculus	1
dynamic	1
transformation	1
analytic_philosophy	1
cassirer	1
axiom	1
ternary	1
logics	1
attitudes	1
domain	1
models	1
principia_mathematica	1
sorensen	1
pretopology	1
groups	1
dialogue	1
action	1
mine	1
forcing	1
braid	1
keisler	1
programming	1
validity	1
jaskowski	1
functor	1
dummett	1
tree	1
continuation	1
analysis	1
generality	1
non-monotonic	1
quasi-realism	1
ethics	1
multiple_conclusion	1
possible_world	1
introduction	1
dialetheism	1
local	1
mechanism	1
free_logic	1
blog	1
inconsistency	1
adjoint	1
uncountable	1
truthteller	1
combinatorics	1
comonad	1
degrees	1
knower	1
bilattices	1
heidegger	1
incompleteness	1
behmann	1
zorns_lemma	1
putnam	1
mental	1
izf	1
multipleconclusion	1
hilberts_program	1
motivation	1
positivism	1
multiple-valued	1
possible	1
consequence	1
recursive	1
justice	1
expressivism	1
definition	1
interaction	1
associativity	1
worlds	1
complexity	1
order	1
mathematical	1
lucas	1
switching	1
fitch	1
provability	1
choice	1
sequentialisation	1
lemmon	1
argumentation	1
chu_construction	1
modality	1
probability	1
concept	1
kuhn	1
tonk	1
herbrand	1
counterfactual	1
lattice-ordered	1
denial	1
closure	1
research	1
analytic	1
type	1
concepts	1
slice	1
objects	1
physics	1
equality	1
connective	1
knowability	1
consistency	1
disjunction	1
conceptual	1
harmony	1
conservativeextension	1
correctness	1
lukasiewicz_logic	1
self-reference	1
externalism	1
sense	1
church	1
entailment	1
modularity	1

greg_restall's Restall:G [42 articles] Export

greg_restall's tags