%% This BibTeX bibliography file was created using BibDesk.
%% http://bibdesk.sourceforge.net/
%%
%% Greg Restall / http://consequently.org
%%

%% Created for Greg at 2007-06-06 16:54:55 +1000 


%% Saved with string encoding Western (ASCII) 


@string{afml = {Archiv f{\"u}r Mathematische Logik}}

@string{aoml = {Archive of Mathematical Logic}}

@string{csliln = {{\textsc{csli}} Lecture Notes}}

@string{cslipubs = {{\textsc{csli}} Publications}}

@string{erk = {Erkenntnis}}

@string{jlc = {Journal of Logic and Computation}}

@string{jolli = {Journal of Logic, Language and Information}}

@string{jp = {The Journal of Philosophy}}

@string{jpl = {Journal of Philosophical Logic}}

@string{jsl = {Journal of Symbolic Logic}}

@string{la = {Logique et Analyse}}

@string{ljigpl = {Logic Journal of the \textsc{IGPL}}}

@string{lncs = {Lecture Notes in Computer Science}}

@string{lnm = {Lecture Notes in Mathematics}}

@string{ndjfl = {Notre Dame Journal of Formal Logic}}

@string{sl = {Studia Logica}}

@string{zml = {Zeitschrift f{\"u}r Mathematische Logik und Grundlagen der Mathematik}}


@article{miln:ongo07,
	Author = {Milne, Peter},
	Journal = {Philosophia Mathematica},
	Number = {2},
	Pages = {193-226},
	Title = {On G{\"o}del Sentences and What They Say},
	Volume = {15},
	Year = {2007}}

@article{frie:carn87,
	Author = {Friedman, Michael},
	Journal = {No{\^u}s},
	Number = {4},
	Pages = {521-545},
	Title = {Carnap's Aufbau Reconsidered},
	Volume = {21},
	Year = {1987}}

@article{kana:them96,
	Author = {Kanamori, Akihiro},
	Journal = {The Bulletin of Symbolic Logic},
	Number = {1},
	Pages = {1-71},
	Title = {The Mathematical Development of Set Theory from Cantor to Cohen},
	Volume = {2},
	Year = {1996}}

@article{kemp:freg96,
	Author = {Kemp, Gary},
	Journal = {The Philosophical Quarterly},
	Number = {183},
	Pages = {168-184},
	Title = {Frege's Sharpness Requirement},
	Volume = {46},
	Year = {1996}}

@article{sieg:hilb99,
	Author = {Sieg, Wilfried},
	Journal = {The Bulletin of Symbolic Logic},
	Number = {1},
	Pages = {1-44},
	Title = {Hilbert's Programs: 1917-1922},
	Volume = {5},
	Year = {1999}}

@article{tenn:dedu00,
	Author = {Tennant, Neil},
	Journal = {The Journal of Philosophy},
	Number = {5},
	Pages = {257-277},
	Title = {Deductive versus Expressive Power: A Pre-G{\"o}delian Predicament},
	Volume = {97},
	Year = {2000}}

@article{gold:logi79,
	Author = {Goldfarb, Warren D.},
	Journal = {The Journal of Symbolic Logic},
	Number = {3},
	Pages = {351-368},
	Title = {Logic in the Twenties: The Nature of the Quantifier},
	Volume = {44},
	Year = {1979}}

@article{schr:anat84,
	Author = {Schroeder-Heister, Peter},
	Journal = {The Journal of Symbolic Logic},
	Number = {4},
	Pages = {1284-1300},
	Title = {A Natural Extension of Natural Deduction},
	Volume = {49},
	Year = {1984}}

@article{zuck:thea78a,
	Author = {Zucker, J. I. and Tragesser, R. S.},
	Journal = {Journal of Philosophical Logic},
	Number = {1},
	Pages = {501--516},
	Title = {The adequacy problem for inferential logic},
	Volume = {7},
	Year = {1978}}

@article{zuck:thea78b,
	Author = {Zucker, J. I.},
	Journal = {Journal of Philosophical Logic},
	Number = {1},
	Pages = {517--535},
	Title = {The adequacy problem for classical logic},
	Volume = {7},
	Year = {1978}}

@article{vaan:seco01,
	Author = {Vaananen, Jouko},
	Journal = {The Bulletin of Symbolic Logic},
	Number = {4},
	Pages = {504-520},
	Title = {Second-Order Logic and Foundations of Mathematics},
	Volume = {7},
	Year = {2001}}

@article{bell:hilb93,
	Author = {Bell, J. L.},
	Journal = {Journal of Philosophical Logic},
	Number = {1},
	Pages = {1--18},
	Title = {Hilbert's $\epsilon$-operator and classical logic},
	Volume = {22},
	Year = {1993}}

@article{mose:thee06,
	Author = {Moser, Georg and Zach, Richard},
	Journal = {Studia Logica},
	Number = {1},
	Pages = {133--155},
	Title = {The Epsilon Calculus and Herbrand Complexity},
	Volume = {82},
	Year = {2006}}

@article{mint:heyt77,
	Author = {Mints, G. E.},
	Journal = {Journal of Mathematical Sciences},
	Number = {3},
	Pages = {317--323},
	Title = {Heyting predicate calculus with epsilon symbol},
	Volume = {8},
	Year = {1977}}

@article{shap:dono99,
	Author = {Shapiro, Stewart},
	Journal = {Philosophia Mathematica},
	Number = {1},
	Pages = {42-64},
	Title = {Do Not Claim Too Much: Second-order Logic and First-order Logic},
	Volume = {7},
	Year = {1999}}

@article{haze:natu87,
	Author = {Hazen, Allen},
	Journal = {Journal of Philosophical Logic},
	Number = {4},
	Pages = {411--421},
	Title = {Natural deduction and Hilbert's $\epsilon$-operator},
	Volume = {16},
	Year = {1987}}

@article{haze:thee78,
	Author = {Hazen, Allen},
	Journal = {Notre Dame Journal of Formal Logic},
	Number = {4},
	Pages = {617-622},
	Title = {The eliminability of the actuality operator in propositional modal logic},
	Volume = {19},
	Year = {1978}}

@article{mare:thef07,
	Author = {Mares, Edwin D.},
	Journal = {Notre Dame Journal of Formal Logic},
	Number = {2},
	Pages = {237-251},
	Title = {The Fact Semantics for Ramified Type Theory and the Axiom of Reducibility},
	Volume = {48},
	Year = {2007}}

@article{resc:chur07,
	Author = {Rescorla, Michael},
	Journal = {Notre Dame Journal of Formal Logic},
	Number = {2},
	Pages = {253-280},
	Title = {Church's Thesis and the Conceptual Analysis of Computability},
	Volume = {48},
	Year = {2007}}

@article{gabb:fres07,
	Author = {Gabbay, Murdoch J.},
	Journal = {Journal of Applied Logic},
	Number = {2},
	Pages = {356--387},
	Title = {Fresh Logic: proof-theory and semantics for {FM} and nominal techniques},
	Volume = {5},
	Year = {2007}}

@article{gabb:some05,
	Author = {Gabbay, Michael J. and Gabbay, Murdoch J.},
	Title = {Some Formal Considerations on Gabbay's Restart Rule in Natural Deduction and Goal-Directed Reasoning},
	Volume = {1},
	Year = {2005}}

@article{hutt:evol07,
	Author = {Huttegger, Simon},
	Journal = {Erkenntnis},
	Number = {3},
	Pages = {409--436},
	Title = {Evolutionary Explanations of Indicatives and Imperatives},
	Volume = {66},
	Year = {2007}}

@article{beeb:reli07,
	Author = {Beebe, James},
	Journal = {Erkenntnis},
	Number = {3},
	Pages = {375--391},
	Title = {Reliabilism and antirealist theories of truth},
	Volume = {66},
	Year = {2007}}

@article{stre:reas07,
	Author = {Streumer, Bart},
	Journal = {Erkenntnis},
	Number = {3},
	Pages = {353--374},
	Title = {Reasons and Entailment},
	Volume = {66},
	Year = {2007}}

@article{pett:plat07,
	Author = {Pettigrew, Richard},
	Journal = {Philosophia Mathematica},
	Title = {Platonism and aristotelianism in mathematics},
	Year = {To appear}}

@book{kell:feat93,
	Author = {Keller, Bill},
	Number = {44},
	Publisher = cslipubs,
	Series = csliln,
	Title = {Feature logics, infinitary descriptions, and grammar},
	Year = {1993}}

@book{moor:logi95,
	Author = {Moore, Robert C.},
	Number = {39},
	Publisher = cslipubs,
	Series = csliln,
	Title = {Logic and Representation},
	Year = {1995}}

@book{does:quan96,
	Editor = {van der Does, Jaap and van Eijck, Jan},
	Number = {54},
	Publisher = cslipubs,
	Series = csliln,
	Title = {Quantifiers, Logic, and Language},
	Year = {1996}}

@book{pons:moda95,
	Editor = {Ponse, Alban and de Rijke, Maarten and Venema, Yde},
	Number = {53},
	Publisher = cslipubs,
	Series = csliln,
	Title = {Modal Logic and Proess Algebra: a bisimulation perspective},
	Year = {1995}}

@book{mcca:defe96,
	Author = {McCarthy, John},
	Number = {49},
	Publisher = cslipubs,
	Series = csliln,
	Title = {Defending {AI} Research: a collection of essays and reviews},
	Year = {1996}}

@book{bent:aman88,
	Author = {van Benthem, J. F. A. K.},
	Edition = {Second},
	Number = {1},
	Publisher = cslipubs,
	Series = csliln,
	Title = {A Manual of Intensional Logic},
	Year = {1988}}

@article{bimb:lett07,
	Author = {Bimb{\'o}, Katalin},
	Journal = {Journal of Philosophical Logic},
	Title = {$LE^{t}_{\to}$, $LR^{\circ}_{\land,\ng}$ and Cutfree Proofs},
	Year = {2007}}

@article{cris:nonp00,
	Author = {Crisp, Oliver},
	Journal = {International Journal of Systematic Theology},
	Number = {0},
	Pages = {???-???},
	Title = {Non-Penal Substitution},
	Volume = {0},
	Year = {0}}

@article{laco:more00,
	Author = {Lacoste, Jean-Yves},
	Journal = {International Journal of Systematic Theology},
	Number = {0},
	Pages = {???-???},
	Title = {More Haste, Less Speed in Theology},
	Volume = {0},
	Year = {0}}

@article{hugh:whyf89,
	Author = {Hughes, J.},
	Journal = {Computer Journal},
	Number = {2},
	Pages = {98--107},
	Title = {Why Functional Programming Matters},
	Volume = {32},
	Year = {1989}}

@article{kuli:spat03,
	Author = {Kulik, Lars},
	Journal = {Spatial Cognition \& Computation},
	Number = {2\&3},
	Pages = {157--183},
	Title = {Spatial Vagueness and Second-Order Vagueness},
	Volume = {3},
	Year = {2003}}

@article{duck:impr03,
	Author = {Duckham, Matt and Kulik, Lars and Worboys, Michael},
	Journal = {GeoInformatica},
	Number = {2},
	Pages = {79--94},
	Title = {Imprecise Navigation},
	Volume = {7},
	Year = {2003}}

@misc{como:tree97,
	Author = {Comon, H. and Dauchet, M. and Gilleron, R. and Jacquemard, F. and Lugiez, D. and Tison, S. and Tommasi, M.},
	Howpublished = {Available at \url{http://www.grappa.univ-lille3.fr/tata}},
	Title = {Tree Automata Techniques and Applications},
	Year = 1997}

@article{kell:basi05,
	Author = {Kelly, G. M.},
	Journal = {Reprints in Theory and Applications of Categories},
	Number = {10},
	Pages = {1-136},
	Title = {Basic Concepts of Enriched Category Theory},
	Year = {2005}}

@book{kell:basi82,
	Author = {Kelly, G. M.},
	Number = {64},
	Publisher = {Cambridge University Press},
	Series = {Lecture Notes in Mathematics},
	Title = {Basic Concepts of Enriched Category Theory},
	Year = {1982}}

@article{brau:intu06,
	Author = {Brauner, Torben and de Paiva, Valeria},
	Journal = {Journal of Applied Logic},
	Number = {3},
	Pages = {231--255},
	Title = {Intuitionistic hybrid logic},
	Volume = {4},
	Year = {2006}}

@article{dodd:nega07,
	Author = {Dodd, Julian},
	Journal = {Synthese},
	Number = {2},
	Pages = {383--401},
	Title = {Negative truths and truthmaker principles},
	Volume = {156},
	Year = {2007}}

@article{shap:theo07,
	Author = {Shapiro, Stewart},
	Journal = {Synthese},
	Number = {2},
	Pages = {337--381},
	Title = {The Objectivity of Mathematics},
	Volume = {156},
	Year = {2007}}

@article{reca:itis07,
	Author = {Recanati, F.},
	Journal = {Linguistics and Philosophy},
	Number = {1},
	Pages = {123--146},
	Title = {It is raining (somewhere)},
	Volume = {30},
	Year = {2007}}

@article{krac:thee07,
	Author = {Kracht, Marcus},
	Journal = {Linguistics and Philosophy},
	Number = {1},
	Pages = {47--95},
	Title = {The emergence of syntactic structure},
	Volume = {30},
	Year = {2007}}

@article{pelc:form07,
	Author = {Pelczar, Michael},
	Journal = {Linguistics and Philosophy},
	Number = {1},
	Pages = {97--122},
	Title = {Forms and objects of thought},
	Volume = {30},
	Year = {2007}}

@article{kenn:vagu07,
	Author = {Kennedy, Christopher},
	Journal = {Linguistics and Philosophy},
	Number = {1},
	Pages = {1--45},
	Title = {Vagueness and grammar: the semantics of relative and absolute gradable adjectives},
	Volume = {30},
	Year = {2007}}

@article{hort:reas07,
	Author = {Horty, John F.},
	Journal = {Philosophers' Imprint},
	Number = {3},
	Pages = {1-28},
	Title = {Reasons as Defaults},
	Volume = {7},
	Year = {2007}}

@article{lewi:neww83,
	Author = {Lewis, David},
	Journal = {Australasian Journal of Philosophy},
	Number = {4},
	Pages = {343-377},
	Title = {New work for a theory of universals},
	Volume = {61},
	Year = {1983}}

@unpublished{chom:thel56,
	Author = {Chomsky, Noam},
	Note = {Thesis Draft, 919 pages. Available online},
	Title = {The Logical Structure of Linguistic Theory},
	Year = {1956}}

@unpublished{eagl:elem07,
	Author = {Eagle, Antony},
	Note = {Available online},
	Title = {Elements of Deductive Logic},
	Year = {2007}}

@article{bund:cate84,
	Author = {Bunder, M. W.},
	Journal = {Archive for Mathematical Logic},
	Number = {1},
	Pages = {1--16},
	Title = {Category theory based on combinatory logic},
	Volume = {24},
	Year = {1984}}

@article{ludl:from06,
	Author = {Ludlow, Peter},
	Journal = {Philosophical Issues},
	Number = {1},
	Pages = {162-183},
	Title = {From {Sherlock} and {Buffy} to {Klingon and Norrathian Platinum Pieces}: pretense, contextalism, and the myth of fiction},
	Volume = {16},
	Year = {2006}}

@webpage{beln:note05,
	Lastchecked = {May 2007},
	Url = {http://www.pitt.edu/~belnap/nal2005.pdf},
	Year = {2005}}

@article{detl:brou90,
	Author = {Detlefsen, Michael},
	Journal = {Mind},
	Number = {396},
	Pages = {501-534},
	Title = {Brouwerian Intuitionism},
	Volume = {99},
	Year = {1990}}

@article{mcca:thec06,
	Author = {McCarty, Charles},
	Journal = {Mind},
	Number = {460},
	Pages = {947-956},
	Title = {The Coherence of Antirealism},
	Volume = {115},
	Year = {2006}}

@book{chom:them95,
	Address = {Cambridge, MA},
	Author = {Chomsky, Noam},
	Publisher = {MIT Press},
	Series = {Current Studies in Linguistics},
	Title = {The Minimalist Program},
	Volume = {28},
	Year = {1995}}

@article{zwar:them98,
	Author = {Zwart, Jan-Wouter},
	Journal = {Journal of Linguistics},
	Pages = {213-226},
	Title = {The Minimalist Program},
	Volume = {34},
	Year = {1998}}

@article{bona:abst07,
	Author = {Bonacina, Maria Paola and Dershowitz, Nachum},
	Journal = {ACM Transactions on Computational Logic},
	Number = {1},
	Pages = {1-28},
	Title = {Abstract canonical inference},
	Volume = {8},
	Year = {2007}}

@article{gugl:asys07,
	Author = {Guglielmi, Alessio},
	Journal = {ACM Transactions on Computational Logic},
	Number = {1},
	Pages = {1-64},
	Title = {A system of interaction and structure},
	Volume = {8},
	Year = {2007}}

@article{paga:proo07,
	Author = {Pagani, Michele},
	Journal = {Mathematical Structures in Computer Science},
	Number = {2},
	Pages = {341-359},
	Title = {Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic},
	Volume = {17},
	Year = {2007}}

@article{prel:free07,
	Author = {Preller, Anne and Lambek, Joachim},
	Journal = {Mathematical Structures in Computer Science},
	Number = {2},
	Pages = {309-340},
	Title = {Free compact 2-categories},
	Volume = {17},
	Year = {2007}}

@article{bail:rand07,
	Author = {Bailly, Francis and Longo, Giuseppe},
	Journal = {Mathematical Structures in Computer Science},
	Number = {2},
	Pages = {289-305},
	Title = {Randomness and determinism in the interplay between the continuum and the discrete},
	Volume = {17},
	Year = {2007}}

@incollection{jerv:fini05,
	Author = {Jervell, Herman Ruge},
	Booktitle = {New Computational Paradigms},
	Editor = {Cooper, S. Barry and L{\"o}we, Benedikt and Torenvliet, Leen},
	Pages = {211--220},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Finite Trees as Ordinals},
	Volume = {3526},
	Year = {2005}}

@article{tosi:norm80,
	Author = {Tosi, P.},
	Journal = {Notre Dame Journal of Formal Logic},
	Number = {2},
	Pages = {449-466},
	Title = {Normal derivability and first-order arithmetic},
	Volume = {21},
	Year = {1980}}

@article{mcca:onth93,
	Author = {McCarty, David Charles},
	Journal = {Synthese},
	Number = {2},
	Pages = {255--291},
	Title = {On the failure of mathematics' philosophy},
	Volume = {96},
	Year = {1993}}

@article{mint:theo77,
	Author = {Mints, G. E.},
	Journal = {Journal of Mathematical Sciences},
	Number = {4},
	Pages = {501--531},
	Title = {Theory of proofs (arithmetic and analysis)},
	Volume = {7},
	Year = {1977}}

@article{casa:rema85,
	Author = {Casari, Ettore},
	Journal = {Synthese},
	Number = {2},
	Pages = {125--137},
	Title = {Remarks on the foundational inquiry},
	Volume = {62},
	Year = {1985}}

@article{gira:intr85,
	Author = {Girard, Jean-Yves},
	Journal = {Synthese},
	Number = {2},
	Pages = {191--216},
	Title = {Introduction to},
	Volume = {62},
	Year = {1985}}

@article{maga:thes85,
	Author = {Magari, Roberto},
	Journal = {Synthese},
	Number = {2},
	Pages = {265--274},
	Title = {The success of Mathematics},
	Volume = {62},
	Year = {1985}}

@article{krei:math85,
	Author = {Kreisel, Georg},
	Journal = {Synthese},
	Number = {2},
	Pages = {139--151},
	Title = {Mathematical logic: Tool and object lesson for science},
	Volume = {62},
	Year = {1985}}

@article{cell:proo85,
	Author = {Cellucci, Carlo},
	Journal = {Synthese},
	Number = {2},
	Pages = {173--189},
	Title = {Proof theory and complexity},
	Volume = {62},
	Year = {1985}}

@article{troe:choi85,
	Author = {Troelstra, A. S.},
	Journal = {Synthese},
	Number = {2},
	Pages = {217--227},
	Title = {Choice sequences and informal rigour},
	Volume = {62},
	Year = {1985}}

@article{fefe:work85,
	Author = {Feferman, Solomon},
	Journal = {Synthese},
	Number = {2},
	Pages = {229--254},
	Title = {Working foundations},
	Volume = {62},
	Year = {1985}}

@article{take:proo85,
	Author = {Takeuti, Gaisi},
	Journal = {Synthese},
	Number = {2},
	Pages = {255--263},
	Title = {Proof theory and set theory},
	Volume = {62},
	Year = {1985}}

@article{fens:isno85,
	Author = {Fenstad, Jens Erik},
	Journal = {Synthese},
	Number = {2},
	Pages = {289--301},
	Title = {Is nonstandard analysis relevant for the philosophy of mathematics?},
	Volume = {62},
	Year = {1985}}

@article{rath:anor05,
	Author = {Rathjen, Michael},
	Journal = {Archive for Mathematical Logic},
	Number = {3},
	Pages = {263--362},
	Title = {An ordinal analysis of parameter free {$\Pi^1_2$}-comprehension},
	Volume = {44},
	Year = {2005}}

@article{rea:poly06,
	Author = {Rea, Michael C.},
	Journal = {The Journal of Theological Studies},
	Number = {1},
	Pages = {133-148},
	Title = {Polytheism and Christian Belief},
	Volume = {57},
	Year = {2006}}

@article{weat:true05,
	Author = {Weatherson, Brian},
	Journal = {Philosophical Studies},
	Number = {1},
	Pages = {47-70},
	Title = {True, Truer, Truest},
	Volume = {123},
	Year = {2005}}

@article{rayo:towa99,
	Author = {Rayo, August{\'\i}n and Uzquiano, Gabriel},
	Journal = {Notre Dame Journal of Formal Logic},
	Number = {3},
	Pages = {315-325},
	Title = {Toward a Theory of Second-Order Consequence},
	Volume = {40},
	Year = {1999}}

@book{swie:them07,
	Editor = {Swierstra, Wouter},
	Publisher = {http://haskell.org},
	Title = {The Monad Reader},
	Volume = {6},
	Year = {2007}}

@incollection{pipo:adve07,
	Author = {Piponi, Dan},
	Crossref = {swie:them07},
	Pages = {17-34},
	Title = {Adventures in Classical-Land}}

@article{haze:afal86,
	Author = {Hazen, Allen},
	Journal = {Mind},
	Number = {380},
	Pages = {496-498},
	Title = {A Fallacy in {Ramsey}},
	Volume = {95},
	Year = {1986}}

@article{haze:coun79,
	Author = {Hazen, Allen},
	Journal = {The Journal of Philosophy},
	Number = {6},
	Pages = {319-338},
	Title = {Counterpart-Theoretic Semantics for Modal Logic},
	Volume = {76},
	Year = {1979}}

@article{awod:shea00,
	Author = {Awodey, S.},
	Journal = {Journal of Pure and Applied Algebra},
	Number = {2},
	Pages = {107--121},
	Title = {Sheaf representation for topoi},
	Volume = {145},
	Year = {2000}}

@article{adam:rela82,
	Author = {Adams, Marilyn McCord},
	Journal = {No{\^u}s},
	Number = {1},
	Pages = {62-75},
	Title = {Relations, Inherence and Subsistence: or, Was Ockham a Nestorian in Christology?},
	Volume = {16},
	Year = {1982}}

@article{adam:sina91,
	Author = {Adams, Marilyn McCord},
	Journal = {Philosophical Perspectives},
	Pages = {1-27},
	Title = {Sin as Uncleanness},
	Volume = {5},
	Year = {1991}}

@article{adam:isth67,
	Author = {Adams, Marilyn McCord},
	Journal = {The Philosophical Review},
	Number = {4},
	Pages = {492-503},
	Title = {Is the Existence of God a ``Hard'' Fact?},
	Volume = {76},
	Year = {1967}}

@article{adam:ockh77,
	Author = {Adams, Marilyn McCord},
	Journal = {The Philosophical Review},
	Number = {2},
	Pages = {144-176},
	Title = {Ockham's Nominalism and Unreal Entities},
	Volume = {86},
	Year = {1977}}

@article{tymo:gode84,
	Author = {Tymoczko, Thomas},
	Journal = {PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association},
	Pages = {449-468},
	Title = {{G{\"o}del, Wittgenstein} and the Nature of Mathematical Knowledge},
	Volume = {Volume Two: Symposia and Invited Papers},
	Year = {1984}}

@article{horw:mean95,
	Author = {Horwich, Paul},
	Journal = {Mind},
	Number = {414},
	Pages = {355-368},
	Title = {Meaning, Use and Truth: On Whether a Use-Theory of Meaning Is Precluded by the Requirement that Whatever Constitutes the Meaning of a Predicate Be Capable of Determining the Set of Things of Which the Predicate is True and to Which It Ought to be Applied},
	Volume = {104},
	Year = {1995}}

@article{warn:lite99,
	Author = {Warner, Martin},
	Journal = {Philosophy},
	Number = {287},
	Pages = {29-54},
	Title = {Literature, Truth and Logic},
	Volume = {74},
	Year = {1999}}

@article{trav:vagu85,
	Author = {Travis, Charles},
	Journal = {Mind},
	Number = {375},
	Pages = {345-366},
	Title = {Vagueness, Observation, and Sorites},
	Volume = {94},
	Year = {1985}}

@article{hoss:apro90,
	Author = {Hossack, Keith G.},
	Journal = {Mind},
	Number = {394},
	Pages = {207-219},
	Title = {A Problem about the Meaning of Intuitionist Negation},
	Volume = {99},
	Year = {1990}}

@article{mcgi:anap79,
	Author = {McGinn, Colin},
	Journal = {The Journal of Philosophy},
	Number = {3},
	Pages = {113-133},
	Title = {An A Priori Argument for Realism},
	Volume = {76},
	Year = {1979}}

@article{mati:thec88,
	Author = {Matilal, B. K. and Sen, P. K.},
	Journal = {Mind},
	Number = {385},
	Pages = {73-97},
	Title = {The Context Principle and Some {Indian} Controversies over Meaning},
	Volume = {97},
	Year = {1988}}

@article{forb:bios89,
	Author = {Forbes, Graeme},
	Journal = {Philosophical Perspectives},
	Pages = {533-547},
	Title = {Biosemantics and the Normative Properties of Thought},
	Volume = {3},
	Year = {1989}}

@article{weir:agai85,
	Author = {Weir, Alan},
	Journal = {The Philosophical Quarterly},
	Number = {140},
	Pages = {225-244},
	Title = {Against Holism},
	Volume = {35},
	Year = {1985}}

@article{fodo:isra94,
	Author = {Fodor, Jerry and Lepore, Ernie},
	Journal = {Philosophical Perspectives},
	Pages = {101-119},
	Title = {Is Radical Interpretation Possible?},
	Volume = {8},
	Year = {1994}}

@article{sull:thes94,
	Author = {Sullivan, Peter M.},
	Journal = {The Philosophical Quarterly},
	Number = {177},
	Pages = {476-481},
	Title = {The Sense of `A Name of a Truth-Value'},
	Volume = {44},
	Year = {1994}}

@article{pric:coul83,
	Author = {Price, Huw},
	Journal = {The Philosophical Quarterly},
	Number = {133},
	Pages = {354-364},
	Title = {`Could a Question be True?': Assent and the Basis of Meaning},
	Volume = {33},
	Year = {1983}}

@article{moor:sett85,
	Author = {Moore, A. W.},
	Journal = {Analysis},
	Number = {1},
	Pages = {13-20},
	Title = {Set Theory, {Skolem}'s Paradox and the {Tractatus}},
	Volume = {45},
	Year = {1985}}

@article{tori:thei98,
	Author = {Toribio, Josefa},
	Journal = {Philosophical Issues},
	Pages = {115-120},
	Title = {The Implicit Conception of Implicit Conceptions},
	Volume = {9},
	Year = {1998}}

@article{wrig:krip84,
	Author = {Wright, Crispin},
	Journal = {The Journal of Philosophy},
	Number = {12},
	Pages = {759-778},
	Title = {Kripke's Account of the Argument Against Private Language},
	Volume = {81},
	Year = {1984}}

@article{katz:lite81,
	Author = {Katz, Jerrold J.},
	Journal = {The Journal of Philosophy},
	Number = {4},
	Pages = {203-233},
	Title = {Literal Meaning and Logical Theory},
	Volume = {78},
	Year = {1981}}

@article{levi:freg61,
	Author = {Levison, Arnold B.},
	Journal = {Philosophy and Phenomenological Research},
	Number = {1},
	Pages = {40-49},
	Title = {Frege on Proof},
	Volume = {22},
	Year = {1961}}

@article{levi:witt64,
	Author = {Levison, A. B.},
	Journal = {The Philosophical Quarterly},
	Number = {57},
	Pages = {345-354},
	Title = {Wittgenstein and Logical Laws},
	Volume = {14},
	Year = {1964}}

@article{gorm:from90,
	Author = {Gorman, David},
	Journal = {Poetics Today},
	Number = {3},
	Pages = {647-659},
	Title = {From Small Beginnings: Literary Theorists Encounter Analytic Philosophy: Review of \emph{Redrawing the Lines: Analytic Philosophy, Deconstruction, and Literary Theory}},
	Volume = {11},
	Year = {1990}}

@article{winc:fact83,
	Author = {Winch, Peter},
	Journal = {The Philosophical Quarterly},
	Number = {133},
	Pages = {398-404},
	Title = {Facts and Super-Facts: \emph{Wittgenstein on Rules and Private Language}. An Elementary Exposition},
	Volume = {33},
	Year = {1983}}

@article{mcdo:onth77,
	Author = {McDowell, John},
	Journal = {Mind},
	Number = {342},
	Pages = {159-185},
	Title = {On the Sense and Reference of a Proper Name},
	Volume = {86},
	Year = {1977}}

@article{madd:math86,
	Author = {Maddy, Penelope},
	Journal = {The British Journal for the Philosophy of Science},
	Number = {3},
	Pages = {279-314},
	Title = {Mathematical Alchemy},
	Volume = {37},
	Year = {1986}}

@article{miln:freg89,
	Author = {Milne, Peter},
	Journal = {The British Journal for the Philosophy of Science},
	Number = {2},
	Pages = {155-166},
	Title = {Frege, Informative Identities, and Logicism},
	Volume = {40},
	Year = {1989}}

@article{gold:krip85,
	Author = {Goldfarb, Warren},
	Journal = {The Journal of Philosophy},
	Number = {9},
	Pages = {471-488},
	Title = {Kripke on Wittgenstein on Rules},
	Volume = {82},
	Year = {1985}}

@article{cohe:trut74,
	Author = {Cohen, Michael},
	Journal = {Analysis},
	Number = {1},
	Pages = {1-7},
	Title = {Truth-Tables and Truth},
	Volume = {35},
	Year = {1974}}

@article{dwye:free89,
	Author = {Dwyer, Philip},
	Journal = {Philosophy and Phenomenological Research},
	Number = {1},
	Pages = {49-68},
	Title = {Freedom and Rule-Following in Wittgenstein and Sartre},
	Volume = {50},
	Year = {1989}}

@article{will:cogn96,
	Author = {Williamson, Timothy},
	Journal = {The Journal of Philosophy},
	Number = {11},
	Pages = {554-573},
	Title = {Cognitive Homelessness},
	Volume = {93},
	Year = {1996}}

@article{shap:indu98,
	Author = {Shapiro, Stewart},
	Journal = {Mind},
	Number = {427},
	Pages = {597-624},
	Title = {Induction and Indefinite Extensibility: The {G{\"o}del} Sentence is True, but Did Someone Change the Subject?},
	Volume = {107},
	Year = {1998}}

@article{lowe:what89,
	Author = {Lowe, E. J.},
	Journal = {The Philosophical Quarterly},
	Number = {154},
	Pages = {1-21},
	Title = {What is a Criterion of Identity?},
	Volume = {39},
	Year = {1989}}

@article{aldr:krip87,
	Author = {Aldrich, Virgil C.},
	Journal = {Philosophy},
	Number = {241},
	Pages = {375-384},
	Title = {Kripke on {Wittgenstein} on Regulation},
	Volume = {62},
	Year = {1987}}

@article{sayw:four90,
	Author = {Sayward, Charles},
	Journal = {The Philosophical Quarterly},
	Number = {159},
	Pages = {155-168},
	Title = {Four Views of Arithmetical Truth},
	Volume = {40},
	Year = {1990}}

@article{stro:witt65,
	Author = {Stroud, Barry},
	Journal = {The Philosophical Review},
	Number = {4},
	Pages = {504-518},
	Title = {Wittgenstein and Logical Necessity},
	Volume = {74},
	Year = {1965}}

@article{mcdo:towa89,
	Author = {McDonough, Richard},
	Journal = {Mind},
	Number = {389},
	Pages = {1-21},
	Title = {Towards a Non-Mechanistic Theory of Meaning},
	Volume = {98},
	Year = {1989}}

@article{wrig:witt80,
	Author = {Wrigley, Michael},
	Journal = {Philosophy},
	Number = {214},
	Pages = {471-484},
	Title = {Wittgenstein on Inconsistency},
	Volume = {55},
	Year = {1980}}

@article{gree:wasw99,
	Author = {Green, Karen},
	Journal = {The Philosophical Quarterly},
	Number = {196},
	Pages = {289-308},
	Title = {Was {Wittgenstein Frege}'s Heir?},
	Volume = {49},
	Year = {1999}}

@article{wetz:dumm90,
	Author = {Wetzel, Linda},
	Journal = {Mind},
	Number = {394},
	Pages = {239-254},
	Title = {Dummett's Criteria for Singular Terms},
	Volume = {99},
	Year = {1990}}

@article{byrn:onmi96,
	Author = {Byrne, Alex},
	Journal = {Philosophy and Phenomenological Research},
	Number = {2},
	Pages = {339-343},
	Title = {On Misinterpreting {Kripke's Wittgenstein}},
	Volume = {56},
	Year = {1996}}

@article{dumm:witt59,
	Author = {Dummett, Michael},
	Journal = {The Philosophical Review},
	Number = {3},
	Pages = {324-348},
	Title = {Wittgenstein's Philosophy of Mathematics},
	Volume = {68},
	Year = {1959}}

@article{devi:dumm83,
	Author = {Devitt, Michael},
	Journal = {The Journal of Philosophy},
	Number = {2},
	Pages = {73-99},
	Title = {Dummett's Anti-Realism},
	Volume = {80},
	Year = {1983}}

@article{cohe:dumm75,
	Author = {Cohen, Michael},
	Journal = {Analysis},
	Number = {1},
	Pages = {1-5},
	Title = {Dummett on Assertion},
	Volume = {36},
	Year = {1975}}

@article{haac:dumm82,
	Author = {Haack, Susan},
	Journal = {Mind},
	Number = {362},
	Pages = {216-239},
	Title = {Dummett's Justification of Deduction},
	Volume = {91},
	Year = {1982}}

@article{tsuj:many98,
	Author = {Tsuji, Marcelo},
	Journal = {Studia Logica},
	Number = {2},
	Pages = {299--309},
	Title = {Many-Valued Logics and Suszko's Thesis Revisited},
	Volume = {60},
	Year = {1998}}

@article{sche:onno07,
	Author = {Schellenberg, J. L.},
	Journal = {Religious Studies},
	Number = {2},
	Pages = {199-204},
	Title = {On not unnecessarily darkening the glass: a reply to {Poston and Dougherty}},
	Volume = {43},
	Year = {2007}}

@article{post:divi07,
	Author = {Poston, Ted and Dougherty, Trent},
	Journal = {Religious Studies},
	Number = {2},
	Pages = {183-198},
	Title = {Divine hiddenness and the nature of belief},
	Volume = {43},
	Year = {2007}}

@article{spea:salv07,
	Author = {Speak, Daniel},
	Journal = {Religious Studies},
	Number = {2},
	Pages = {229-236},
	Title = {Salvation without belief},
	Volume = {43},
	Year = {2007}}

@unpublished{oost:topo07,
	Author = {van Oosten},
	Note = {Lecture Notes, Utrecht University},
	Title = {Topos Theory},
	Year = {2007}}

@unpublished{moer:sets06,
	Author = {Moerdijk, Ieke and van Oosten, Jaap},
	Note = {Lecture Notes on Mathematical Logic, Utrecht University},
	Title = {Sets, Models and Proofs},
	Year = {2006}}

@phdthesis{oliv:proo01,
	Author = {de Oliveira, Anjolina Grisi},
	School = {Universidade Federal de Pernambuco, Centro de Inform{\'a}tica},
	Title = {Proofs from a Geometric Perspective},
	Year = {2001}}

@article{krei:avar53,
	Author = {Kreisel, G.},
	Journal = {The British Journal for the Philosophy of Science},
	Number = {14},
	Pages = {107-129},
	Title = {A Variant to Hilbert's Theory of the Foundations of Arithmetic},
	Volume = {4},
	Year = {1953}}

@article{krei:onth52,
	Author = {Kreisel, G.},
	Journal = {The Journal of Symbolic Logic},
	Number = {1},
	Pages = {43-58},
	Title = {On the Interpretation of Non-Finitist Proofs: Part II. Interpretation of Number Theory. Applications},
	Volume = {17},
	Year = {1952}}

@article{krei:onth51,
	Author = {Kreisel, G.},
	Journal = {The Journal of Symbolic Logic},
	Number = {4},
	Pages = {241-267},
	Title = {On the Interpretation of Non-Finitist Proofs--Part I},
	Volume = {16},
	Year = {1951}}

@article{brou:intu99,
	Author = {Brouwer, L. E. J.},
	Journal = {Bulletin of the American Mathematical Society},
	Number = {1},
	Pages = {55-64},
	Title = {Intuitionism and Formalism},
	Volume = {37},
	Year = {1999}}

@article{brou:intu13,
	Author = {Brouwer, L. E. J.},
	Journal = {Bulletin of the American Mathematical Society},
	Pages = {91-96},
	Title = {Intuitionism and Formalism},
	Volume = {20},
	Year = {1913}}

@incollection{gira:herb82,
	Author = {Girard, Jean-Yves},
	Booktitle = {Proceedings of the {Herbrand} Symposium, Logic Colloquium '81},
	Editor = {Stern, J.},
	Pages = {21-38},
	Publisher = {North-Holland Publishing Company},
	Title = {Herbrand's theorem and proof-theory},
	Year = {1982}}

@article{blok:onth04,
	Author = {Blok, W. J. and Alten, C. J. Van},
	Journal = {Transactions of the American Mathematical Society},
	Number = {10},
	Pages = {4141-4157},
	Title = {On the finite embeddability property for residuated ordered groupoids},
	Volume = {357},
	Year = {2005}}

@incollection{bell:abst06,
	Author = {Bell, John L.},
	Booktitle = {What is Category Theory?},
	Editor = {Sica, G.},
	Pages = {9-16},
	Publisher = {Polimetrica},
	Title = {Abstract and Variable Sets in Category Theory},
	Year = {2006}}

@inproceedings{apos:prox05,
	Author = {Apostoli, Peter John and Kanda, Akira},
	Booktitle = {Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing},
	Editor = {{\'S}l{\c e}zak, Dominik and Wang, Guoyin and Szczuka, Marcin and D{\"u}ntsch, Ivo and Yao, Yiyu},
	Pages = {94--103},
	Series = {Lecture Notes in Artificial Intelligence},
	Title = {Proximity Spaces of Exact Sets},
	Volume = {3641},
	Year = {2005}}

@inproceedings{apos:appr01,
	Author = {Apostoli, Peter and Kanda, Akira},
	Booktitle = {Rough Sets and Current Trends in Computing: Second International Conference, RSCTC 2000 Banff, Canada, October 16-19, 2000},
	Editor = {Ziarko, Wojciech and Yao, Yiyu},
	Pages = {98--105},
	Publisher = {Springer},
	Series = {Lecture Notes in Artificial Intelligence},
	Title = {Approximation Spaces of Type-Free Sets},
	Volume = {2005},
	Year = {2001}}

@article{fodo:bran01,
	Author = {Fodor, Jerry and Lepore, Ernie},
	Journal = {Philosophy and Phenomenological Research},
	Number = {2},
	Pages = {465-481},
	Title = {Brandom's Burdens: Compositionality and Inferentialism},
	Volume = {63},
	Year = {2001}}

@article{barw:glob78,
	Author = {Barwise, Jon and Moschovakis, Yiannis N.},
	Journal = {The Journal of Symbolic Logic},
	Number = {3},
	Pages = {521-534},
	Title = {Global Inductive Definability},
	Volume = {43},
	Year = {1978}}

@article{barw:inte99,
	Author = {Barwise, Jon and van Benthem, Johan},
	Journal = {The Journal of Symbolic Logic},
	Number = {2},
	Pages = {881-903},
	Title = {Interpolation, Preservation, and Pebble Games},
	Volume = {64},
	Year = {1999}}

@article{barw:infi69,
	Author = {Barwise, Jon},
	Journal = {The Journal of Symbolic Logic},
	Number = {2},
	Pages = {226-252},
	Title = {Infinitary Logic and Admissible Sets},
	Volume = {34},
	Year = {1969}}

@article{lanc:some98,
	Author = {Lance, Mark Norris},
	Journal = {Philosophical Perspectives},
	Pages = {219-240},
	Title = {Some Reflections on the Sport of Language},
	Volume = {12},
	Year = {1998}}

@article{toka:syno88,
	Author = {Tokarz, Marek},
	Journal = {Studia Logica},
	Number = {2},
	Pages = {93--97},
	Title = {Synonymy in sentential languages: a pragmatic view},
	Volume = {47},
	Year = {1988}}

@article{toka:onth90,
	Author = {Tokarz, Marek},
	Journal = {Studia Logica},
	Number = {3},
	Pages = {321--332},
	Title = {On the logic of conscious belief},
	Volume = {49},
	Year = {1990}}

@article{toka:amet74,
	Author = {Tokarz, Marek},
	Journal = {Studia Logica},
	Number = {4},
	Pages = {333--338},
	Title = {A method of axiomatization of {{\L}ukasiewicz's} logics},
	Volume = {33},
	Year = {1974}}

@article{toka:onst72,
	Author = {Tokarz, Marek},
	Journal = {Studia Logica},
	Number = {1},
	Pages = {53--58},
	Title = {On structural completeness of {{\L}ukasiewicz's} logics},
	Volume = {30},
	Year = {1972}}

@article{toka:defi78,
	Author = {Tokarz, Marek},
	Journal = {Studia Logica},
	Number = {2},
	Pages = {135--137},
	Title = {Definitions by context in propositional logics},
	Volume = {37},
	Year = {1978}}

@article{wroa:rema87,
	Author = {Wro{\'n}ski, Andrzej},
	Journal = {Studia Logica},
	Number = {3},
	Pages = {275--278},
	Title = {Remarks on a survey article on many valued logic by {A. Urquhart}},
	Volume = {46},
	Year = {1987}}

@article{gold:topo83,
	Author = {Goldberg, Moshe S.},
	Journal = {Studia Logica},
	Number = {1},
	Pages = {23--31},
	Title = {Topological duality for distributive Ockham algebras},
	Volume = {42},
	Year = {1983}}

@article{garc:onoc95,
	Author = {Garcia, P. and Esteva, F.},
	Journal = {Studia Logica},
	Number = {2},
	Pages = {319--346},
	Title = {On Ockham algebras: Congruence lattices and subdirectly irreducible algebras},
	Volume = {55},
	Year = {1995}}

@article{grob:anex07,
	Author = {Groblacher, Simon and Paterek, Tomasz and Kaltenbaek, Rainer and Brukner, Caslav and Zukowski, Marek and Aspelmeyer, Markus and Zeilinger, Anton},
	Journal = {Nature},
	Number = {7138},
	Pages = {871--875},
	Title = {An experimental test of non-local realism},
	Volume = {446},
	Year = {2007}}

@article{urqu:dist81,
	Author = {Urquhart, Alasdair},
	Journal = {Studia Logica},
	Number = {4},
	Pages = {391--404},
	Title = {Distributive lattices with a dual homomorphic operation. {II}},
	Volume = {40},
	Year = {1981}}

@article{urqu:dist79,
	Author = {Urquhart, Alasdair},
	Journal = {Studia Logica},
	Number = {2},
	Pages = {201--209},
	Title = {Distributive lattices with a dual homomorphic operation},
	Volume = {38},
	Year = {1979}}

@article{bozi:mode84,
	Author = {Bo{\v z}i{\'c}, Milan and Do{\v s}en, Kosta},
	Journal = {Studia Logica},
	Number = {3},
	Pages = {217--245},
	Title = {Models for normal intuitionistic modal logics},
	Volume = {43},
	Year = {1984}}

@article{amat:auni94,
	Author = {Amati, Giambattista and Pirri, Fiora},
	Journal = {Studia Logica},
	Number = {1},
	Pages = {29--60},
	Title = {A uniform tableau method for intuitionistic modal logics I},
	Volume = {53},
	Year = {1994}}

@article{fitt:tabl95,
	Author = {Fitting, Melvin},
	Journal = {Studia Logica},
	Number = {1},
	Pages = {63--87},
	Title = {Tableaus for many-valued modal logic},
	Volume = {55},
	Year = {1995}}

@article{schu:synt60,
	Author = {Sch{\"u}tte, Kurt},
	Journal = {The Journal of Symbolic Logic},
	Number = {4},
	Pages = {305-326},
	Title = {Syntactical and Semantical Properties of Simple Type Theory},
	Volume = {25},
	Year = {1960}}

@article{gira:thes86,
	Author = {Girard, Jean-Yves},
	Journal = {Theoretical Computer Science},
	Pages = {159--192},
	Title = {The system $F$ of variable types, fifteen years later},
	Volume = {45},
	Year = {1986}}

@article{henk:agen57,
	Author = {Henkin, Leon},
	Journal = {The Journal of Symbolic Logic},
	Number = {1},
	Pages = {1-14},
	Title = {A Generalization of the Concept of {$\omega$}-Completeness},
	Volume = {22},
	Year = {1957}}

@article{henk:twoc56,
	Author = {Henkin, Leon},
	Journal = {The Journal of Symbolic Logic},
	Number = {1},
	Pages = {28-32},
	Title = {Two Concepts From the Theory of Models},
	Volume = {21},
	Year = {1956}}

@article{henk:bani53,
	Author = {Henkin, Leon},
	Journal = {The Journal of Symbolic Logic},
	Number = {3},
	Pages = {201-208},
	Title = {Banishing the Rule of Substitution for Functional Variables},
	Volume = {18},
	Year = {1953}}

@article{henk:some53,
	Author = {Henkin, Leon},
	Journal = {The Journal of Symbolic Logic},
	Number = {1},
	Pages = {19-29},
	Title = {Some Notes on Nominalism},
	Volume = {18},
	Year = {1953}}

@article{henk:thec49,
	Author = {Henkin, Leon},
	Journal = {The Journal of Symbolic Logic},
	Number = {3},
	Pages = {159-166},
	Title = {The Completeness of the First-Order Functional Calculus},
	Volume = {14},
	Year = {1949}}

@article{henk:frag49,
	Author = {Henkin, Leon},
	Journal = {The Journal of Symbolic Logic},
	Number = {1},
	Pages = {42-48},
	Title = {Fragments of the Propositional Calculus},
	Volume = {14},
	Year = {1949}}

@book{gabb:hand86,
	Address = {Dordrecht},
	Editor = {Gabbay, D. and Guenthner, F.},
	Publisher = {D. Reidel},
	Title = {Handbook of Philosophical Logic},
	Volume = {III},
	Year = {1986}}

@article{bran:from04,
	Author = {Bransen, Jan},
	Journal = {Metaphilosophy},
	Number = {4},
	Pages = {517-535},
	Title = {From Daily Life to Philosophy},
	Volume = {35},
	Year = {2004}}

@article{flor:what02,
	Author = {Floridi, Luciano},
	Journal = {Metaphilosophy},
	Number = {1&2},
	Pages = {123-145},
	Title = {What is the Philosophy of Information?},
	Volume = {33},
	Year = {2002}}

@article{flor:open04,
	Author = {Floridi, Luciano},
	Journal = {Metaphilosophy},
	Number = {4},
	Pages = {554-582},
	Title = {Open Problems in the Philosophy of Information},
	Volume = {35},
	Year = {2004}}

@article{levy:anal03,
	Author = {Levy, Neil},
	Journal = {Metaphilosophy},
	Number = {3},
	Pages = {284-304},
	Title = {Analytic and Continental Philosophy: Explaining the Differences},
	Volume = {34},
	Year = {2003}}

@article{maxw:inde04,
	Author = {Maxwell, Nicholas},
	Journal = {Metaphilosophy},
	Number = {5},
	Pages = {733-743},
	Title = {In Defense of Seeking Wisdom},
	Volume = {35},
	Year = {2004}}

@article{may:onth02,
	Author = {May, Todd},
	Journal = {Metaphilosophy},
	Number = {4},
	Pages = {401-425},
	Title = {On the Very Idea of Continental (or for that Matter Anglo-American) Philosophy},
	Volume = {33},
	Year = {2002}}

@article{rock:onth04,
	Author = {Rockmore, Tom},
	Journal = {Metaphilosophy},
	Number = {4},
	Pages = {466-478},
	Title = {On the Structure of Twentieth-Century Philosophy},
	Volume = {35},
	Year = {2004}}

@article{huem:iscr05,
	Author = {Huemer, Michael},
	Journal = {Metaphilosophy},
	Number = {4},
	Pages = {522-531},
	Title = {Is Critical Thinking Epistemically Responsible?},
	Volume = {36},
	Year = {2005}}

@article{stre:infe07,
	Author = {Streumer, Bart},
	Journal = {Philosophy and Phenomenological Research},
	Number = {1},
	Pages = {1-29},
	Title = {Inferential and Non-Inferential Reasoning},
	Volume = {74},
	Year = {2007}}

@article{mcge:revi97,
	Author = {McGee, Vann},
	Journal = {Philosophical Issues},
	Pages = {387-406},
	Title = {Revision},
	Volume = {8},
	Year = {1997}}

@article{resn:imma90,
	Author = {Resnik, Michael D.},
	Journal = {Mind},
	Number = {395},
	Pages = {405-424},
	Title = {Immanent Truth},
	Volume = {99},
	Year = {1990}}

@article{resn:logi85,
	Author = {Resnik, Michael D.},
	Journal = {Philosophy of Science},
	Number = {2},
	Pages = {221-238},
	Title = {Logic: Normative or Descriptive? The Ethics of Belief or a Branch of Psychology?},
	Volume = {52},
	Year = {1985}}

@article{resn:seco88,
	Author = {Resnik, Michael D.},
	Journal = {The Journal of Philosophy},
	Number = {2},
	Pages = {75-87},
	Title = {Second-Order Logic Still Wild},
	Volume = {85},
	Year = {1988}}

@book{schu:proo77,
	Author = {Sch{\"u}tte, Kurt},
	Publisher = {Springer-Verlag},
	Title = {Proof Theory},
	Year = {1977}}

@article{hugh:proo06,
	Author = {Hughes, Dominic J. D.},
	Journal = {Annals of Mathematics},
	Number = {3},
	Pages = {1065-1076},
	Title = {Proofs without syntax},
	Volume = {164},
	Year = {2006}}

@article{carb:cycl00,
	Author = {Carbone, A.},
	Journal = {Transactions of the American Mathematical Society},
	Pages = {2049-2075},
	Title = {Cycling in proofs and feasibility},
	Volume = {352},
	Year = {2000}}

@inproceedings{pent:lamb93a,
	Author = {Pentus, M.},
	Booktitle = {Logic in Computer Science, 1993. LICS '93., Proceedings of Eighth Annual IEEE Symposium on Logic in Computer Science},
	Pages = {429--433},
	Title = {Lambek grammars are context free},
	Year = {1993}}

@article{tait:fini81,
	Author = {Tait, W. W.},
	Journal = {The Journal of Philosophy},
	Number = {9},
	Pages = {524-546},
	Title = {Finitism},
	Volume = {78},
	Year = {1981}}

@article{tait:witt86,
	Author = {Tait, W. W.},
	Journal = {The Journal of Philosophy},
	Number = {9},
	Pages = {475-488},
	Title = {Wittgenstein and the ``Skeptical Paradoxes''},
	Volume = {83},
	Year = {1986}}

@article{tait:gode05,
	Author = {Tait, W. W.},
	Journal = {The Bulletin of Symbolic Logic},
	Number = {2},
	Pages = {225-238},
	Title = {G{\"o}del's Reformulation of Gentzen's First Consistency Proof for Arithmetic: The No-Counterexample Interpretation First Consistency Proof for Arithmetic: The No-Counterexample Interpretation},
	Volume = {11},
	Year = {2005}}

@inproceedings{scot:cons70,
	Author = {Scott, Dana},
	Booktitle = {Automatic Demonstration},
	Editor = {Laudet, Michel and Lacombe, D. and Nolin, L. and Sch{\"u}tzenberger, M.},
	Number = 125,
	Pages = {237--275},
	Publisher = {Springer-Verlag},
	Series = {Lecture Notes in Mathematics},
	Title = {Constructive Validity},
	Year = 1970}

@book{take:proo75,
	Author = {Takeuti, Gaisi},
	Number = 81,
	Publisher = {North-Holland},
	Series = {Studies in Logic and the Foundations of Mathematics},
	Title = {Proof Theory},
	Year = 1975}

@article{mint:cute76,
	Author = {Mints, G. E.},
	Journal = {Journal of Mathematical Sciences},
	Number = {4},
	Pages = {422--428},
	Title = {Cut-elimination theorem for relevant logics},
	Volume = {6},
	Year = {1976}}

@book{sinn:moda95,
	Address = {Cambridge},
	Editor = {Sinnott-Armstrong, Walter and Raffmann, Diana and Asher, Nicholas},
	Publisher = {Cambridge University Press},
	Title = {Modality, Morality, and Belief: Essays in Honor of Ruth Barcan Marcus},
	Year = {1995}}

@proceedings{carb:proc91,
	Editor = {Carboni, Aurelio and Peddicchio, Maria-Cristina and Rosolini, Giuseppe},
	Publisher = {Springer-Verlag},
	Title = {Proceedings of the 1990 Como Category Theory Conference},
	Year = 1991}

@incollection{sced:note82,
	Author = {Scedrov, Andre and Scott, Philip},
	Crossref = {troe:lejb82},
	Pages = {443--452},
	Title = {A Note on the {F}riedman Slash and {F}reyd Covers},
	Year = 1982}

@proceedings{troe:lejb82,
	Editor = {Troelstra, Anne Sjerp and van Dalen, Dirk},
	Publisher = {North-Holland},
	Title = {L. E. J. Brouwer Centenary Symposium},
	Year = 1982}

@article{hyla:disc90,
	Author = {Hyland, Martin and Robinson, Edmund and Rosolini, Giuseppe},
	Journal = {Proceedings of the London Mathematical Society},
	Pages = {1--36},
	Title = {The Discrete Objects in the Effective Topos},
	Volume = 60,
	Year = 1990}

@inproceedings{lawv:cate66,
	Author = {Lawvere, William},
	Crossref = {eile:cate66},
	Pages = {1--20},
	Title = {The Category of Categories as a Foundation for Mathematics}}

@proceedings{eile:cate66,
	Editor = {Eilenberg, Sammy and Harrison, D. K. and Mac Lane, Saunders and R{\"o}hrl, Helmut},
	Publisher = {Springer-Verlag},
	Title = {Categorical Algebra (La Jolla, 1965)},
	Year = 1966}

@proceedings{gray:cate89,
	Editor = {Gray, John and Scedrov, Andre},
	Publisher = {American Mathematical Society},
	Title = {Categories in Computer Science and Logic},
	Year = 1989}

@inproceedings{gray:fibr66,
	Author = {Gray, John},
	Crossref = {eile:cate66},
	Pages = {21--83},
	Title = {Fibred and Cofibred Categories}}

@inproceedings{seel:line89,
	Author = {Seely, Robert},
	Crossref = {gray:cate89},
	Pages = {371--382},
	Title = {Linear Logic, {$*$}-Autonomous Categories and Cofree Algebras}}

@proceedings{pitt:sema97,
	Editor = {Pitts, Andrew and Dybjer, Peter},
	Publisher = {Cambridge University Press},
	Title = {Semantics and Logics of Computation},
	Year = 1997}

@article{bena:fibr85,
	Author = {B{\'e}nabou, Jean},
	Journal = {Journal of Symbolic Logic},
	Pages = {10--37},
	Title = {Fibred Categories and the Foundations of Na{\"\i}ve Category Theory},
	Volume = 50,
	Year = 1985}

@book{odif:logi90,
	Editor = {Odifreddi, Piergiorgio},
	Number = 31,
	Publisher = {Academic Press},
	Series = {APIC Studies in Data Processing},
	Title = {Logic and Computer Science},
	Year = 1990}

@book{odif:clas89,
	Author = {Odifreddi, Piergiorgio},
	Number = 125,
	Publisher = {North-Holland},
	Series = {Studies in Logic and the Foundations of Mathematics},
	Title = {Classical Recursion Theory: the Theory of Functions and Sets of Natural Numbers},
	Year = 1989}

@article{alex:thep06,
	Author = {Alexandrov, Georgii},
	Journal = {Carbon Balance and Management},
	Number = {1},
	Pages = {10},
	Title = {The purpose of peer review in the case of an open-access publication},
	Volume = {1},
	Year = {2006}}

@article{garo:quan06,
	Author = {Garola, Claudio and Pykacz, Jaros{\l}aw and Sozzo, Sandro},
	Journal = {Foundations of Physics},
	Number = {6},
	Pages = {862--882},
	Title = {Quantum Machine and Semantic Realism Approach: a unified model},
	Volume = {36},
	Year = {2006}}

@article{garo:sema96,
	Author = {Garola, Claudio and Solombrino, Luigi},
	Journal = {Foundations of Physics},
	Number = {10},
	Pages = {1329--1356},
	Title = {Semantic realism versus \textsc{epr}-like paradoxes: the {Furry}, {Bohm-Aharonov}, and {Bell} paradoxes},
	Volume = {26},
	Year = {1996}}

@article{garo:thet96,
	Author = {Garola, Claudio and Solombrino, Luigi},
	Journal = {Foundations of Physics},
	Number = {9},
	Pages = {1121--1164},
	Title = {The theoretical apparatus of semantic realism: a new language for classical and quantum physics},
	Volume = {26},
	Year = {1996}}

@article{gogu:thel69,
	Author = {Goguen, J. A.},
	Journal = {Synthese},
	Number = {3},
	Pages = {325--373},
	Title = {The logic of inexact concepts},
	Volume = {19},
	Year = {1969}}

@article{pozz:apra95,
	Author = {Pozza, Carlo Dalla and Garola, Claudio},
	Journal = {Erkenntnis},
	Number = {1},
	Pages = {81--109},
	Title = {A pragmatic interpretation of intuitionistic propositional logic},
	Volume = {43},
	Year = {1995}}

@article{dubu:feas02,
	Author = {Dubucs, Jacques},
	Journal = {Synthese},
	Number = {3},
	Pages = {213--237},
	Title = {Feasibility In Logic},
	Volume = {132},
	Year = {2002}}

@article{vonp:rere03,
	Author = {von Plato, Jan},
	Journal = {Synthese},
	Number = {1},
	Pages = {195--209},
	Title = {Rereading Gentzen},
	Volume = {137},
	Year = {2003}}

@article{pars:ontr74,
	Author = {Parsons, Charles},
	Journal = {Synthese},
	Number = {3},
	Pages = {405--411},
	Title = {On translating logic},
	Volume = {27},
	Year = {1974}}

@article{rant:prop88,
	Author = {Ranta, Aarne},
	Journal = {Synthese},
	Number = {3},
	Pages = {377--395},
	Title = {Propositions as games as types},
	Volume = {76},
	Year = {1988}}

@article{weat:from03,
	Author = {Weatherson, Brian},
	Journal = {Notre Dame Journal of Formal Logic},
	Number = {2},
	Pages = {111-123},
	Title = {From Classical to Intuitionistic Probability},
	Volume = {44},
	Year = {2003}}

@article{meye:wher84,
	Author = {Meyer, Robert and Giambrone, Steve and Brady, Ross},
	Journal = {Studia Logica},
	Number = {3},
	Pages = {247--256},
	Title = {Where gamma fails},
	Volume = {43},
	Year = {1984}}

@article{cint:norm00,
	Author = {Cintula, Petr and Metcalfe, George},
	Journal = {Archive for Mathematical Logic},
	Title = {Normal forms for fuzzy logics: a proof-theoretic approach},
	Year = {200+}}

@article{mina:anal00,
	Author = {Minari, Pierluigi},
	Journal = {Archive for Mathematical Logic},
	Title = {Analytic proof systems for $\lambda$-calculus: the elimination of transitivity, and why it matters},
	Year = {200+}}

@article{cora:lift07,
	Author = {Corazza, Paul},
	Journal = {Archive for Mathematical Logic},
	Number = {2},
	Pages = {61--72},
	Title = {Lifting elementary embeddings $j:V_\lambda \to V_\lambda$},
	Volume = {46},
	Year = {2007}}

@article{geor:acom06,
	Author = {Georgescu, George and Popescu, Andrei},
	Journal = {Archive for Mathematical Logic},
	Number = {8},
	Pages = {947--981},
	Title = {A common generalization for {MV}-algebras and {{\L}ukasiewicz-Moisil} algebras},
	Volume = {45},
	Year = {2006}}

@article{teru:ligh07,
	Author = {Terui, Kazushige},
	Journal = {Archive for Mathematical Logic},
	Number = {3},
	Pages = {253--280},
	Title = {Light affine lambda calculus and polynomial time strong normalization},
	Volume = {46},
	Year = {2007}}

@article{shaw:logi54,
	Author = {Shaw-Kwei, Moh},
	Journal = {The Journal of Symbolic Logic},
	Number = {1},
	Pages = {37-40},
	Title = {Logical Paradoxes for Many-Valued Systems},
	Volume = {19},
	Year = {1954}}

@article{cant:theu03,
	Author = {Cantini, Andrea},
	Journal = {Studia Logica},
	Number = {3},
	Pages = {345--368},
	Title = {The Undecidability of {Gri{\v s}in's} Set Theory},
	Volume = {74},
	Year = {2003}}

@article{amat:conc00,
	Author = {Amati, Gianni and Ounis, Iadh},
	Journal = {The Computer Journal},
	Number = {1},
	Pages = {1-12},
	Title = {{Conceptual Graphs and First Order Logic}},
	Volume = {43},
	Year = {2000}}

@article{gibb:vdma88,
	Author = {Gibbins, P. F.},
	Journal = {The Computer Journal},
	Number = {6},
	Pages = {510-516},
	Title = {{VDM}: Axiomatising its Propositional Logic},
	Volume = {31},
	Year = {1988}}

@article{borg:acon00,
	Author = {Borghuis, Tijn and Feijs, Loe},
	Journal = {The Computer Journal},
	Number = {4},
	Pages = {274-289},
	Title = {{A Constructive Logic for Services and Information Flow in Computer Networks}},
	Volume = {43},
	Year = {2000}}

@article{moss:recu03,
	Author = {Moss, Lawrence S.},
	Journal = {Theoretical Computer Science},
	Number = {1-2},
	Pages = {233--267},
	Title = {Recursion and corecursion have the same equational logic},
	Volume = {294},
	Year = {2003}}

@article{mili:thec06,
	Author = {Milius, Stefan and Moss, Lawrence S.},
	Journal = {Theoretical Computer Science},
	Number = {1-2},
	Pages = {3--59},
	Title = {The category-theoretic solution of recursive program schemes},
	Volume = {366},
	Year = {2006}}

@article{moss:para01,
	Author = {Moss, Lawrence S.},
	Journal = {Theoretical Computer Science},
	Number = {1-2},
	Pages = {139--163},
	Title = {Parametric corecursion},
	Volume = {260},
	Year = {2001}}

@incollection{buss:anin98,
	Address = {Amsterdam},
	Author = {Buss, Samuel R.},
	Booktitle = {Handbook of Proof Theory},
	Editor = {Buss, S. R.},
	Pages = {1-78},
	Publisher = {Elsevier},
	Title = {An Introduction to Proof Theory},
	Year = {1998}}

@incollection{buss:firs98,
	Address = {Amsterdam},
	Author = {Buss, Samuel R.},
	Booktitle = {Handbook of Proof Theory},
	Editor = {Buss, S. R.},
	Pages = {79-147},
	Publisher = {Elsevier},
	Title = {First-Order Proof Theory of Arithmetic},
	Year = {1998}}

@article{ditm:play05,
	Author = {van Ditmarsch, H. P. and van der Hoek, W. and Kooi, B. P.},
	Journal = {The Australasian Journal of Logic},
	Pages = {108--134},
	Title = {Playing Cards with Hintikka: An introduction to dynamic epistemic logic},
	Volume = 3,
	Year = 2005}

@article{thal:from05,
	Author = {Thalos, Mariam},
	Journal = {The Australasian Journal of Logic},
	Pages = {76--107},
	Title = {From Paradox to Judgment: towards a metaphysics of expression},
	Volume = 3,
	Year = 2005}

@article{sauk:fran05,
	Author = {Saukkonen, Kari},
	Journal = {The Australasian Journal of Logic},
	Pages = {67-75},
	Title = {Frank Markham Brown's \emph{Boolean Reasoning: The Logic of Boolean Equations}},
	Volume = 3,
	Year = 2005}

@article{russ:gold05,
	Author = {Russell, Gillian},
	Journal = {The Australasian Journal of Logic},
	Pages = {63-66},
	Title = {Warren Goldfarb's \emph{Deductive Logic}},
	Volume = 3,
	Year = 2005}

@article{rest:cons05,
	Author = {Restall, Greg},
	Journal = {The Australasian Journal of Logic},
	Pages = {45-62},
	Title = {Constant Domain Quantified Modal Logics Without Boolean Negation},
	Volume = 3,
	Year = 2005}

@article{bonn:tonk05,
	Author = {Bonnay, Denis and Simmenauer, Benjamin},
	Journal = {The Australasian Journal of Logic},
	Pages = {33-44},
	Title = {Tonk Strikes Back},
	Volume = 3,
	Year = 2005}

@article{pal:basi05,
	Author = {Pal, Koushik and Meyer, Robert K.},
	Journal = {The Australasian Journal of Logic},
	Pages = {14-32},
	Title = {Basic Relevant Theories for Combinators at Levels I and II},
	Volume = 3,
	Year = 2005}

@article{walt:just05,
	Author = {Walton, Douglas},
	Journal = {The Australasian Journal of Logic},
	Pages = {1-13},
	Title = {Justification of Argument Schemes},
	Volume = 3,
	Year = 2005}

@article{hunt:limi04,
	Author = {Hunter, Aaron},
	Journal = {The Australasian Journal of Logic},
	Pages = {70--90},
	Title = {Limiting Cases for Spectrum Closure Results},
	Volume = 2,
	Year = 2004}

@article{iaco:moda04,
	Author = {Iacona, Andrea},
	Journal = {The Australasian Journal of Logic},
	Pages = {44--69},
	Title = {Modal Predicates},
	Volume = 2,
	Year = 2004}

@article{slat:poor04,
	Author = {Slater, Hartley},
	Journal = {The Australasian Journal of Logic},
	Pages = {44--55},
	Title = {A Poor Concept Script},
	Volume = 2,
	Year = 2004}

@article{lang:class04,
	Author = {Langtry, Bruce},
	Journal = {The Australasian Journal of Logic},
	Pages = {30--43},
	Title = {The Classical and Maximin Versions of the Two-Envelope Paradox},
	Volume = 2,
	Year = 2004}

@article{mart:prop04,
	Author = {Martens, David B.},
	Journal = {The Australasian Journal of Logic},
	Pages = {1-10},
	Title = {Propositional Identity and Logical Necessity},
	Volume = 1,
	Year = 2004}

@article{bund:inte03,
	Author = {Bunder, Martin},
	Journal = {The Australasian Journal of Logic},
	Pages = {43--55},
	Title = {Intersection Type Systems and Logics Related to the Meyer--Routley System $B^+$},
	Volume = 1,
	Year = 2003}

@article{tana:thre03,
	Author = {Tanaka, Koji},
	Journal = {The Australasian Journal of Logic},
	Pages = {28--42},
	Title = {Three Schools of Paraconsistency},
	Volume = 1,
	Year = 2003}

@article{brad:sema03,
	Author = {Brady, Ross},
	Journal = {The Australasian Journal of Logic},
	Pages = {4--27},
	Title = {Semantic Decision Procedures for Some Relevant Logics},
	Volume = 1,
	Year = 2003}

@article{rest:edit03,
	Author = {Restall, Greg},
	Journal = {The Australasian Journal of Logic},
	Pages = {1-3},
	Title = {Editorial: Introducing the Australasian Journal of Logic},
	Volume = 1,
	Year = 2003}

@article{cres:poss04,
	Author = {Cresswell, M. J.},
	Journal = {The Australasian Journal of Logic},
	Pages = {11-29},
	Title = {Possibility Semantics for Intuitionistic Logic},
	Volume = 2,
	Year = 2004}

@incollection{odin:rout05,
	Author = {Odintsov, Sergei and Pearce, David},
	Booktitle = {Logic Programming and Nonmonotonic Reasoning},
	Editor = {Baral, Chitta and Greco, Gianluigi and Leone, Nicola and Terracina, Giorgio},
	Number = {3662},
	Pages = {343--355},
	Series = {Lecture Notes in Artificial Intelligence},
	Title = {Routley Semantics for Answer Sets},
	Year = {2005}}

@article{pear:equi06,
	Author = {Pearce, David},
	Journal = {Annals of Mathematics and Artificial Intelligence},
	Number = {1},
	Pages = {3--41},
	Title = {Equilibrium logic},
	Volume = {47},
	Year = {2006}}

@proceedings{beho:thel05,
	Address = {Prague},
	Editor = {B{\v e}hounek, Libor and B{\'\i}lkov{\'a}, Marta},
	Organization = {Institute of Philosophy, Academy of Sciences of the Czech Republic},
	Publisher = {Filosofia},
	Title = {The {Logica} Yearbook 2004},
	Year = {2005}}

@article{kama:revi03,
	Author = {Kamareddine, Fairouz and Laan, Twan and Nederpelt, Rob},
	Journal = {Journal of Logic and Algebraic Programming},
	Number = {1-2},
	Pages = {65--107},
	Title = {Revisiting the notion of function},
	Volume = {54},
	Year = {2003}}

@article{fris:bina03,
	Author = {Friso Groote, Jan and Tveretina, Olga},
	Journal = {Journal of Logic and Algebraic Programming},
	Number = {1-2},
	Pages = {1--22},
	Title = {Binary decision diagrams for first-order predicate logic},
	Volume = {57},
	Year = {2003}}

@article{kama:debr05,
	Author = {Kamareddine, Fairouz and Bloo, Roel},
	Journal = {Journal of Logic and Algebraic Programming},
	Number = {1},
	Pages = {109--131},
	Title = {{De Bruijn}'s syntax and reductional behaviour of {$\lambda$}-terms: the untyped case},
	Volume = {62},
	Year = {2005}}

@article{kama:debr05a,
	Author = {Kamareddine, Fairouz and Bloo, Roel},
	Journal = {Journal of Logic and Algebraic Programming},
	Number = {2},
	Pages = {159--189},
	Title = {{De Bruijn}'s syntax and reductional behaviour of {$\lambda$}-terms: the typed case},
	Volume = {62},
	Year = {2005}}

@article{avig:alge01,
	Author = {Avigad, Jeremy},
	Journal = {Journal of Logic and Algebraic Programming},
	Number = {1-2},
	Pages = {15--30},
	Title = {Algebraic proofs of cut elimination},
	Volume = {49},
	Year = {2001}}

@article{lins:inde96,
	Author = {Linsky, Bernard and Zalta, Edward N.},
	Journal = {Philosophical Studies},
	Number = {2},
	Pages = {283--294},
	Title = {In defense of the contingently nonconcrete},
	Volume = {84},
	Year = {1996}}

@article{king:what07,
	Author = {King, Jeffrey},
	Journal = {Philosophical Studies},
	Number = {3},
	Pages = {443--453},
	Title = {What in the world are the ways things might have been?},
	Volume = {133},
	Year = {2007}}

@article{tomb:actu96,
	Author = {Tomberlin, James E.},
	Journal = {Philosophical Studies},
	Number = {2},
	Pages = {263--281},
	Title = {Actualism or possibilism?},
	Volume = {84},
	Year = {1996}}

@article{yagi:beyo88,
	Author = {Yagisawa, Takashi},
	Journal = {Philosophical Studies},
	Number = {2},
	Pages = {175--204},
	Title = {Beyond possible worlds},
	Volume = {53},
	Year = {1988}}

@article{dose:medi07,
	Author = {Do{\v s}en, Kosta and Petri{\'c}, Zoran},
	Journal = {Annals of Pure and Applied Logic},
	Number = {2-3},
	Pages = {237--255},
	Title = {Medial commutativity},
	Volume = {146},
	Year = {2007}}

@article{henk:comp50,
	Author = {Henkin, Leon},
	Journal = {The Journal of Symbolic Logic},
	Number = {2},
	Pages = {81-91},
	Title = {Completeness in the Theory of Types},
	Volume = {15},
	Year = {1950}}

@article{chur:afor40,
	Author = {Church, Alonzo},
	Journal = {The Journal of Symbolic Logic},
	Number = {2},
	Pages = {56--68},
	Title = {A Formulation of the Simple Theory of Types},
	Volume = {5},
	Year = 1940}

@incollection{turn:chur06,
	Address = {Berlin},
	Author = {Turner, David},
	Booktitle = {Church's Thesis after 70 years},
	Editor = {Olszewski, A.},
	Pages = {518-544},
	Publisher = {Ontos Verlag},
	Title = {Church's Thesis and Functional Programming},
	Year = {2006}}

@techreport{miln:mode73,
	Author = {Milner, Robin},
	Institution = {Stanford University},
	Number = {{\textsc{stan-cs-73-332}}},
	Title = {Models of {LCF}},
	Type = {Technical Report},
	Year = {1973}}

@article{plot:lcfc77,
	Author = {Plotkin, Gordon D.},
	Journal = {Theoretical Computer Science},
	Pages = {223--255},
	Title = {{LCF} Considered as a Programming Language},
	Volume = 5,
	Year = 1977}

@article{plot:call75,
	Author = {Plotkin, Gordon},
	Journal = {Theoretical Computer Science},
	Pages = {125--159},
	Title = {Call-by-name, Call-by-value, and the $\lambda$-Calculus},
	Volume = {1},
	Year = {1975}}

@inproceedings{reyn:towa74,
	Author = {Reynolds, John C.},
	Booktitle = {Colloque sur la Programmation, Paris, France},
	Pages = {408--425},
	Publisher = {Springer-Verlag},
	Series = {Lecture Notes in Computer Science},
	Title = {Towards a Theory of Type Structure},
	Volume = 19,
	Year = {1974}}

@article{hoar:anax69,
	Author = {Hoare, C. A. R.},
	Journal = {Communications of the ACM},
	Month = {October},
	Number = {10},
	Pages = {576--580 and 583},
	Title = {An Axiomatic Basis for Computer Programming},
	Volume = {12},
	Year = {1969}}

@techreport{miln:logi72,
	Author = {Milner, Robin},
	Institution = {Stanford University},
	Number = {{\textsc{stan-cs-72-288}}},
	Title = {Logic for computable functions: descriptions of a machine implementation},
	Type = {Technical Report},
	Year = {1972}}

@article{habi:asim05,
	Author = {Habib, Michel and Paul, Christophe},
	Journal = {Discrete Applied Mathematics},
	Number = {2},
	Pages = {183--197},
	Title = {A simple linear time algorithm for cograph recognition},
	Volume = {145},
	Year = {2005}}

@article{corn:alin85,
	Author = {Corneil, D. G. and Perl, Y. and Stewart, L. K.},
	Journal = {SIAM Journal on Computing},
	Number = {4},
	Pages = {926-934},
	Title = {A Linear Recognition Algorithm for Cographs},
	Volume = {14},
	Year = {1985}}

@article{corn:comp81,
	Author = {Corneil, D. G. and Lerchs, H. and Burlingham, L. Stewart},
	Journal = {Discrete Applied Mathematics},
	Number = {3},
	Pages = {163--174},
	Title = {Complement reducible graphs},
	Volume = {3},
	Year = {1981}}

@article{reto:hand03,
	Author = {Retor{\'e}, Christian},
	Journal = {Theoretical Computer Science},
	Number = {3},
	Pages = {473--488},
	Title = {Handsome proof-nets: perfect matchings and cographs},
	Volume = {294},
	Year = {2003}}

@article{neer:abar05,
	Author = {Neergaard, Peter M{\o}ller},
	Journal = {Journal of Functional Programming},
	Number = {05},
	Pages = {669-677},
	Title = {A bargain for intersection types: a simple strong normalization proof},
	Volume = {15},
	Year = {2005}}

@article{gogu:sequ00,
	Author = {Goguen, Healfdene and Goubault-Larrecq, Jean},
	Journal = {Mathematical Structures in Computer Science},
	Number = {1},
	Pages = {1--79},
	Title = {Sequent combinators: a {Hilbert} system for the lambda calculus},
	Volume = {10},
	Year = {2000}}

@article{oost:real02,
	Author = {van Oosten, Jaap},
	Journal = {Mathematical Structures in Computer Science},
	Number = {03},
	Pages = {239--263},
	Title = {Realizability: a historical essay},
	Volume = {12},
	Year = {2002}}

@article{matt:nons05,
	Author = {Matthes, Ralph},
	Journal = {Annals of Pure and Applied Logic},
	Number = {1-3},
	Pages = {205--230},
	Title = {Non-strictly positive fixed points for classical natural deduction},
	Volume = {133},
	Year = {2005}}

@article{cubr:norm98,
	Author = {{\v C}ubri{\'c}, Djordje and Dybjer, Peter and Scott, Philip},
	Journal = {Mathematical Structures in Computer Science},
	Number = {02},
	Pages = {153--192},
	Title = {Normalization and the Yoneda embedding},
	Volume = {8},
	Year = {1998}}

@article{berl:grap06,
	Author = {Berline, Chantal},
	Journal = {Mathematical Structures in Computer Science},
	Number = {02},
	Pages = {185--221},
	Title = {Graph models of {$\lambda$}-calculus at work, and variations},
	Volume = {16},
	Year = {2006}}

@article{mell:doub02,
	Author = {Melli{\'e}s, Paul Andr{\'e}},
	Journal = {Mathematical Structures in Computer Science},
	Number = {04},
	Pages = {449--479},
	Title = {Double categories: a modular model of multiplicative linear logic},
	Volume = {12},
	Year = {2002}}

@article{vest:cutr01,
	Author = {Vestergaard, Ren{\'e} and Wells, Joe},
	Journal = {Mathematical Structures in Computer Science},
	Number = {01},
	Pages = {131--168},
	Title = {Cut rules and explicit substitutions},
	Volume = {11},
	Year = {2001}}

@article{hyla:thec07,
	Author = {Hyland, Martin and Power, John},
	Journal = {Electronic Notes in Theoretical Computer Science},
	Pages = {437--458},
	Title = {The Category Theoretic Understanding of Universal Algebra: {Lawvere} Theories and Monads},
	Volume = {172},
	Year = {2007}}

@article{hilk:athe97,
	Author = {Hilken, Barnaby P. and Rydeheard, David E.},
	Journal = {Mathematical Structures in Computer Science},
	Number = {02},
	Pages = {95--127},
	Title = {A theory of classes: proofs and models},
	Volume = {7},
	Year = {1997}}

@article{ando:chur03,
	Author = {Andou, Y.},
	Journal = {Annals of Pure and Applied Logic},
	Number = {1-3},
	Pages = {225--237},
	Title = {Church-Rosser property of a simple reduction for full first-order classical natural deduction},
	Volume = {119},
	Year = {2003}}

@article{barb:astr95,
	Author = {Barbanera, Franco and Berardi, Stefano},
	Journal = {Annals of Pure and Applied Logic},
	Number = {2},
	Pages = {99--116},
	Title = {A strong normalization result for classical logic},
	Volume = {76},
	Year = {1995}}

@article{bail:anor88,
	Author = {Bailin, Sidney C.},
	Journal = {The Journal of Symbolic Logic},
	Number = {3},
	Pages = {673-695},
	Title = {A Normalization Theorem for Set Theory},
	Volume = {53},
	Year = {1988}}

@article{coqu:intu97,
	Author = {Coquand, Thierry and Dybjer, Peter},
	Journal = {Mathematical Structures in Computer Science},
	Pages = {75-94},
	Title = {Intuitionistic model constructions and normalization proofs},
	Volume = {7},
	Year = {1997}}

@incollection{pari:stro00,
	Author = {Parigot, Michel},
	Booktitle = {FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science: 20th Conference, New Delhi, India, December 2000. Proceedings},
	Editor = {Kapoor, Sanjiv and Prasad, Sanjiva},
	Number = {1974},
	Pages = {442-453},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Strong Normalization of Second Order Symmetric {$\lambda$}-Calculus},
	Year = {2000}}

@incollection{lama:nami05,
	Author = {Lamarche, Francois and Stra{\ss}burger, Lutz},
	Booktitle = {Typed Lambda Calculi and Applications},
	Editor = {Urzyczyn, Pawe{\l}},
	Number = {3461},
	Pages = {246--261},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Naming Proofs in Classical Propositional Logic},
	Year = {2005}}

@article{terl:stro95,
	Author = {Terlouw, Jan},
	Journal = {Annals of Pure and Applied Logic},
	Pages = {53-78},
	Title = {Strong normalization in type systems: a model theoretical approach},
	Volume = {73},
	Year = {1995}}

@article{fern:situ06,
	Author = {Fernando, Tim},
	Journal = {Electronic Notes in Theoretical Computer Science},
	Pages = {23--36},
	Title = {Situations as Strings},
	Volume = {165},
	Year = {2006}}

@article{krat:anin89,
	Author = {Kratzer, Angelika},
	Journal = {Linguistics and Philosophy},
	Number = {5},
	Pages = {607--653},
	Title = {An investigation of the lumps of thought},
	Volume = {12},
	Year = {1989}}

@article{lenz:abou07,
	Author = {Lenzi, Giacomo},
	Journal = {Electronic Notes in Theoretical Computer Science},
	Pages = {111-120},
	Title = {About a Positive Set Theory With Equality},
	Volume = {169},
	Year = {2007}}

@article{abra:even07,
	Author = {Abramsky, Samson},
	Journal = {Electronic Notes in Theoretical Computer Science},
	Pages = {33--67},
	Title = {Event Domains, Stable Functions and Proof-Nets},
	Volume = {172},
	Year = {2007}}

@article{hugh:towa06,
	Author = {Hughes, Dominic J. D.},
	Journal = {Electronic Notes in Theoretical Computer Science},
	Pages = {37--63},
	Title = {Towards Hilbert's 24th Problem: Combinatorial Proof Invariants: (Preliminary version)},
	Volume = {165},
	Year = {2006}}

@incollection{urba:stro01a,
	Author = {Urban, Christian},
	Booktitle = {Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001, Proceedings:},
	Editor = {Abramsky, S.},
	Pages = {415-429},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Strong Normalisation for a Gentzen-like Cut-Elimination Procedure},
	Volume = {2044},
	Year = {2001}}

@article{urba:stro01,
	Author = {Urban, C. and Bierman, G. M.},
	Journal = {Fundamenta Informaticae},
	Number = {1},
	Pages = {1-33},
	Title = {Strong Normalisation of Cut-Elimination in Classical Logic},
	Volume = {20},
	Year = {2001}}

@article{berg:cont06,
	Author = {Berger, Ulrich},
	Journal = {Mathematical Structures in Computer Science},
	Pages = {751-762},
	Title = {Continuous semantics for strong normalisation},
	Volume = {16},
	Year = {2006}}

@article{leif:tran06,
	Author = {Leifer, James J. and Milner, Robin},
	Journal = {Mathematical Structures in Computer Science},
	Number = {06},
	Pages = {989--1047},
	Title = {Transition systems, link graphs and Petri nets},
	Volume = {16},
	Year = {2006}}

@article{blut:diff06,
	Author = {Blute, R. F. and Cockett, J. R. B. and Seely, R. A. G.},
	Journal = {Mathematical Structures in Computer Science},
	Number = {06},
	Pages = {1049--1083},
	Title = {Differential categories},
	Volume = {16},
	Year = {2006}}

@article{mazz:line06,
	Author = {Mazza, Damiano},
	Journal = {Mathematical Structures in Computer Science},
	Number = {06},
	Pages = {947--988},
	Title = {Linear logic and polynomial time},
	Volume = {16},
	Year = {2006}}

@article{adam:iter06,
	Author = {Ad{\'a}mek, Jir{\'\i} and Milius, Stefan and Velebil, Jir{\'\i}},
	Journal = {Mathematical Structures in Computer Science},
	Number = {06},
	Pages = {1085--1131},
	Title = {Iterative algebras at work},
	Volume = {16},
	Year = {2006}}

@article{wojt:some01,
	Author = {W{\'o}jtowicz, Krzysztof},
	Journal = {Logic and Logical Philosophy},
	Pages = {199--212},
	Title = {Some remarks on {Hartry Field}'s notion of ``logical consistency''},
	Volume = {9},
	Year = {2001}}

@article{scha:wast98,
	Author = {Schantz, Richard},
	Journal = {Logic and Logical Philosophy},
	Pages = {157--172},
	Title = {Was {Tarski} a deflationist?},
	Volume = {6},
	Year = {1998}}

@article{stek:what95,
	Author = {Stekeler-Weithofer, Pirmin},
	Journal = {Logic and Logical Philosophy},
	Pages = {151--173},
	Title = {What is a meaningful name? {Frege's} idea of a radical semanto-ontological analysis},
	Volume = {3},
	Year = {1995}}

@article{plac:onbr97,
	Author = {Placek, Tomasz},
	Journal = {Logic and Logical Philosophy},
	Pages = {19--33},
	Title = {On {Brouwer's} criticism of classical logic and mathematics},
	Volume = {5},
	Year = {1997}}

@article{morm:topo97,
	Author = {Mormann, Thomas},
	Journal = {Logic and Logical Philosophy},
	Pages = {75--92},
	Title = {Topological aspects of combinatorial possibility},
	Volume = {5},
	Year = {1997}}

@article{morm:trop95,
	Author = {Mormann, Thomas},
	Journal = {Logic and Logical Philosophy},
	Pages = {129--150},
	Title = {Trope sheaves: a topological ontology of tropes},
	Volume = {3},
	Year = {1995}}

@article{nasi:isst98,
	Author = {Nasieniewski, Marek},
	Journal = {Logic and Logical Philosophy},
	Pages = {55--61},
	Title = {Is Stoic logic classical?},
	Volume = {6},
	Year = {1998}}

@article{sege:afes94,
	Author = {Segerberg, Krister},
	Journal = {Logic and Logical Philosophy},
	Pages = {7--22},
	Title = {A festival of facts},
	Volume = {2},
	Year = {1994}}

@article{hodg:comp98,
	Author = {Hodges, Wilfrid},
	Journal = {Logic and Logical Philosophy},
	Pages = {7--33},
	Title = {Compositionality is not the problem},
	Volume = {6},
	Year = {1998}}

@article{pata:inco98,
	Author = {Pataut, Fabrice},
	Journal = {Logic and Logical Philosophy},
	Pages = {63--76},
	Title = {Incompleteness, constructivism and truth},
	Volume = {6},
	Year = {1998}}

@article{lind:horw01,
	Author = {Lindstr{\"o}m, Sten},
	Journal = {Logic and Logical Philosophy},
	Pages = {161--181},
	Title = {Horwich's minimalist conception of truth: some logical difficulties},
	Volume = {9},
	Year = {2001}}

@article{bezi:logi97,
	Author = {B{\'e}ziau, Jean-Yves},
	Journal = {Logic and Logical Philosophy},
	Pages = {129-147},
	Title = {Logic may be simple: logic, congruence and algebra},
	Volume = {5},
	Year = {1997}}

@article{kohl:info07,
	Author = {Kohlas, J{\"u}rg and St{\"a}rk, Robert F.},
	Journal = {Logica Universalis},
	Number = {1},
	Pages = {139--165},
	Title = {Information Algebras and Consequence Operators},
	Volume = {1},
	Year = {2007}}

@article{bate:auni07,
	Author = {Batens, Diderik},
	Journal = {Logica Universalis},
	Number = {1},
	Pages = {221--242},
	Title = {A Universal Logic Approach to Adaptive Logics},
	Volume = {1},
	Year = {2007}}

@article{surm:agal07,
	Author = {Surma, Stan J.},
	Journal = {Logica Universalis},
	Number = {1},
	Pages = {209--219},
	Title = {A Galois Connection},
	Volume = {1},
	Year = {2007}}

@article{avro:cutf07,
	Author = {Avron, Arnon and Ben-Naim, Jonathan and Konikowska, Beata},
	Journal = {Logica Universalis},
	Number = {1},
	Pages = {41--70},
	Title = {Cut-Free Ordinary Sequent Calculi for Logics Having Generalized Finite-Valued Semantics},
	Volume = {1},
	Year = {2007}}

@article{arnd:aglo07,
	Author = {Arndt, Peter and de Alvarenga Freire, Rodrigo and Luciano, Odilon Otavio and Mariano, Hugo Luiz},
	Journal = {Logica Universalis},
	Number = {1},
	Pages = {3--39},
	Title = {A Global Glance on Categories in Logic},
	Volume = {1},
	Year = {2007}}

@article{bent:anew07,
	Author = {van Benthem, Johan},
	Journal = {Logica Universalis},
	Number = {1},
	Pages = {125--138},
	Title = {A New Modal Lindstr{\"o}m Theorem},
	Volume = {1},
	Year = {2007}}

@article{kosl:stru07,
	Author = {Koslow, Arnold},
	Journal = {Logica Universalis},
	Number = {1},
	Pages = {167--181},
	Title = {Structuralist Logic: Implications, Inferences, and Consequences},
	Volume = {1},
	Year = {2007}}

@article{wadl:theg07,
	Author = {Wadler, Philip},
	Journal = {Theoretical Computer Science},
	Pages = {201--226},
	Title = {The {Girard-Reynolds} isomorphism (second edition)},
	Volume = {375},
	Year = {2007}}

@article{pase:revi07,
	Author = {Paseau, Alexander},
	Journal = {Mind},
	Month = {April},
	Number = {462},
	Pages = {391--396},
	Title = {Review: {\emph{Logical Pluralism}}},
	Volume = {116},
	Year = {2007}}

@article{phil:carr07,
	Author = {Philie, Patrice},
	Journal = {Philosophical Studies},
	Title = {Carroll's Regress and the Epistemology of Logic},
	Year = {to appear}}

@article{sege:vali90,
	Author = {Segerberg, Krister},
	Journal = {Notre Dame Journal of Formal Logic},
	Number = {2},
	Pages = {203-221},
	Title = {Validity and satisfaction in imperative logic},
	Volume = {31},
	Year = {1990}}

@article{pott:inte85,
	Author = {Pottinger, Garrel},
	Journal = {Notre Dame Journal of Formal Logic},
	Number = {4},
	Pages = {309-340},
	Title = {Intension, designation, and extension},
	Volume = {26},
	Year = {1985}}

@article{avro:gent89,
	Author = {Avron, Arnon},
	Journal = {Notre Dame Journal of Formal Logic},
	Number = {1},
	Pages = {127-135},
	Title = {Gentzenizing {Schroeder-Heister}'s natural extension of natural deduction},
	Volume = {31},
	Year = {1989}}

@article{mcmi:anal80,
	Author = {McMichael, Alan and Zalta, Ed},
	Journal = {Journal of Philosophical Logic},
	Number = {3},
	Pages = {297--313},
	Title = {An alternative theory of nonexistent objects},
	Volume = {9},
	Year = {1980}}

@article{fite:step07,
	Author = {Fitelson, Branden and Zalta, Edward N.},
	Journal = {Journal of Philosophical Logic},
	Number = {2},
	Pages = {227--247},
	Title = {Steps Toward a Computational Metaphysics},
	Volume = {36},
	Year = {2007}}

@article{zalt:natu99,
	Author = {Zalta, Edward N.},
	Journal = {Journal of Philosophical Logic},
	Number = {6},
	Pages = {617--658},
	Title = {Natural Numbers and Natural Cardinals as Abstract Objects: A Partial Reconstruction of {Frege's} {\emph{Grundgesetze}} in Object Theory},
	Volume = {28},
	Year = {1999}}

@article{ande:freg04,
	Author = {Anderson, David J. and Zalta, Edward N.},
	Journal = {Journal of Philosophical Logic},
	Number = {1},
	Pages = {1--26},
	Title = {{Frege}, {Boolos}, and Logical Objects},
	Volume = {33},
	Year = {2004}}

@article{oshe:onth95,
	Author = {Osherson, Daniel and Weinstein, Scott},
	Journal = {Journal of Philosophical Logic},
	Number = {1},
	Pages = {85--115},
	Title = {On the danger of half-truths},
	Volume = {24},
	Year = {1995}}

@article{oshe:para89,
	Author = {Osherson, Daniel N. and Weinstein, Scott},
	Journal = {Journal of Philosophical Logic},
	Number = {1},
	Pages = {1--42},
	Title = {Paradigms of truth detection},
	Volume = {18},
	Year = {1989}}

@article{oshe:rele93,
	Author = {Osherson, Daniel N. and Weinstein, Scott},
	Journal = {Journal of Philosophical Logic},
	Number = {4},
	Pages = {437--448},
	Title = {Relevant consequence and empirical inquiry},
	Volume = {22},
	Year = {1993}}

@article{oshe:iden86,
	Author = {Osherson, Daniel and Weinstein, Scott},
	Journal = {Journal of Philosophical Logic},
	Number = {1},
	Pages = {55--81},
	Title = {Identification in the limit of first order structures},
	Volume = {15},
	Year = {1986}}

@article{ray:onth05,
	Author = {Ray, Greg},
	Journal = {Journal of Philosophical Logic},
	Number = {4},
	Pages = {433--457},
	Title = {On the Matter of Essential Richness},
	Volume = {34},
	Year = {2005}}

@article{ray:onto96,
	Author = {Ray, Greg},
	Journal = {Journal of Philosophical Logic},
	Number = {4},
	Pages = {333--361},
	Title = {Ontology-free modal semantics},
	Volume = {25},
	Year = {1996}}

@article{demo:freg94,
	Author = {Demopoulos, William},
	Journal = {Journal of Philosophical Logic},
	Number = {3},
	Pages = {225--245},
	Title = {Frege and the rigorization of analysis},
	Volume = {23},
	Year = {1994}}

@article{pars:thel74,
	Author = {Parsons, Charles},
	Journal = {Journal of Philosophical Logic},
	Number = {4},
	Pages = {381--412},
	Title = {The liar paradox},
	Volume = {3},
	Year = {1974}}

@article{negr:vari02,
	Author = {Negri, Sara},
	Journal = {Journal of Philosophical Logic},
	Number = {6},
	Pages = {569--590},
	Title = {Varieties of Linear Calculi},
	Volume = {31},
	Year = {2002}}

@article{miln:alge04,
	Author = {Milne, Peter},
	Journal = {Journal of Philosophical Logic},
	Number = {5},
	Pages = {497--548},
	Title = {Algebras of Intervals and a Logic of Conditional Assertions},
	Volume = {33},
	Year = {2004}}

@article{mcla:anti93,
	Author = {McLarty, Colin},
	Journal = {Journal of Philosophical Logic},
	Number = {1},
	Pages = {19--28},
	Title = {Anti-foundation and self-reference},
	Volume = {22},
	Year = {1993}}

@article{mcca:skol87,
	Author = {McCarty, Charles and Tennant, Neil},
	Journal = {Journal of Philosophical Logic},
	Number = {2},
	Pages = {165--202},
	Title = {Skolem's paradox and constructivism},
	Volume = {16},
	Year = {1987}}

@article{mcca:unde96,
	Author = {McCarty, D. C.},
	Journal = {Journal of Philosophical Logic},
	Number = {5},
	Pages = {559--565},
	Title = {Undecidability and intuitionistic incompleteness},
	Volume = {25},
	Year = {1996}}

@article{mcca:repr84,
	Author = {Mccarthy, Timothy},
	Journal = {Synthese},
	Number = {3},
	Pages = {369--411},
	Title = {Representation, intentionality, and quantifiers},
	Volume = {60},
	Year = {1984}}

@article{mcca:moda87,
	Author = {McCarthy, Timothy},
	Journal = {Journal of Philosophical Logic},
	Number = {4},
	Pages = {423--443},
	Title = {Modality, invariance, and logical truth},
	Volume = {16},
	Year = {1987}}

@article{gott:subs79,
	Author = {Gottlieb, Dale and McCarthy, Timothy},
	Journal = {Journal of Philosophical Logic},
	Number = {1},
	Pages = {315--331},
	Title = {Substitutional quantification and set theory},
	Volume = {8},
	Year = {1979}}

@article{fine:trut84,
	Author = {Fine, Kit and McCarthy, Timothy},
	Journal = {Journal of Philosophical Logic},
	Number = {4},
	Pages = {397--421},
	Title = {Truth without satisfaction},
	Volume = {13},
	Year = {1984}}

@article{lanc:thel01,
	Author = {Lance, Mark},
	Journal = {Journal of Philosophical Logic},
	Number = {5},
	Pages = {439--464},
	Title = {The Logical Structure of Linguistic Commitment {III}: {Brandomian} Scorekeeping and Incompatibility},
	Volume = {30},
	Year = {2001}}

@article{lanc:thel94,
	Author = {Lance, Mark Norris and Kremer, Philip},
	Journal = {Journal of Philosophical Logic},
	Number = {4},
	Pages = {369--400},
	Title = {The logical structure of linguistic commitment I: Four systems of non-relevant commitment entailment},
	Volume = {23},
	Year = {1994}}

@article{helm:anin83,
	Author = {Helman, Glen},
	Journal = {Journal of Philosophical Logic},
	Number = {1},
	Pages = {39--71},
	Title = {An interpretation of classical proofs},
	Volume = {12},
	Year = {1983}}

@article{fraa:fine95,
	Author = {van Fraassen, Bas C.},
	Journal = {Journal of Philosophical Logic},
	Number = {4},
	Pages = {349--377},
	Title = {Fine-grained opinion, probability, and the logic of full belief},
	Volume = {24},
	Year = {1995}}

@article{geme:anew97,
	Author = {Gemes, Ken},
	Journal = {Journal of Philosophical Logic},
	Number = {4},
	Pages = {449--476},
	Title = {A New Theory of Content II: Model Theory and Some Alternatives},
	Volume = {26},
	Year = {1997}}

@article{fine:prop77,
	Author = {Fine, Kit},
	Journal = {Journal of Philosophical Logic},
	Number = {1},
	Pages = {135--191},
	Title = {Properties, propositions and sets},
	Volume = {6},
	Year = {1977}}

@article{fine:natu85,
	Author = {Fine, Kit},
	Journal = {Journal of Philosophical Logic},
	Number = {1},
	Pages = {57--107},
	Title = {Natural deduction and arbitrary objects},
	Volume = {14},
	Year = {1985}}

@article{dres:over04,
	Author = {Dresner, Eli},
	Journal = {Journal of Philosophical Logic},
	Number = {5},
	Pages = {467--480},
	Title = {Over-Assignment of Structure},
	Volume = {33},
	Year = {2004}}

@article{bool:prov80,
	Author = {Boolos, George},
	Journal = {Journal of Philosophical Logic},
	Number = {1},
	Pages = {1--7},
	Title = {Provability, truth, and modal logic},
	Volume = {9},
	Year = {1980}}

@article{bimb:sema04,
	Author = {Bimb{\'o}, Katalin},
	Journal = {Journal of Philosophical Logic},
	Number = {2},
	Pages = {125--153},
	Title = {Semantics for Dual and Symmetric Combinatory Calculi},
	Volume = {33},
	Year = {2004}}

@techreport{cacc:afor03,
	Address = {Department of Computer Science, University of Aarhus},
	Author = {C{\'a}ccamo, Mario Jos{\'e}},
	Institution = {BRICS},
	Number = {DS-03-7},
	Title = {A Formal Calculus for Categories},
	Type = {Dissertation Series},
	Year = {2003}}

@incollection{tapp:ther06,
	Author = {Tappenden, Jamie},
	Booktitle = {The Architecture of Modern Mathematics},
	Editor = {Ferreiros, J. and Gray, J. J.},
	Pages = {107-150},
	Publisher = {Oxford University Press},
	Title = {The Riemannian Background to Frege's Philosophy},
	Year = {2006}}

@article{dumm:more88,
	Author = {Dummett, Michael},
	Journal = {Notre Dame Journal of Formal Logic},
	Number = {1},
	Pages = {19},
	Title = {More about thoughts},
	Volume = {30},
	Year = {1988}}

@article{jack:whyw04,
	Author = {Jackson, Frank},
	Journal = {Philosophical Studies},
	Number = {1},
	Pages = {257--277},
	Title = {Why We Need A-Intensions},
	Volume = {118},
	Year = {2004}}

@article{shel:logi03,
	Author = {Shelah, Saharon},
	Journal = {Bulletin of the American Mathematical Society},
	Number = {2},
	Pages = {203--228},
	Title = {Logical Dreams},
	Volume = {40},
	Year = {2003}}

@article{pipp:phil06,
	Author = {Pippin, Robert B.},
	Journal = {Topoi},
	Number = {1},
	Pages = {85--90},
	Title = {`Philosophy is its own time comprehended in thought'},
	Volume = {25},
	Year = {2006}}

@article{nanc:with06,
	Author = {Nancy, Jean-Luc},
	Journal = {Topoi},
	Number = {1},
	Pages = {69--73},
	Title = {Within my breast, alas, two souls {\ldots}},
	Volume = {25},
	Year = {2006}}

@article{fraa:oneh06,
	Author = {van Fraassen, Bas C.},
	Journal = {Topoi},
	Number = {1},
	Pages = {123--127},
	Title = {One hundred and fifty years of philosophy},
	Volume = {25},
	Year = {2006}}

@article{wood:phil06,
	Author = {Wood, Allen},
	Journal = {Topoi},
	Number = {1},
	Pages = {133--136},
	Title = {Philosophy---what is to be done?},
	Volume = {25},
	Year = {2006}}

@article{mull:what06,
	Author = {Mulligan, Kevin and Simons, Peter and Smith, Barry},
	Journal = {Topoi},
	Number = {1},
	Pages = {63--67},
	Title = {What's wrong with contemporary philosophy?},
	Volume = {25},
	Year = {2006}}

@article{misc:phil06,
	Author = {Mi{\v s}{\v c}evi{\'c}, Nenad},
	Journal = {Topoi},
	Number = {1},
	Pages = {57--61},
	Title = {Philosophy between science and the humanities},
	Volume = {25},
	Year = {2006}}

@article{perr:what06,
	Author = {Perry, John},
	Journal = {Topoi},
	Number = {1},
	Pages = {83--84},
	Title = {What's to be done?},
	Volume = {25},
	Year = {2006}}

@article{sear:what06,
	Author = {Searle, John R.},
	Journal = {Topoi},
	Number = {1},
	Pages = {101--108},
	Title = {What is to be done?},
	Volume = {25},
	Year = {2006}}

@article{rose:phil06,
	Author = {Rosenberg, Jay},
	Journal = {Topoi},
	Number = {1},
	Pages = {97--99},
	Title = {Philosophy: What is to be done?---Bleak prospects},
	Volume = {25},
	Year = {2006}}

@article{prie:ahun06,
	Author = {Priest, Graham},
	Journal = {Topoi},
	Number = {1},
	Pages = {91--95},
	Title = {A hundred flowers},
	Volume = {25},
	Year = {2006}}

@article{varz:what06,
	Author = {Varzi, Achille C.},
	Journal = {Topoi},
	Number = {1},
	Pages = {129--131},
	Title = {What is to be done?},
	Volume = {25},
	Year = {2006}}

@article{zize:phil06,
	Author = {{\v Z}i{\v z}ek, Slavoj},
	Journal = {Topoi},
	Number = {1},
	Pages = {137--142},
	Title = {Philosophy, the ``unknown knowns,'' and the public use of reason},
	Volume = {25},
	Year = {2006}}

@article{bent:wher06,
	Author = {van Benthem, Johan},
	Journal = {Topoi},
	Number = {1},
	Pages = {117--122},
	Title = {Where is logic going, and should it?},
	Volume = {25},
	Year = {2006}}

@article{thie:amet06,
	Author = {Thiebaut, Carlos},
	Journal = {Topoi},
	Number = {1},
	Pages = {109--115},
	Title = {A metaphilosophical dialogue},
	Volume = {25},
	Year = {2006}}

@article{brun:rati06,
	Author = {Bruner, M. Lane},
	Journal = {Argumentation},
	Number = {2},
	Pages = {185--208},
	Title = {Rationality, Reason and the History of Thought},
	Volume = {20},
	Year = {2006}}

@article{iran:thel06,
	Author = {Irandoust, Hengameh},
	Journal = {Argumentation},
	Number = {2},
	Pages = {133--148},
	Title = {The Logic of Critique},
	Volume = {20},
	Year = {2006}}

@article{mano:alno06,
	Author = {Manolescu, Beth Innocenti},
	Journal = {Argumentation},
	Number = {3},
	Pages = {327--343},
	Title = {A Normative Pragmatic Perspective on Appealing to Emotions in Argumentation},
	Volume = {20},
	Year = {2006}}

@article{rich:your06,
	Author = {Richardson, John E. and Atkin, Albert},
	Journal = {Argumentation},
	Number = {2},
	Pages = {149--166},
	Title = {`You're Being Unreasonable': Prior and Passing Theories of Critical Discussion},
	Volume = {20},
	Year = {2006}}

@article{schl:anti07,
	Author = {Schlenker, Philippe},
	Journal = {Journal of Logic, Language and Information},
	Number = {3},
	Pages = {325--356},
	Title = {Anti-dynamics: presupposition projection without dynamic semantics},
	Volume = {16},
	Year = {2007}}

@article{lamb:from07,
	Author = {Lambek, J.},
	Journal = {Journal of Logic, Language and Information},
	Number = {3},
	Pages = {303--323},
	Title = {From word to sentence: a pregroup analysis of the object pronoun {\emph{who}(\emph{m})}},
	Volume = {16},
	Year = {2007}}

@article{krys:thel07,
	Author = {Krysztofiak, Wojciech},
	Journal = {Axiomathes},
	Number = {1},
	Pages = {75--97},
	Title = {The phenonenological idealism controversy in light of possible worlds semantics},
	Volume = {17},
	Year = {2007}}

@article{elle:adjo07,
	Author = {Ellerman, David},
	Journal = {Axiomathes},
	Number = {1},
	Pages = {19--39},
	Title = {Adjoints and emergence: applications of a new theory of adjoint functors},
	Volume = {17},
	Year = {2007}}

@article{simo:reas02,
	Author = {Simons, Peter},
	Journal = {Erkenntnis},
	Number = {1},
	Pages = {99--122},
	Title = {Reasoning on a Tight Budget: {Lesniewski}'s Nominalistic Metalogic},
	Volume = {56},
	Year = {2002}}

@article{warr:coal07,
	Author = {Warren, Michael A.},
	Journal = {Annals of Pure and Applied Logic},
	Number = {1},
	Pages = {60-71},
	Title = {Coalgebras in a category of classes},
	Volume = {146},
	Year = {2007}}

@article{bell:form07,
	Author = {Bellotti, Luca},
	Journal = {Synthese},
	Number = {2},
	Pages = {199--229},
	Title = {Formalization, Syntax and the Standard Model of Arithmetic},
	Volume = {154},
	Year = {2007}}

@article{dori:info07,
	Author = {Doria, Francisco Antonio},
	Journal = {Synthese},
	Number = {3},
	Pages = {401--415},
	Title = {Informal versus formal mathematics},
	Volume = {154},
	Year = {2007}}

@article{buch:alog07,
	Author = {Buchsbaum, Arthur and Pequeno, Tarcisio and Pequeno, Marcelino},
	Journal = {Synthese},
	Number = {3},
	Pages = {431--466},
	Title = {A logical expression of reasoning},
	Volume = {154},
	Year = {2007}}

@article{bacz:sent07,
	Author = {B{\'e}ziau, Jean-Yves},
	Journal = {Synthese},
	Number = {3},
	Pages = {371--382},
	Title = {Sentence, proposition and identity},
	Volume = {154},
	Year = {2007}}

@article{patt:what03,
	Author = {Patterson, D.},
	Journal = {Synthese},
	Number = {3},
	Pages = {421--444},
	Title = {What is a Correspondence Theory of Truth?},
	Volume = {137},
	Year = {2003}}

@article{patt:tars06,
	Author = {Patterson, Douglas Eden},
	Journal = {Synthese},
	Number = {1},
	Pages = {1--32},
	Title = {Tarski on the Necessity Reading of Convention T},
	Volume = {151},
	Year = {2006}}

@incollection{azzo:isth05,
	Author = {Azzouni, Jody},
	Booktitle = {Essays on the Foundations of Mathematics and Logic},
	Editor = {Sica, G.},
	Pages = {9-47},
	Publisher = {Polimetrica},
	Title = {Is there still a sense in which mathematics can have foundations?},
	Year = {2005}}

@article{amir:mora05,
	Author = {Amir, Lydia B.},
	Journal = {Philosophical Practice},
	Number = {1},
	Pages = {43--57},
	Title = {Morality, psychology, philosophy},
	Volume = {1},
	Year = {2005}}

@article{care:phil06,
	Author = {Carey, Seamus},
	Journal = {Philosophical Practice},
	Number = {2},
	Pages = {87--98},
	Title = {Philosophical faith and its role in the activities of parenting},
	Volume = {2},
	Year = {2006}}

@article{elle:witt06,
	Author = {Ellenbogen, Sara},
	Journal = {Philosophical Practice},
	Number = {2},
	Pages = {79--85},
	Title = {Wittgenstein and philosophical counseling},
	Volume = {2},
	Year = {2006}}

@article{eklo:high05,
	Author = {Eklof, Todd F.},
	Journal = {Philosophical Practice},
	Number = {3},
	Pages = {129--133},
	Title = {Higher mind: The method of critical thinking},
	Volume = {1},
	Year = {2005}}

@article{goul:beco05,
	Author = {Gould, James},
	Journal = {Philosophical Practice},
	Number = {3},
	Pages = {135--147},
	Title = {Becoming good: The role of spiritual practice},
	Volume = {1},
	Year = {2005}}

@article{roy:toim05,
	Author = {Roy, Bernard},
	Journal = {Philosophical Practice},
	Number = {3},
	Pages = {159--170},
	Title = {To imagine, to recollect, per chance to discover: The modern Socratic dialogue and the history of philosophy},
	Volume = {1},
	Year = {2005}}

@article{atte:phil05,
	Author = {Atterton, Peter},
	Journal = {Philosophical Practice},
	Number = {2},
	Pages = {89--93},
	Title = {Philosophy as a practice for life},
	Volume = {1},
	Year = {2005}}

@article{mari:onep05,
	Author = {Marinoff, Lou},
	Journal = {Philosophical Practice},
	Number = {1},
	Pages = {1--10},
	Title = {One Philosopher is Worth a Hundred {\ldots} ``C-words''},
	Volume = {1},
	Year = {2005}}

@article{gros:will05,
	Author = {Grosso, Michael},
	Journal = {Philosophical Practice},
	Number = {1},
	Pages = {23--32},
	Title = {Will training and philosophical practice},
	Volume = {1},
	Year = {2005}}

@article{hole:phil05,
	Author = {Hole, George T.},
	Journal = {Philosophical Practice},
	Number = {1},
	Pages = {33--41},
	Title = {Philosophical counseling and technical language},
	Volume = {1},
	Year = {2005}}

@article{roy:lett06,
	Author = {Roy, Bernard},
	Journal = {Philosophical Practice},
	Number = {2},
	Pages = {75--78},
	Title = {Letter from a restaurateur to a philosopher, and the philosopher's short response},
	Volume = {2},
	Year = {2006}}

@article{whit:then07,
	Author = {Whiting, Daniel},
	Journal = {Analysis},
	Number = {294},
	Pages = {133--140},
	Title = {The normativity of meaning defended},
	Volume = {67},
	Year = {2007}}

@article{capp:loca07,
	Author = {Cappelen, Herman and Hawthorne, John},
	Journal = {Analysis},
	Number = {294},
	Pages = {95--105},
	Title = {Locations and binding},
	Volume = {67},
	Year = {2007}}

@article{leit:dyna07,
	Author = {Leitgeb, Hannes and Segerberg, Krister},
	Journal = {Synthese},
	Number = {2},
	Pages = {167--190},
	Title = {Dynamic doxastic logic: why, how, and where to?},
	Volume = {155},
	Year = {2007}}

@article{ditm:mybe07,
	Author = {Ditmarsch, Hans van and Labuschagne, Willem},
	Journal = {Synthese},
	Number = {2},
	Pages = {191--209},
	Title = {My beliefs about your beliefs: a case study in theory of mind and epistemic logic},
	Volume = {155},
	Year = {2007}}

@article{shre:auto07,
	Author = {Shreiner, P. A.},
	Journal = {Algebra and Logic},
	Number = {1},
	Pages = {62--70},
	Title = {Automatic recognition of interpolation in modal calculi},
	Volume = {46},
	Year = {2007}}

@article{berm:indi07,
	Author = {Berm{\'u}dez, Jos{\'e} Luis},
	Journal = {Analysis},
	Number = {294},
	Pages = {112--116},
	Title = {Indistinguishable elements and mathematical structuralism},
	Volume = {67},
	Year = {2007}}

@article{noon:iden07,
	Author = {Noonan, Harold W.},
	Journal = {Analysis},
	Number = {294},
	Pages = {122--127},
	Title = {Identity eliminated},
	Volume = {67},
	Year = {2007}}

@article{krem:read07,
	Author = {Kremer, Michael},
	Journal = {Analysis},
	Number = {294},
	Pages = {157--159},
	Title = {Read on identity and harmony a friendly correction and simplification},
	Volume = {67},
	Year = {2007}}

@article{nels:ways07,
	Author = {Nelson, Michael},
	Journal = {Philosophical Studies},
	Number = {3},
	Pages = {455--471},
	Title = {Ways an actualist might be},
	Volume = {133},
	Year = {2007}}

@article{yabl:iden87,
	Author = {Yablo, Stephen},
	Journal = {The Journal of Philosophy},
	Number = {6},
	Pages = {293-314},
	Title = {Identity, Essence, and Indiscernibility},
	Volume = {84},
	Year = {1987}}

@article{gibb:cont75,
	Author = {Gibbard, Allan},
	Journal = {Journal of Philosophical Logic},
	Number = {2},
	Pages = {187--221},
	Title = {Contingent identity},
	Volume = {4},
	Year = {1975}}

@article{sing:mora72,
	Author = {Singer, Peter},
	Journal = {Analysis},
	Number = {4},
	Pages = {115-117},
	Title = {Moral Experts},
	Volume = {32},
	Year = {1972}}

@article{hint:arem68,
	Author = {Hintikka, Jaakko},
	Journal = {The Journal of Philosophy},
	Number = {20},
	Pages = {640-651},
	Title = {Are Mathematical Truths Synthetic a Priori?},
	Volume = {65},
	Year = {1968}}

@article{bran:trut76,
	Author = {Brandom, Robert},
	Journal = {The Journal of Philosophy},
	Number = {6},
	Pages = {137-149},
	Title = {Truth and Assertibility},
	Volume = {73},
	Year = {1976}}

@article{hale:revi07,
	Author = {Hale, John},
	Journal = {Journal of Logic, Language and Information},
	Number = {2},
	Pages = {217--220},
	Title = {Review of {\emph{On the Logic and Learning of Language}}},
	Volume = {16},
	Year = {2007}}

@book{fulo:onth06,
	Author = {Fulop, Sean A.},
	Publisher = {Trafford},
	Title = {On the Logic and Learning of Language},
	Year = {2006}}

@article{lamm:book07,
	Author = {L{\"a}mmel, Ralf},
	Journal = {Journal of Logic, Language and Information},
	Number = {2},
	Pages = {221--232},
	Title = {Review of {\emph{The Haskell Road to Logic, Maths and Programming}}},
	Volume = {16},
	Year = {2007}}

@article{west:thei07,
	Author = {Westphal, Merold},
	Journal = {Modern Theology},
	Number = {2},
	Pages = {253--278},
	Title = {The importance of overcoming metaphysics for the life of faith},
	Volume = {23},
	Year = {2007}}

@article{nunb:doyo02,
	Author = {Nunberg, Geoffrey},
	Journal = {Linguistics and Philosophy},
	Number = {5},
	Pages = {671--680},
	Title = {Do You Know What It Means To Miss New Orleans?},
	Volume = {25},
	Year = {2002}}

@article{nunb:inde93,
	Author = {Nunberg, Geoffrey},
	Journal = {Linguistics and Philosophy},
	Number = {1},
	Pages = {1--43},
	Title = {Indexicality and deixis},
	Volume = {16},
	Year = {1993}}

@article{rieb:coul98,
	Author = {Rieber, Steven},
	Journal = {Philosophia},
	Number = {1},
	Pages = {65--77},
	Title = {Could demonstratives be descriptions?},
	Volume = {26},
	Year = {1998}}

@article{nunb:then79,
	Author = {Nunberg, Geoffrey},
	Journal = {Linguistics and Philosophy},
	Number = {2},
	Pages = {143--184},
	Title = {The non-uniqueness of semantic solutions: Polysemy},
	Volume = {3},
	Year = {1979}}

@article{king:sing06,
	Author = {King, Jeffrey C.},
	Journal = {Philosophical Issues},
	Number = {1},
	Pages = {141-161},
	Title = {Singular terms, reference and methodology in semantics},
	Volume = {16},
	Year = {2006}}

@article{capp:quot06,
	Author = {Cappelen, Herman and Lepore, Ernie},
	Journal = {Philosophical Issues},
	Number = {1},
	Pages = {43-64},
	Title = {Quotation, context sensitivity, signs and expressions},
	Volume = {16},
	Year = {2006}}

@article{garc:thed04,
	Author = {Garc{\'\i}a-Carpintero, Manuel},
	Journal = {No{\^u}s},
	Number = {4},
	Pages = {674--692},
	Title = {The Deferred Ostension Theory of Quotation},
	Volume = {38},
	Year = {2004}}

@article{garc:biva06,
	Author = {Garc{\'\i}a-Carpintero, Manuel},
	Journal = {dialectica},
	Title = {Bivalence and What Is Said},
	Year = {2006}}

@article{lope:isev06,
	Author = {L{\'o}pez de Sa, Dan},
	Journal = {dialectica},
	Number = {4},
	Pages = {397--409},
	Title = {Is `Everything' Precise?},
	Volume = {60},
	Year = {2006}}

@incollection{maki:comp07,
	Author = {Makinson, David},
	Booktitle = {Hommage {\`a} Wlodek. Philosophical Papers Dedicated to Wlodek Rabinowicz},
	Editor = {R{\o}nnow-Rasmussen, T. and Petersson, B. and Josefsson, J. and Egonsson, D.},
	Publisher = {\url{http://www.fil.lu.se/hommageawlodek}},
	Title = {Completeness Theorems, Representation Theorems: What's the Difference?},
	Year = {2007}}

@incollection{gull:sema07,
	Author = {Gullberg, Ebba and Lindstr{\"o}m, Sten},
	Booktitle = {Hommage {\`a} Wlodek. Philosophical Papers Dedicated to Wlodek Rabinowicz},
	Editor = {R{\o}nnow-Rasmussen, T. and Petersson, B. and Josefsson, J. and Egonsson, D.},
	Publisher = {\url{http://www.fil.lu.se/hommageawlodek}},
	Title = {Semantics and the Justification of Deductive Inference},
	Year = {2007}}

@article{prie:inte91,
	Author = {Priest, Graham},
	Journal = {Notre Dame Journal of Formal Logic},
	Number = {2},
	Pages = {193--211},
	Title = {Intensional paradoxes},
	Volume = {32},
	Year = {1991}}

@article{krem:theg93,
	Author = {Kremer, Philip},
	Journal = {Notre Dame Journal of Formal Logic},
	Number = {4},
	Pages = {583--596},
	Title = {The {Gupta-Belnap} systems {S$^\#$} and {S$^*$} are not axiomatisable},
	Volume = {34},
	Year = {1993}}

@article{cela:aclo01,
	Author = {Celani, Sergio and Jansana, Ramon},
	Journal = {Notre Dame Journal of Formal Logic},
	Number = {4},
	Pages = {225--255},
	Title = {A Closer Look at Some Subintuitionistic Logics},
	Volume = {42},
	Year = {2001}}

@article{meye:astr92,
	Author = {Meyer, Robert K. and Slaney, John K.},
	Journal = {Notre Dame Journal of Formal Logic},
	Number = {4},
	Pages = {561--566},
	Title = {A structurally complete fragment of relevant logic},
	Volume = {33},
	Year = {1992}}

@article{klim:cons04,
	Author = {Klima, Gyula},
	Journal = {History and Philosophy of Logic},
	Number = {2},
	Pages = {95--110},
	Title = {Consequences of a closed, token-based semantics: the case of {John Buridan}},
	Volume = {25},
	Year = {2004}}

@article{duti:buri05,
	Author = {Dutilh Novaes, Catarina},
	Journal = {History and Philosophy of Logic},
	Number = {4},
	Pages = {277--297},
	Title = {Buridan's Consequentia: Consequence and Inference Within a Token-Based Semantics},
	Volume = {26},
	Year = {2005}}

@article{menz:poss93,
	Author = {Menzel, Christopher},
	Journal = {Philosophical Studies},
	Number = {2},
	Pages = {195--208},
	Title = {Possibilism and object theory},
	Volume = {69},
	Year = {1993}}

@article{kvan:theb90,
	Author = {Kvanvig, Jonathan L. and Menzel, Christopher},
	Journal = {Philosophical Studies},
	Number = {3},
	Pages = {235--261},
	Title = {The basic notion of justification},
	Volume = {59},
	Year = {1990}}

@article{krem:freg85,
	Author = {Kremer, Michael},
	Journal = {Philosophical Studies},
	Number = {3},
	Pages = {313--323},
	Title = {Frege's theory of number and the distinction between function and object},
	Volume = {47},
	Year = {1985}}

@article{humb:note98,
	Author = {Humberstone, Lloyd},
	Journal = {Notre Dame Journal of Formal Logic},
	Number = {2},
	Pages = {243--252},
	Title = {Note on Supervenience and Definability},
	Volume = {39},
	Year = {1998}}

@article{mich:dumm99,
	Author = {Michael, Michaelis},
	Journal = {Philosophia},
	Number = {3},
	Pages = {359--382},
	Title = {Dummett's argument against classical logic},
	Volume = {27},
	Year = {1999}}

@article{bran:fact00,
	Author = {Brandom, Robert},
	Journal = {European Journal of Philosophy},
	Number = {3},
	Pages = {356--374},
	Title = {Facts, Norms, and Normative Facts: A Reply to {Habermas}},
	Volume = {8},
	Year = {2000}}

@article{habe:from00,
	Author = {Habermas, J{\"u}rgen},
	Journal = {European Journal of Philosophy},
	Number = {3},
	Pages = {322--355},
	Title = {From {Kant} to {Hegel}: On {Robert Brandom}'s Pragatic Philosophy of Language},
	Volume = {8},
	Year = {2000}}

@article{peac:theo00,
	Author = {Peacocke, Christopher},
	Journal = {European Journal of Philosophy},
	Number = {3},
	Pages = {298--321},
	Title = {Theories of Concepts: A Wider Task},
	Volume = {8},
	Year = {2000}}

@article{levi:anal06,
	Author = {Levine, James},
	Journal = {Ratio},
	Number = {1},
	Pages = {43--63},
	Title = {Analysis, abstraction principles, and slingshot arguments},
	Volume = {19},
	Year = {2006}}

@article{hale:bena02,
	Author = {Hale, Bob and Wright, Crispin},
	Journal = {European Journal of Philosophy},
	Number = {1},
	Pages = {101--129},
	Title = {Benacerraf's Dilemma Revisited},
	Volume = {10},
	Year = {2002}}

@article{peac:thre02,
	Author = {Peacocke, Christopher},
	Journal = {European Journal of Philosophy},
	Number = {3},
	Pages = {375--397},
	Title = {Three Principles of Rationalism},
	Volume = {10},
	Year = {2002}}

@article{hann:math02,
	Author = {Hanna, Robert},
	Journal = {European Journal of Philosophy},
	Number = {3},
	Pages = {328--352},
	Title = {Mathematics for Humans: {Kant's} Philosophy of Arithmetic Revisited},
	Volume = {10},
	Year = {2002}}

@article{frie:carn02,
	Author = {Friedman, Michael},
	Journal = {European Journal of Philosophy},
	Number = {3},
	Pages = {263--274},
	Title = {{Carnap, Cassirer, and Heidegger}: The {Davos} Disputation and Twentieth Century Philosophy},
	Volume = {10},
	Year = {2002}}

@article{moor:inef03,
	Author = {Moore, A. W.},
	Journal = {European Journal of Philosophy},
	Number = {2},
	Pages = {161--176},
	Title = {Ineffability and Religion},
	Volume = {11},
	Year = {2003}}

@article{loef:norm05,
	Author = {Loeffler, Ronald},
	Journal = {European Journal of Philosophy},
	Number = {1},
	Pages = {32--69},
	Title = {Normative Phenomenalism: On Robert Brandom's Practice-Based Explanation of Meaning},
	Volume = {13},
	Year = {2005}}

@article{hann:kant05,
	Author = {Hanna, Robert},
	Journal = {European Journal of Philosophy},
	Number = {2},
	Pages = {247--290},
	Title = {Kant and Nonconceptual Content},
	Volume = {13},
	Year = {2005}}

@article{bran:resp05,
	Author = {Brandom, Robert B.},
	Journal = {European Journal of Philosophy},
	Number = {3},
	Pages = {429--441},
	Title = {Responses to {Pippin, Macbeth and Haugeland}},
	Volume = {13},
	Year = {2005}}

@article{haug:read05,
	Author = {Haugeland, John},
	Journal = {European Journal of Philosophy},
	Number = {3},
	Pages = {421--428},
	Title = {Reading Brandom Reading Heidegger},
	Volume = {13},
	Year = {2005}}

@article{macb:infe05,
	Author = {Macbeth, Danielle},
	Journal = {European Journal of Philosophy},
	Number = {3},
	Pages = {409--420},
	Title = {Inferentialism and Holistic Role Abstraction in the Telling of {\emph{Tales}}},
	Volume = {13},
	Year = {2005}}

@article{pipp:bran05,
	Author = {Pippin, Robert B.},
	Journal = {European Journal of Philosophy},
	Number = {3},
	Pages = {381--408},
	Title = {Brandom's Hegel},
	Volume = {13},
	Year = {2005}}

@article{finl:habe05,
	Author = {Finlayson, James Gordon},
	Journal = {European Journal of Philosophy},
	Number = {3},
	Pages = {319--344},
	Title = {Habermas's Moral Cognitivism and the {Frege-Geach} Challenge},
	Volume = {13},
	Year = {2005}}

@article{skor:prop06,
	Author = {Skorupski, John},
	Journal = {European Journal of Philosophy},
	Number = {1},
	Pages = {26--48},
	Title = {Propositions about Reasons},
	Volume = {14},
	Year = {2006}}

@article{dive:quin07,
	Author = {Divers, John},
	Journal = {European Journal of Philosophy},
	Number = {1},
	Pages = {40--62},
	Title = {Quinean Scepticism About De Re Modality After {David Lewis}},
	Volume = {15},
	Year = {2007}}

@article{bert:hege07,
	Author = {Berto, Francesco},
	Journal = {European Journal of Philosophy},
	Number = {1},
	Pages = {19--39},
	Title = {Hegel's Dialectics as a Semantic Theory: An Analytic Reading},
	Volume = {15},
	Year = {2007}}

@article{fern:exte04,
	Author = {Fern{\'a}ndez, Jordi},
	Journal = {European Journal of Philosophy},
	Number = {1},
	Pages = {17--37},
	Title = {Externalism and Self-Knowledge: A Puzzle in Two Dimensions},
	Volume = {12},
	Year = {2004}}

@article{humb:intr96,
	Author = {Humberstone, I. L.},
	Journal = {Synthese},
	Number = {2},
	Pages = {205--267},
	Title = {Intrinsic/extrinsic},
	Volume = {108},
	Year = {1996}}

@article{schr:thel04,
	Author = {Schroeter, Laura},
	Journal = {Pacific Philosophical Quarterly},
	Number = {4},
	Pages = {425--453},
	Title = {The Limits of Conceptual Analysis},
	Volume = {85},
	Year = {2004}}

@article{weat:indi01,
	Author = {Weatherson, Brian},
	Journal = {The Philosophical Quarterly},
	Number = {203},
	Pages = {200--216},
	Title = {Indicative and Subjunctive Conditionals},
	Volume = {51},
	Year = {2001}}

@article{will:indi06,
	Author = {Williamson, Timothy},
	Journal = {Philosophical Issues},
	Number = {1},
	Pages = {310--333},
	Title = {Indicative versus subjunctive conditionals, congruential versus non-hyperintensional contexts},
	Volume = {16},
	Year = {2006}}

@article{humb:twod04,
	Author = {Humberstone, Lloyd},
	Journal = {Philosophical Studies},
	Number = {1},
	Pages = {17--65},
	Title = {Two-Dimensional Adventures},
	Volume = {118},
	Year = {2004}}

@article{davi:refe04,
	Author = {Davies, Martin},
	Journal = {Philosophical Studies},
	Number = {1},
	Pages = {83--131},
	Title = {Reference, Contingency, and the Two-Dimensional Framework},
	Volume = {118},
	Year = {2004}}

@article{davi:twon80,
	Author = {Davies, Martin and Humberstone, Lloyd},
	Journal = {Philosophical Studies},
	Number = {1},
	Pages = {1--30},
	Title = {Two notions of necessity},
	Volume = {38},
	Year = {1980}}

@article{fiel:anom92,
	Author = {Field, Hartry},
	Journal = {Journal of Philosophical Logic},
	Number = {2},
	Pages = {111--123},
	Title = {A nominalistic proof of the conservativeness of set theory},
	Volume = {21},
	Year = {1992}}

@article{fiel:savi02,
	Author = {Field, Hartry},
	Journal = {Journal of Philosophical Logic},
	Number = {1},
	Pages = {1--27},
	Title = {Saving the Truth Schema from Paradox},
	Volume = {31},
	Year = {2002}}

@article{fiel:arev03,
	Author = {Field, Hartry},
	Journal = {Journal of Philosophical Logic},
	Number = {2},
	Pages = {139--177},
	Title = {A Revenge-Immune Solution to the Semantic Paradoxes},
	Volume = {32},
	Year = {2003}}

@article{fiel:meta91,
	Author = {Field, Hartry},
	Journal = {Philosophical Studies},
	Number = {1},
	Pages = {1--22},
	Title = {Metalogic and modality},
	Volume = {62},
	Year = {1991}}

@article{esfe:robe99,
	Author = {Esfeld, Michael},
	Journal = {Erkenntnis},
	Pages = {333--346},
	Title = {Robert B. Brandom, Making It Explicit: Reasoning, Representing, and Discursive Commitment},
	Volume = {51},
	Year = {1999}}

@article{pere:robe01,
	Author = {Peregrin, Jaroslav},
	Journal = {Erkenntnis},
	Pages = {121--127},
	Title = {Robert B. Brandom, Articulating Reasons (An Introduction to Inferentialism)},
	Volume = {55},
	Year = {2001}}

@article{linn:epis06,
	Author = {Linnebo, {\O}ystein},
	Journal = {Philosophical Studies},
	Number = {3},
	Pages = {545--574},
	Title = {Epistemological Challenges to Mathematical Platonism},
	Volume = {129},
	Year = {2006}}

@article{bran:acti98,
	Author = {Brandom, Robert},
	Journal = {Philosophical Perspectives},
	Pages = {127-139},
	Title = {Action, Norms, and Practical Reasoning},
	Volume = {12},
	Year = {1998}}

@article{hale:abso96,
	Author = {Hale, Bob},
	Journal = {Philosophical Perspectives},
	Pages = {93-117},
	Title = {Absolute Necessities},
	Volume = {10},
	Year = {1996}}

@article{bell:cate06,
	Author = {Bellin, Gianluigi and Hyland, Martin and Robinson, Edmund and Urban, Christian},
	Journal = {Theoretical Computer Science},
	Number = {2},
	Pages = {146--165},
	Title = {Categorical proof theory of classical propositional calculus},
	Volume = {364},
	Year = {2006}}

@article{wrig:onan93,
	Author = {Wright, Crispin},
	Journal = {Mind},
	Number = {405},
	Pages = {123-131},
	Title = {On an Argument on Behalf of Classical Negation},
	Volume = {102},
	Year = {1993}}

@article{kuhn:logi81,
	Author = {Kuhn, Steven T.},
	Journal = {The Journal of Philosophy},
	Number = {9},
	Pages = {487-499},
	Title = {Logical Expressions, Constants, and Operator Logic},
	Volume = {78},
	Year = {1981}}

@article{bjur:anot78,
	Author = {Bjurl{\"o}f, Thomas},
	Journal = {Analysis},
	Number = {3},
	Pages = {119-121},
	Title = {A Note on Logical Constants},
	Volume = {38},
	Year = {1978}}

@article{chad:logi27,
	Author = {Chadwick, J. A.},
	Journal = {Mind},
	Number = {141},
	Pages = {1-11},
	Title = {Logical Constants},
	Volume = {36},
	Year = {1927}}

@article{gome:thep02,
	Author = {G{\'o}mez-Torrente, Mario},
	Journal = {The Bulletin of Symbolic Logic},
	Number = {1},
	Pages = {1--37},
	Title = {The Problem of Logical Constants},
	Volume = {8},
	Year = {2002}}

@article{rumf:cont93,
	Author = {Rumfitt, Ian},
	Journal = {Mind},
	Number = {407},
	Pages = {429-454},
	Title = {Content and Context: The Paratactic Theory Revisited and Revised},
	Volume = {102},
	Year = {1993}}

@article{rumf:trut95,
	Author = {Rumfitt, Ian},
	Journal = {Mind},
	Number = {416},
	Pages = {827-862},
	Title = {Truth Conditions and Communication},
	Volume = {104},
	Year = {1995}}

@article{smil:mrst67,
	Author = {Smiley, T. J.},
	Journal = {Mind},
	Number = {301},
	Pages = {118-120},
	Title = {Mr. Strawson on the Traditional Logic},
	Volume = {76},
	Year = {1967}}

@article{quin:onto34,
	Author = {Quine, W. V.},
	Journal = {Mind},
	Number = {172},
	Pages = {472-476},
	Title = {Ontological Remarks on the Propositional Calculus},
	Volume = {43},
	Year = {1934}}

@article{quin:onas53,
	Author = {Quine, W. V.},
	Journal = {Mind},
	Number = {245},
	Pages = {65-67},
	Title = {On a So-Called Paradox},
	Volume = {62},
	Year = {1953}}

@article{read:exis80,
	Author = {Read, Stephen},
	Journal = {Mind},
	Number = {355},
	Pages = {412-417},
	Title = {`Exists' is a Predicate},
	Volume = {89},
	Year = {1980}}

@article{smil:freg88,
	Author = {Smiley, T. J.},
	Journal = {Mind},
	Number = {388},
	Pages = {583-584},
	Title = {Frege's `Series of Natural Numbers'},
	Volume = {97},
	Year = {1988}}

@article{weir:naiv98,
	Author = {Weir, Alan},
	Journal = {Mind},
	Number = {428},
	Pages = {763-798},
	Title = {Na{\"\i}ve Set Theory is Innocent!},
	Volume = {107},
	Year = {1998}}

@article{pric:trut87,
	Author = {Price, Huw},
	Journal = {Mind},
	Number = {382},
	Pages = {202-220},
	Title = {Truth and the Nature of Assertion},
	Volume = {96},
	Year = {1987}}

@article{pric:sens83,
	Author = {Price, Huw},
	Journal = {Mind},
	Number = {366},
	Pages = {161-173},
	Title = {Sense, Assertion, Dummett and Denial},
	Volume = {92},
	Year = {1983}}

@article{bool:read85,
	Author = {Boolos, George},
	Journal = {Mind},
	Number = {375},
	Pages = {331-344},
	Title = {Reading the Begriffsschrift},
	Volume = {94},
	Year = {1985}}

@article{bool:gode94,
	Author = {Boolos, George},
	Journal = {Mind},
	Number = {409},
	Pages = {1-3},
	Title = {G{\"o}del's Second Incompleteness Theorem Explained in Words of One Syllable},
	Volume = {103},
	Year = {1994}}

@article{geor:thei87,
	Author = {George, Alexander},
	Journal = {Mind},
	Number = {384},
	Pages = {514-518},
	Title = {The Imprecision of Impredicativity},
	Volume = {96},
	Year = {1987}}

@article{sedd:logi72,
	Author = {Seddon, George},
	Journal = {Mind},
	Number = {324},
	Pages = {481-494},
	Title = {Logical Possibility},
	Volume = {81},
	Year = {1972}}

@article{beal:prop98,
	Author = {Bealer, George},
	Journal = {Mind},
	Number = {425},
	Pages = {1-32},
	Title = {Propositions},
	Volume = {107},
	Year = {1998}}

@article{edgi:onco95,
	Author = {Edgington, Dorothy},
	Journal = {Mind},
	Number = {414},
	Pages = {235-329},
	Title = {On Conditionals},
	Volume = {104},
	Year = {1995}}

@article{prie:ockh81,
	Author = {Priest, Graham and Read, Stephen},
	Journal = {Mind},
	Number = {358},
	Pages = {274-279},
	Title = {Ockham's Rejection of Ampliation},
	Volume = {90},
	Year = {1981}}

@article{prie:thef77,
	Author = {Priest, Graham and Read, Stephen},
	Journal = {Mind},
	Number = {341},
	Pages = {109-113},
	Title = {The Formalization of Ockham's Theory of Supposition},
	Volume = {86},
	Year = {1977}}

@article{prie:thel91,
	Author = {Priest, Graham},
	Journal = {Mind},
	Number = {3},
	Pages = {361-370},
	Title = {The Limits of Thought--and Beyond},
	Volume = {100},
	Year = {1991}}

@article{prie:isar94,
	Author = {Priest, Graham},
	Journal = {Mind},
	Number = {411},
	Pages = {337-349},
	Title = {Is Arithmetic Consistent?},
	Volume = {103},
	Year = {1994}}

@article{deny:prie95,
	Author = {Denyer, Nicholas},
	Journal = {Mind},
	Number = {415},
	Pages = {567-575},
	Title = {Priest's Paraconsistent Arithmetic},
	Volume = {104},
	Year = {1995}}

@article{hyde:plea99,
	Author = {Hyde, Dominic},
	Journal = {Mind},
	Number = {432},
	Pages = {733-735},
	Title = {Pleading Classicism},
	Volume = {108},
	Year = {1999}}

@article{thom:amod80,
	Author = {Thomason, Richmond H.},
	Journal = {Linguistics and Philosophy},
	Number = {1},
	Pages = {47--70},
	Title = {A model theory for propositional attitudes},
	Volume = {4},
	Year = {1980}}

@article{musk:sens05,
	Author = {Muskens, Reinhard},
	Journal = {Linguistics and Philosophy},
	Number = {4},
	Pages = {473--504},
	Title = {Sense and the Computation of Reference},
	Volume = {28},
	Year = {2005}}

@article{soam:then91,
	Author = {Soames, Scott},
	Journal = {Linguistics and Philosophy},
	Number = {5},
	Pages = {575--580},
	Title = {The necessity argument},
	Volume = {14},
	Year = {1991}}

@article{gree:quan95,
	Author = {Green, Mitchell S.},
	Journal = {Linguistics and Philosophy},
	Number = {1},
	Pages = {83--112},
	Title = {Quantity, volubility, and some varieties of discourse},
	Volume = {18},
	Year = {1995}}

@article{morr:disc95,
	Author = {Morrill, Glyn},
	Journal = {Linguistics and Philosophy},
	Number = {2},
	Pages = {175--219},
	Title = {Discontinuity in categorial grammar},
	Volume = {18},
	Year = {1995}}

@article{etch:thed83,
	Author = {Etchemendy, John},
	Journal = {Linguistics and Philosophy},
	Number = {3},
	Pages = {319--334},
	Title = {The doctrine of logic as form},
	Volume = {6},
	Year = {1983}}

@article{edel:prop94,
	Author = {Edelberg, Walter},
	Journal = {Journal of Philosophical Logic},
	Number = {1},
	Pages = {1--34},
	Title = {Propositions, circumstances, objects},
	Volume = {23},
	Year = {1994}}

@article{bouv:onth05,
	Author = {Bouveresse, Jacques},
	Journal = {Proceedings of the Aristotelian Society (Hardback)},
	Number = {1},
	Pages = {55--79},
	Title = {On the meaning of the word `platonism' in the expression `mathematical platonism'},
	Volume = {105},
	Year = {2005}}

@article{will:armc05,
	Author = {Williamson, Timothy},
	Journal = {Proceedings of the Aristotelian Society (Hardback)},
	Number = {1},
	Pages = {1--23},
	Title = {Armchair philosophy, metaphysical modality and counterfactual thinking},
	Volume = {105},
	Year = {2005}}

@article{laka:proo64,
	Author = {Lakatos, I.},
	Journal = {The British Journal for the Philosophy of Science},
	Number = {56},
	Pages = {296-342},
	Title = {Proofs and Refutations {(IV)}},
	Volume = {14},
	Year = {1964}}

@article{laka:proo63b,
	Author = {Lakatos, I.},
	Journal = {The British Journal for the Philosophy of Science},
	Number = {55},
	Pages = {221-245},
	Title = {Proofs and Refutations {(III)}},
	Volume = {14},
	Year = {1963}}

@article{laka:proo63a,
	Author = {Lakatos, I.},
	Journal = {The British Journal for the Philosophy of Science},
	Number = {54},
	Pages = {120-139},
	Title = {Proofs and Refutations {(II)}},
	Volume = {14},
	Year = {1963}}

@article{laka:proo63,
	Author = {Lakatos, I.},
	Journal = {The British Journal for the Philosophy of Science},
	Number = {53},
	Pages = {1-25},
	Title = {Proofs and Refutations {(I)}},
	Volume = {14},
	Year = {1963}}

@article{nola:quan97,
	Author = {Nolan, Daniel},
	Journal = {The British Journal for the Philosophy of Science},
	Number = {3},
	Pages = {329-343},
	Title = {Quantitative Parsimony},
	Volume = {48},
	Year = {1997}}

@article{bell:cate81,
	Author = {Bell, J. L.},
	Journal = {The British Journal for the Philosophy of Science},
	Number = {4},
	Pages = {349-358},
	Title = {Category Theory and the Foundations of Mathematics},
	Volume = {32},
	Year = {1981}}

@incollection{avro:them96,
	Address = {Oxford},
	Author = {Avron, Arnon},
	Booktitle = {Logic: from foundations to applications: European logic colloquium},
	Editor = {Hodges, Wilfrid and Hyland, Martin and Steinhorn, Charles and Truss, John},
	Pages = {1--32},
	Publisher = {Clarendon Press},
	Title = {The method of hypersequents in the proof theory of propositional non-classical logics},
	Year = {1996}}

@article{avro:deco01,
	Author = {Avron, Arnon and Konikowska, Beata},
	Journal = {Studia Logica},
	Number = {2},
	Pages = {197--219},
	Title = {Decomposition Proof Systems for G{\"o}del-Dummett Logics},
	Volume = {69},
	Year = {2001}}

@article{avro:hype91,
	Author = {Avron, Arnon},
	Journal = {Annals of Mathematics and Artificial Intelligence},
	Number = {3},
	Pages = {225--248},
	Title = {Hypersequents, logical consequence and intermediate logics for concurrency},
	Volume = {4},
	Year = {1991}}

@incollection{jips:asur02,
	Address = {Dordrecht},
	Author = {Jipsen, P. and Tsinakis, C.},
	Booktitle = {Ordered Algebraic Structures},
	Editor = {Martinez, J.},
	Pages = {19--56},
	Publisher = {Kluwer Academic Publishers},
	Title = {A survey of residuated lattices},
	Year = {2002}}

@book{jips:vari92,
	Author = {Jipsen, Peter and Rose, Henry},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Mathematics},
	Title = {Varieties of Lattices},
	Volume = {1533},
	Year = {1992}}

@article{anto:nonw94,
	Author = {Antonelli, Gian Aldo},
	Journal = {Journal of Philosophical Logic},
	Number = {6},
	Pages = {633--679},
	Title = {Non-well-founded sets via revision rules},
	Volume = {23},
	Year = {1994}}

@article{kiri:thec91,
	Author = {Kiriyama, Eiji and Ono, Hlroakira},
	Journal = {Studia Logica},
	Number = {2},
	Pages = {299--319},
	Title = {The contraction rule and decision problems for logics without structural rules},
	Volume = {50},
	Year = {1991}}

@article{flat:howt91,
	Author = {Flath, Dan and Wagon, Stan},
	Journal = {The American Mathematical Monthly},
	Number = {9},
	Pages = {812-823},
	Title = {How to Pick Out the Integers in the Rationals: An Application of Number Theory to Logic},
	Volume = {98},
	Year = {1991}}

@article{myci:them83,
	Author = {Mycielski, Jan},
	Journal = {The American Mathematical Monthly},
	Number = {2},
	Pages = {129-130},
	Title = {The Meaning of the Conjecture $P \neq NP$ for Mathematical Logic},
	Volume = {90},
	Year = {1983}}

@article{epp:ther03,
	Author = {Epp, Susanna S.},
	Journal = {The American Mathematical Monthly},
	Number = {10},
	Pages = {886-899},
	Title = {The Role of Logic in Teaching Proof},
	Volume = {110},
	Year = {2003}}

@article{mcke:thel85,
	Author = {McKee, T. A.},
	Journal = {The American Mathematical Monthly},
	Number = {7},
	Pages = {457-464},
	Title = {The Logic of Graph-Theoretic Duality},
	Volume = {92},
	Year = {1985}}

@article{halm:theb56,
	Author = {Halmos, Paul R.},
	Journal = {The American Mathematical Monthly},
	Number = {6},
	Pages = {363-387},
	Title = {The Basic Concepts of Algebraic Logic},
	Volume = {63},
	Year = {1956}}

@article{roge:anex63,
	Author = {Rogers, Jr., Hartley},
	Journal = {The American Mathematical Monthly},
	Number = {9},
	Pages = {929-945},
	Title = {An Example in Mathematical Logic},
	Volume = {70},
	Year = {1963}}

@article{rand:anap70,
	Author = {Randall, C. H. and Foulis, D. J.},
	Journal = {The American Mathematical Monthly},
	Number = {4},
	Pages = {363-374},
	Title = {An Approach to Empirical Logic},
	Volume = {77},
	Year = {1970}}

@article{wang:logi65,
	Author = {Wang, Hao},
	Journal = {The American Mathematical Monthly},
	Number = {2},
	Pages = {135-140},
	Title = {Logic and Computers},
	Volume = {72},
	Year = {1965}}

@article{deno:fres62,
	Author = {De Noya, Louis E.},
	Journal = {The American Mathematical Monthly},
	Number = {4},
	Pages = {307-308},
	Title = {Freshman Logic: Revisited},
	Volume = {69},
	Year = {1962}}

@article{henk:thel77,
	Author = {Henkin, Leon},
	Journal = {The American Mathematical Monthly},
	Number = {8},
	Pages = {597-612},
	Title = {The Logic of Equality},
	Volume = {84},
	Year = {1977}}

@article{klin:logi70,
	Author = {Kline, Morris},
	Journal = {The American Mathematical Monthly},
	Number = {3},
	Pages = {264-282},
	Title = {Logic Versus Pedagogy},
	Volume = {77},
	Year = {1970}}

@article{bool:thel84,
	Author = {Boolos, George},
	Journal = {The American Mathematical Monthly},
	Number = {8},
	Pages = {470-480},
	Title = {The Logic of Provability},
	Volume = {91},
	Year = {1984}}

@article{whea:logi60,
	Author = {Wheatley, Jon},
	Journal = {The American Mathematical Monthly},
	Number = {9},
	Title = {Logic: Game or Tool?},
	Volume = {67},
	Year = {1960}}

@article{blyt:teac60,
	Author = {Blyth, John W.},
	Journal = {The American Mathematical Monthly},
	Number = {3},
	Pages = {285-287},
	Title = {Teaching Machines and Logic},
	Volume = {67},
	Year = {1960}}

@article{katt:logi58,
	Author = {Kattsoff, Louis O.},
	Journal = {The American Mathematical Monthly},
	Number = {7},
	Pages = {501-506},
	Title = {Logic and Mathematics Courses},
	Volume = {65},
	Year = {1958}}

@article{frin:newa38,
	Author = {Frink, Jr., Orrin},
	Journal = {The American Mathematical Monthly},
	Number = {4},
	Pages = {210-219},
	Title = {New Algebras of Logic},
	Volume = {45},
	Year = {1938}}

@article{weyl:math46,
	Author = {Weyl, Hermann},
	Journal = {The American Mathematical Monthly},
	Number = {1},
	Pages = {2-13},
	Title = {Mathematics and Logic},
	Volume = {53},
	Year = {1946}}

@article{birk:them37,
	Author = {Birkhoff, Garrett},
	Journal = {The Annals of Mathematics},
	Number = {1},
	Pages = {57-60},
	Title = {The Meaning of Completeness},
	Volume = {38},
	Year = {1937}}

@article{quin:ferm88,
	Author = {Quine, W. V.},
	Journal = {The American Mathematical Monthly},
	Number = {7},
	Pages = {636},
	Title = {Fermat's Last Theorem in Combinatorial Form},
	Volume = {95},
	Year = {1988}}

@article{mont:cute81,
	Author = {M{\"o}nting, J{\"u}rgen Schulte},
	Journal = {Algebra Universalis},
	Number = {1},
	Pages = {290--321},
	Title = {Cut elimination and word problems for varieties of lattices},
	Volume = {12},
	Year = {1981}}

@article{jons:rela93,
	Author = {J{\'o}nsson, Bjarni and Tsinakis, Constantine},
	Journal = {Algebra Universalis},
	Number = {4},
	Pages = {469--478},
	Title = {Relation algebras as residuated Boolean algebras},
	Volume = {30},
	Year = {1993}}

@article{jips:adjo95,
	Author = {Jipsen, P. and J{\'o}nsson, B. and Rafter, J.},
	Journal = {Algebra Universalis},
	Number = {1},
	Pages = {118--127},
	Title = {Adjoining units to residuated Boolean algebras},
	Volume = {34},
	Year = {1995}}

@article{hans:adua83,
	Author = {Hansoul, G.},
	Journal = {Algebra Universalis},
	Number = {1},
	Pages = {34--49},
	Title = {A duality for Boolean algebras with operators},
	Volume = {17},
	Year = {1983}}

@article{geor:alge84,
	Author = {Georgescu, George},
	Journal = {Algebra Universalis},
	Number = {1},
	Pages = {99--105},
	Title = {Algebraic analysis of the logic with the quantifier ``there exist uncountably many''},
	Volume = {19},
	Year = {1984}}

@article{geor:arep82,
	Author = {Georgescu, George},
	Journal = {Algebra Universalis},
	Number = {1},
	Pages = {197--209},
	Title = {A representation theorem for polyadic Heyting algebras},
	Volume = {14},
	Year = {1982}}

@article{brin:powe93,
	Author = {Brink, Chris},
	Journal = {Algebra Universalis},
	Number = {2},
	Pages = {177--216},
	Title = {Power structures},
	Volume = {30},
	Year = {1993}}

@article{geor:chan83,
	Author = {Georgescu, George},
	Journal = {Studia Logica},
	Number = {1},
	Pages = {43--48},
	Title = {Chang's modal operators in algebraic logic},
	Volume = {42},
	Year = {1983}}

@article{urqu:deci95,
	Author = {Urquhart, A.},
	Journal = {Algebra Universalis},
	Number = {3},
	Pages = {399--418},
	Title = {Decision problems for distributive lattice-ordered semigroups},
	Volume = {33},
	Year = {1995}}

@article{hart:ston97,
	Author = {Hartonas, C. and Dunn, J. M.},
	Journal = {Algebra Universalis},
	Number = {3},
	Pages = {391--401},
	Title = {Stone duality for lattices},
	Volume = {37},
	Year = {1997}}

@article{jons:vari82,
	Author = {J{\'o}nsson, Bjarni},
	Journal = {Algebra Universalis},
	Number = {1},
	Pages = {273--298},
	Title = {Varieties of relation algebras},
	Volume = {15},
	Year = {1982}}

@article{nola:grot02,
	Author = {Nola, Antonio Di and Georgescu, George},
	Journal = {Algebra Universalis},
	Number = {3},
	Pages = {215--221},
	Title = {Grothendieck-like duality for {Heyting} algebras},
	Volume = {47},
	Year = {2002}}

@article{urqu:atop78,
	Author = {Urquhart, Alasdair},
	Journal = {Algebra Universalis},
	Number = {1},
	Pages = {45--58},
	Title = {A topological representation theory for lattices},
	Volume = {8},
	Year = {1978}}

@article{rasm:supe90,
	Author = {Rasmussen, Stig Alstrup},
	Journal = {Synthese},
	Number = {1},
	Pages = {97--138},
	Title = {Supervaluational anti-realism and logic},
	Volume = {84},
	Year = {1990}}

@article{manc:onth91,
	Author = {Mancosu, Paolo},
	Journal = {Synthese},
	Number = {1},
	Pages = {15--41},
	Title = {On the status of proofs by contradiction in the seventeenth century},
	Volume = {88},
	Year = {1991}}

@article{hint:intu01,
	Author = {Hintikka, Jaakko},
	Journal = {Synthese},
	Number = {1},
	Pages = {7--19},
	Title = {Intuitionistic Logic As Epistemic Logic},
	Volume = {127},
	Year = {2001}}

@article{hint:carn92,
	Author = {Hintikka, Jaakko},
	Journal = {Synthese},
	Number = {1},
	Pages = {167--189},
	Title = {Carnap's work in the foundations of logic and mathematics in a historical perspective},
	Volume = {93},
	Year = {1992}}

@article{hint:carn73,
	Author = {Hintikka, Jaakko},
	Journal = {Synthese},
	Number = {3},
	Pages = {372--397},
	Title = {Carnap's semantics in retrospect},
	Volume = {25},
	Year = {1973}}

@article{hint:anim91,
	Author = {Hintikka, Jaakko},
	Journal = {Synthese},
	Number = {2},
	Pages = {183--201},
	Title = {An impatient man and his papers},
	Volume = {87},
	Year = {1991}}

@article{hint:ahun84,
	Author = {Hintikka, Jaakko},
	Journal = {Synthese},
	Number = {1},
	Pages = {27--49},
	Title = {A hundred years later: The rise and fall of Frege's influence in language theory},
	Volume = {59},
	Year = {1984}}

@article{hint:adia82,
	Author = {Hintikka, Jaakko},
	Journal = {Synthese},
	Number = {1},
	Pages = {39--59},
	Title = {A dialogical model of teaching},
	Volume = {51},
	Year = {1982}}

@article{hint:aret84,
	Author = {Hintikka, Jaakko},
	Journal = {Synthese},
	Number = {3},
	Pages = {451--458},
	Title = {Are there nonexistent objects? Why not? But where are they?},
	Volume = {60},
	Year = {1984}}

@article{dres:amea06,
	Author = {Dresner, Eli},
	Journal = {Synthese},
	Number = {1},
	Pages = {1--22},
	Title = {A Measurement Theoretic Account of Propositions},
	Volume = {153},
	Year = {2006}}

@article{bell:infi88,
	Author = {Bell, J. L.},
	Journal = {Synthese},
	Number = {3},
	Pages = {285--315},
	Title = {Infinitesimals},
	Volume = {75},
	Year = {1988}}

@article{moor:acan02,
	Author = {Moore, Matthew E.},
	Journal = {Synthese},
	Number = {3},
	Pages = {305--330},
	Title = {A Cantorian Argument Against Infinitesimals},
	Volume = {133},
	Year = {2002}}

@article{lutz:mode03,
	Author = {Lutz, Robert and Gonzaga, Luis Gonzaga Luis},
	Journal = {Synthese},
	Number = {1},
	Pages = {325--351},
	Title = {Modern Infinitesimals as a Tool to Match Intuitive and Formal Reasoning in Analysis},
	Volume = {134},
	Year = {2003}}

@artic