greg_restall's bibtex-import [more than 800 articles] Export

Recent papers added to greg_restall's library classified by the tag bibtex-import. You can also see everyone's bibtex-import.

Hide details

	A Cut-Free Gentzen Formulation of the Modal Logic S5 [My Copy] Logic Journal of the IGPL, Vol. 8, No. 5. (2000), pp. 629-643. by Torben Braüner posted to bibtex-import calculus cut elimination logic modal pnc prooftheory s5 sequent by greg_restall on 2005-07-29 08:22:39 as along with 1 person and 1 group rzach LogicPhilMath
	A Predicate Logical Extension of a Subintuitionistic Logic [My Copy] by Ernst Zimmermann posted to bibtex-import by greg_restall on 2005-03-12 04:21:13 as
	A Foundational Principle for Quantum Mechanics [My Copy] Foundations of Physics, Vol. 29 (1999), pp. 631-643. by Anton Zeilinger posted to bibtex-import by greg_restall on 2005-03-12 04:21:13 as
	Gottlob Frege [My Copy] In Stanford Encyclopedia of Philosophy (2005) by Edward N. Zalta edited by Edward N. Zalta posted to bibtex-import encyclopedia frege pnc by greg_restall on 2005-03-12 04:21:13 as
	Twenty-Five Basic Theorems in Situation and World Theory [My Copy] Journal of Philosophical Logic, Vol. 1993 (22), pp. 385-428. by Edward N. Zalta posted to bibtex-import by greg_restall on 2005-03-12 04:21:13 as
	The Modal Object Calculus and its Interpretation [My Copy] In Recent Advances in Modal and Intensional Logic (1997) by Edward N. Zalta edited by Maarten d. de Rijke posted to bibtex-import by greg_restall on 2005-03-12 04:21:13 as
	Logical and Analytic Truths That Are Not Necessary [My Copy] Journal of Philosophy, Vol. 85 (1988), pp. 57-74. by Edward N. Zalta posted to bibtex-import by greg_restall on 2005-03-12 04:21:13 as along with 1 person recordmymind
	In Defense of the Simplest Quantified Modal Logic [My Copy] Philosophical Perspectives, Vol. 8 (1994), pp. 431-458. by Edward N. Zalta, Bernard Linsky posted to bibtex-import by greg_restall on 2005-03-12 04:21:13 as
	Intensional Logic and the Metaphysics of Intentionality [My Copy] (1988) by Edward N. Zalta posted to bibtex-import by greg_restall on 2005-03-12 04:21:13 as
	A Classically-Based Theory of Impossible Worlds [My Copy] Notre Dame Journal of Formal Logic, Vol. 39 (1998), pp. 640-660. by Edward N. Zalta posted to bibtex-import by greg_restall on 2005-03-12 04:21:13 as along with 1 person recordmymind
	Abstract Objects: An Introduction to Axiomatic Metaphysics [My Copy] (1983) by Edward N. Zalta posted to bibtex-import by greg_restall on 2005-03-12 04:21:13 as
	On the Completeness of a New Intutionistic Connective [My Copy] Mathematical Notes, Vol. 60 (1996), pp. 313-320. by A. Yashin posted to bibtex-import by greg_restall on 2005-03-12 04:21:13 as
	The Doctrine of Hell and Moral Philosophy [My Copy] Religious Studies, Vol. 28 (?), pp. 75-90. by Keith E. Yandell posted to bibtex-import by greg_restall on 2005-03-12 04:21:13 as
	Induction in Linear Logic [My Copy] International Journal of Theoretical Physics, Vol. 35 (1996), pp. 2107-2116. by Fumihiko Yamaguchi, Masakazu Nakanishi posted to bibtex-import by greg_restall on 2005-03-12 04:21:13 as
	Truth and Reflection [My Copy] Journal of Philosophical Logic, Vol. 14 (1985), pp. 297-349. by Stephen Yablo posted to bibtex-import by greg_restall on 2005-03-12 04:21:13 as
	Truth, Definite Truth, and Paradox [My Copy] Journal of Philosophy, Vol. ? (1989), pp. 539-541. by Stephen Yablo posted to bibtex-import by greg_restall on 2005-03-12 04:21:13 as
	Paradox Without Self-Reference [My Copy] Analysis, Vol. 53 (1993), pp. 251-252. by Stephen Yablo posted to bibtex-import by greg_restall on 2005-03-12 04:21:13 as
	Grounding, Dependence, and Paradox [My Copy] Journal of Philosophical Logic, Vol. 11 (1982), pp. 117-137. by Stephen Yablo posted to bibtex-import by greg_restall on 2005-03-12 04:21:13 as
	Truth and Objectivity [My Copy] (1992) by Crispin Wright posted to bibtex-import by greg_restall on 2005-03-12 04:21:13 as
	The Verification Principle: Another Puncture - Another Patch [My Copy] Mind, Vol. 98 (1989), pp. 611-622. by Crispin Wright posted to bibtex-import by greg_restall on 2005-03-12 04:21:13 as
	Realism, meaning and truth [My Copy] (1987) by Crispin Wright posted to bibtex-import by greg_restall on 2005-03-12 04:21:13 as
	Précis of Truth and Objectivity [My Copy] Philosophy and Phenomenological Research, Vol. 61 (1996), pp. 863-941. by Crispin Wright posted to bibtex-import by greg_restall on 2005-03-12 04:21:13 as
	On the Coherence of Vague Predicates [My Copy] Synthese, Vol. 30 (1975), pp. 325-365. by Crispin Wright posted to bibtex-import by greg_restall on 2005-03-12 04:21:13 as
	Paradox, Truth and Logic. Part I: Paradox and Truth [My Copy] Journal of Philosophical Logic, Vol. 13 (1984), pp. 213-232. by Peter W. Woodruff posted to bibtex-import by greg_restall on 2005-03-12 04:21:13 as
	Can the Tale Be Told? [My Copy] Canadian Journal of Philosophy, Vol. 8 (1978), pp. 351-354. by John Woods posted to bibtex-import by greg_restall on 2005-03-12 04:21:13 as
	Weak Aggregative Modal Logics With Multi-ary Modal Operators [My Copy] (1977) by Paul Wong posted to bibtex-import by greg_restall on 2005-03-12 04:21:13 as
	Lattices of Modal Logics [My Copy] (1993) by Frank Wolter posted to bibtex-import by greg_restall on 2005-03-12 04:21:13 as
	Are relevant logics deviant [My Copy] Philosophia, Vol. 7 (1978), pp. 327-340. by R. G. Wolf posted to bibtex-import by greg_restall on 2005-03-12 04:21:13 as along with 1 person Modus
	Are Relevant Logics Deviant? [My Copy] Philosophia, Vol. 7 (1977), pp. 327-340. by Robert G. Wolf posted to bibtex-import by greg_restall on 2005-03-12 04:21:13 as
	Logic Programming [My Copy] by Wayne Wobcke posted to bibtex-import by greg_restall on 2005-03-12 04:21:13 as
	Belief Revision, Conditional Logic and Nonmonotonic Reasoning [My Copy] by Wayne Wobcke posted to bibtex-import by greg_restall on 2005-03-12 04:21:13 as
	Tractatus Logico-Philosophicus [My Copy] (1922) by Ludwig Wittgenstein posted to bibtex-import by greg_restall on 2005-03-12 04:21:13 as
	Remarks on the Foundations of Mathematics [My Copy] (1967) by Ludwig Wittgenstein posted to bibtex-import by greg_restall on 2005-03-12 04:21:13 as
	A Tour of the Jungle [My Copy] by Arthur Witherall posted to bibtex-import by greg_restall on 2005-03-12 04:21:13 as
	Moving the Semantic Fulcrum [My Copy] Linguistics and Philosophy, Vol. 8 (1985), pp. 91-104. by Terry Winograd posted to bibtex-import by greg_restall on 2005-03-12 04:21:13 as
	Vagueness [My Copy] (1994) by Timothy Williamson posted to bibtex-import by greg_restall on 2005-03-12 04:21:13 as
	Vagueness and Ignorance [My Copy] Aristotelian Society Proceedings, Vol. 66 (1992), pp. 145-162. by Timothy Williamson, Peter Simons posted to bibtex-import by greg_restall on 2005-03-12 04:21:13 as
	On the Paradox of Knowability [My Copy] Mind, Vol. 96 (1987), pp. 256-261. by Timothy Williamson posted to bibtex-import by greg_restall on 2005-03-12 04:21:13 as
	Knowability and constructivism [My Copy] Philosophical Quarterly, Vol. 38 (1988), pp. 422-432. by Timothy Williamson posted to bibtex-import by greg_restall on 2005-03-12 04:21:13 as
	Intuitionism Disproved? [My Copy] Analysis, Vol. 42 (1982), pp. 203-207. by Timothy Williamson posted to bibtex-import by greg_restall on 2005-03-12 04:21:13 as
	On intuitionistic modal epistemic logic [My Copy] Journal of Philosophical Logic, Vol. 21 (1992), pp. 63-89. by Timothy Williamson posted to bibtex-import by greg_restall on 2005-03-12 04:21:13 as
	The Girard Reader [My Copy] (1996) edited by James G. Williams posted to bibtex-import by greg_restall on 2005-03-12 04:21:12 as
	Existence and Contingency [My Copy] Aristotelian Society Supplementary Volume, Vol. 73 (1999), pp. 181-203. by Timothy Williamson posted to bibtex-import by greg_restall on 2005-03-12 04:21:12 as
	Bare Possibilia [My Copy] Erkenntnis, Vol. 48 (1998), pp. 257-273. by Timothy Williamson posted to bibtex-import by greg_restall on 2005-03-12 04:21:12 as
	A Note on Truth, Satisfaction and the Empty Domain [My Copy] Analysis (1999), pp. 3-8. by Timothy Williamson posted to bibtex-import by greg_restall on 2005-03-12 04:21:12 as
	Ring-theoretic properties of certain Hecke algebras [My Copy] Ann. Math., Vol. 141 (1995), pp. 553-572. by Andrew Wiles, Richard Taylor posted to bibtex-import by greg_restall on 2005-03-12 04:21:12 as
	Modular elliptic curves and Fermat's Last Theorem [My Copy] Ann. Math., Vol. 141 (1995), pp. 443-551. by Andrew Wiles posted to bibtex-import by greg_restall on 2005-03-12 04:21:12 as
	Boolean algebra and its applications [My Copy] (1961) by J. Eldon Whitesitt posted to bibtex-import by greg_restall on 2005-03-12 04:21:12 as
	The Consistency of the Axiom of Comprehension in the Infinite Valued Predicate Logic of \Lukasiewicz [My Copy] Journal of Philosophical Logic, Vol. 8 (1979), pp. 503-534. by Richard White posted to bibtex-import by greg_restall on 2005-03-12 04:21:12 as
	Principa Mathematica to *56 [My Copy] (1962) by A. N. Whitehead, B. Russell posted to bibtex-import by greg_restall on 2005-03-12 04:21:12 as

Note: You may cite this page as: http://www.citeulike.org/user/greg_restall/tag/bibtex-import

Result page: 1 2 3 4 5 6 7 8 9 10 Next

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

greg_restall's bibtex-import [more than 800 articles] Export

greg_restall's tags