%%% ==================================================================== %%% BibTeX-file{ %%% author = "Greg Restall", %%% date = "February 2000", %%% filename = "work.bib", %%% url = "ftp://www.phil.mq.edu.au/pub/grestall/work.bib", %%% www-home = "http://www.phil.mq.edu.au/staff/grestall/", %%% address = "Philosophy Department, %%% Macquarie University, %%% Sydney, NSW 2109 %%% Australia", %%% FTP-archive = "ftp://www.phil.mq.edu.au/pub/grestall/", %%% email = "Greg.Restall at mq.edu.au", %%% abstract = "Greg Restall's Working Bibliography" %%% } %%% ==================================================================== @string{JSL = {Journal of Symbolic Logic}} @string{JPL = {Journal of Philosophical Logic}} @string{SL = {Studia Logica}} @string{JP = {Journal of Philosophy}} @string{LA = {Logique et Analyse}} @string{NDJFL ={Notre Dame Journal of Formal Logic}} @string{AfML = {Archiv f{\"u}r Mathematische Logik}} @string{AoML = {Archive of Mathematical Logic}} @string{ZML = {Zeitschrift f{\"u}r Mathematische Logik und Grundlagen der Mathematik}} @string{CSLILN = {{\textsc{csli}} Lecture Notes}} @string{CSLIPubs = {{\textsc{csli}} Publications}} @string{JLC = {Journal of Logic and Computation}} @string{LNM = {Lecture Notes in Mathematics}} @string{LNCS = {Lecture Notes in Computer Science}} @string{ERK = {Erkenntnis}} @incollection{abra:doma94, author = {Samson Abramsky and Achim Jung}, title = {Domain Theory}, booktitle = {Handbook of Logic in Computer Science}, publisher = {Clarendon Press}, address = {Oxford}, year = 1994, editor = {Samson Abramsky and Dov M. Gabbay and T. S. E. Maibaum}, volume = 3, pages = {1--168}, } @article{acke:begr56, author = {Wilhelm Ackermann}, title = {Begr\"undung Einer Strengen Implikation}, journal = JSL, year = 1956, volume = 21, pages = {113--128}, } @book{acze:nonw88, author = {Peter Aczel}, year = 1988, title = {Non-Well-Founded Sets}, series = CSLILN, number = 14, publisher = CSLIPubs, address = {Stanford}, } @incollection{acze:repl90, author = {Peter Aczel}, title = {Replacement Systems and the Axiomatization of Situation Theory}, booktitle = {Situation Theory and Its Applications, I}, series = CSLILN, number = 22, publisher = CSLIPubs, year = 1990, editor = {Robin Cooper and Kuniaki Mukai and John Perry}, address = {Stanford}, } @article{akam:curr96, author = {Seiki Akama}, title = {Curry's Paradox in Contractionless Constructive Logic}, journal = JPL, volume = 25, pages = {135--150}, year = 1996, } @inproceedings{akam:rele97, author = {Seiki Akama}, title = {Relevant Counterfactuals and Paraconsistency}, booktitle = {Proceedings of the First World Conference on Paraconsistency, Gent, Belgium.}, year = 1997, } @unpublished{allw:akri98, author = {Gerard Allwein and Wendy MacCaull}, title = {A Kripke Semantics for the Logic of Gelfand Quantales}, note = {Unpublished note, Visual Inference Laboratory, Indiana University}, year = 1998, } @article{allw:krip93, author = {Gerard Allwein and J. Michael Dunn}, title = {A Kripke Semantics for Linear Logic}, journal = JSL, year = 1993, volume = 58, number = 2, pages = {514--545}, urlps = {file://cica.indiana.edu/pub/users/gtall/relation/kripkeLL.ps}, urldvi = {file://cica.indiana.edu/pub/users/gtall/relation/kripkeLL.dvi}, } @book{alst:area96, author = {William P. Alston}, title = {A Realist Conception of Truth}, publisher = {Cornell University Press}, year = 1996, } @article{ande:asim59, author = {A. R. Anderson and N. D. {Belnap Jr.}}, title = {A Simple Proof of {G}{\"{o}}del's Completeness Theorem}, journal = JSL, volume = 24, pages = {320--321}, year = 1959, note = {(Abstract.)}, } @article{ande:enta60, author = {A. R. Anderson}, title = {Entailment Shorn of Modality}, journal = JSL, volume = 25, pages = {388}, year = 1960, note = {(Abstract.)}, } @book{ande:enta75, author = {Alan Ross Anderson and Nuel D.~Belnap}, year = 1975, title = {Entailment: The Logic of Relevance and Necessity}, volume = 1, publisher = {Princeton University Press}, address = {Princeton}, } @book{ande:enta92, author = {Alan Ross Anderson and Nuel D. Belnap and {J. Michael} Dunn}, year = 1992, title = {Entailment: The Logic of Relevance and Necessity}, volume = 2, publisher = {Princeton University Press}, address = {Princeton}, } @article{ande:enth61, author = {A. R. Anderson and N. D. {Belnap Jr.}}, title = {Enthymemes}, journal = JP, volume = 58, pages = {713--723}, year = 1961, } @article{ande:moda59, author = {A. R. Anderson and N. D. {Belnap Jr.}}, title = {Modalities in {A}ckermann's `Rigorous Implication'}, journal = JSL, volume = 24, pages = {107--111}, year = 1959, } @article{ande:some63, author = {A. R. Anderson}, title = {Some Open Problems Concerning the System ${E}$ of Entailment}, journal = {Acta Philosophica Fennica}, volume = 16, pages = {7--18}, year = 1963, } @article{ande:taut62, author = {A. R. Anderson and N. D. {Belnap Jr.}}, title = {Tautological Entailments}, journal = {Philosophical Studies}, volume = 13, pages = {9--24}, year = 1962, } @article{ande:thep62, author = {A. R. Anderson and N. D. {Belnap Jr.}}, title = {The Pure Calculus of Entailment}, journal = JSL, volume = 27, pages = {19--52}, year = 1962, } @article{andr:deci97, author = {Hajnal Andr{\'e}ka and Steven Givant and Istv{\'a}n N{\'e}meti}, title = {Decision Problems for Equational Theories of Relation Algebras}, journal = {Memoirs of the American Mathematical Society}, volume = 126, number = 604, year = 1997, } @unpublished{andr:fini96, author = {Hajnal Andr{\'e}ka and Ian Hodkinson and Istv{\'a}n N{\'e}meti}, title = {Finite Algebras of Relations are Representable on Finite Sets}, year = 1996, note = {Preprint, Mathematical Institute, Budapest}, } @book{arkh:gene90, editor = {A. V. Arkhangel'ski{\v\i} and L. S. Pontryagin}, title = {General Topology {I}: Basic Concepts and Constructions, Dimension Theory}, publisher = {Springer-Verlag}, address = {Berlin}, year = 1990, note = {Encyclopedia of Mathematical Sciences, Volume 17}, } @book{arms:acom89, author = {D. M. Armstrong}, title = {A Combinatorial Theory of Possibility}, year = 1989, publisher = {Cambridge University Press}, address = {Cambridge}, } @article{arms:clas91, author = {D. M. Armstrong}, title = {Classes Are States of Affairs}, journal = {Mind}, volume = 100, year = 1991, pages = {189--200}, } @book{arms:univ89, author = {D. M. Armstrong}, title = {Universals: An opinionated introduction}, year = 1989, publisher = {Westview Press}, address = {Boulder}, } @incollection{arru:aspe89, author = {A. I. Arruda}, title = {Aspects of the Historical Development of Paraconsistent Logic}, booktitle = {Paraconsistent Logic: Essays on the Inconsistent}, publisher = {Philosophia Verlag}, year = 1989, editor = {Graham Priest and Richard Sylvan and Jean Norman}, pages = {99--130}, } @book{aspe:cate91, title = {Categories, Types and Structures}, author = {Andrea Asperti and Guiseppe Longo}, publisher = {MIT Press}, year = 1990, } @book{aust:phil89, author = {J.L. Austin}, title = {Philosophical Papers}, publisher = {Oxford University Press}, year = 1989, } @article{avro:acon87, author = {Arnon Avron}, title = {A Constructive Analysis of {RM}}, journal = JSL, volume = 52, pages = {939--951}, year = 1987, } @article{avro:onan86, author = {Arnon Avron}, title = {On an Implication Connective of {RM}}, journal = NDJFL, volume = 27, pages = {201--209}, year = 1986, } @article{avro:onpu86, author = {Arnon Avron}, title = {On Purely Relevant Logics}, journal = NDJFL, volume = 27, pages = {180--194}, year = 1986, } @article{avro:rele84, author = {Arnon Avron}, title = {Relevant Entailment --- Semantics and formal systems}, journal = JSL, volume = 49, pages = {334--342}, year = 1984, } @article{avro:rele90, author = {Arnon Avron}, title = {Relevance and Paraconsistency --- A New Approach}, journal = JSL, volume = 55, pages = {707--732}, year = 1990, } @article{avro:rele90a, author = {Arnon Avron}, title = {Relevance and Paraconsistency --- A New Approach. Part {II}: The Formal Systems}, journal = NDJFL, volume = 31, pages = {169--202}, year = 1990, } @article{avro:rele91, author = {Arnon Avron}, title = {Relevance and Paraconsistency --- A New Approach. Part {III}: Cut-Free Gentzen-type Systems}, journal = NDJFL, volume = 32, pages = {147--160}, year = 1990, } @article{avro:simp91, author = {Arnon Avron}, title = {Simple Consequence Relations}, journal = {Information and Computation}, volume = 92, pages = {105--139}, year = 1991, } @article{avro:thes88, author = {Arnon Avron}, title = {The semantics and proof theory of linear logic}, journal = {Theoretical Computer Science}, volume = 57, pages = {161--184}, year = 1988, } @article{avro:whit92, author = {Arnon Avron}, title = {Whither Relevance Logic?}, journal = JPL, volume = 21, pages = {243--281}, year = 1992, } @article{baad:onth93, author = {Franz Baader AND Hans-J\"urgen B\"urckert AND Bernhard Nebel AND Werner Nutt AND Gert Smolka}, title = {On the Expressivity of Feature Logics with Negation, Functional Uncertainty and Sort Equations}, journal = {Journal of Logic, Language and Information}, year = 1993, volume = 2, pages = {1--18}, } @book{bala:plat98, author = {Mark Balaguer}, title = {Platonism and Anti-Platonism in Mathematics}, publisher = {Oxford University Press}, year = 1998, } @incollection{bank:otpi62, author = {P. Banks}, title = {On the Philosophical Interpretation of Logic}, year = 1962, editor = {A. Menne}, publisher = {Reidel}, address = {Dordrecht}, pages = {1--14}, booktitle = {Logico-Philosophical Studies}, } @article{barc:thed46, author = {R. C. {Barcan Marcus}}, title = {The Deduction Theorem in a Functional Calculus of First-Order Based on Strict Implication}, journal = JSL, volume = 11, pages = {115--118}, year = 1946, } @article{bare:afil83, author = {H. P. Barendregt and M. Coppo and M. Dezani-Ciancaglini}, title = {A Filter Lambda Model and the Completeness of Type Assignment}, journal = JSL, volume = 48, pages = {931--940}, year = 1983, } @incollection{bare:lamb92, author = {H. P. Barendregt}, title = {Lambda Calculi with Types}, year = 1992, editor = {Samson Abramsky and Dov Gabbay and T.~S.~E. Maibaum}, publisher = {Oxford University Press}, volume = 2, chapter = 2, pages = {117--309}, booktitle = {Handbook of Logic in Computer Science}, } @book{bare:thel84, author = {H. P. Barendregt}, title = {The Lambda Calculus: Its Syntax and Semantics}, publisher = {North Holland}, year = 1984, edition = {second}, } @book{barr:cate90, author = {Michael Barr and Charles Wells}, title = {Category Theory for Computing Science}, publisher = {Prentice-Hall}, year = 1990, } @book{barr:topo85, author = {Michael Barr and Charles Wells}, title = {Toposes, Triples and Theories}, publisher = {Springer-Verlag}, year = 1985, series = {Grundlehren der math. Wiss.}, volume = 278, } @incollection{barw:cons93, author = {Jon Barwise}, title = {Constraints, Channels and the Flow of Information}, booktitle = {Situation Theory and Its Applications, 3}, series = CSLILN, number = 37, publisher = CSLIPubs, year = 1993, editor = {Aczel and Israel and Katagiri and Peters}, address = {Stanford}, } @incollection{barw:diag94, author = {Jon Barwise and Eric Hammer}, title = {Diagrams and the Concept of Logical Systems}, year = 1994, series = {Studies in Logic and Computation}, volume = 4, booktitle = {What is a Logical System?}, editor = {Dov Gabbay}, publisher = {Oxford University Press}, address = {Oxford}, } @article{barw:gene81, author = {Jon Barwise and Robin Cooper}, title = {Generalized Quantifiers and Natural Language}, journal = {Linguistics and Philosophy}, year = 1981, volume = 4, pages = {159--219}, } @article{barw:impe93, author = {Jon Barwise and Jerry Seligman}, title = {Imperfect Information Flow}, journal = {Proceedings of the 8th Annual IEEE Symposium on Logic in Computer Science}, year = 1993, } @incollection{barw:info90, author = {Jon Barwise and John Etchemendy}, title = {Information, Infons, and Inference}, booktitle = {Situation Theory and Its Applications 1}, series = CSLILN, number = 22, publisher = CSLIPubs, year = 1990, editor = {Robin Cooper and Kuniaki Mukai and John Perry}, pages = {33--78}, address = {Stanford}, } @inproceedings{barw:info96, author = {J. Barwise and D. Gabbay and C. Hartonas}, title = {Information Flow and the {L}ambek Calculus}, editor = {J. Seligman and D. Westerstahl}, booktitle = {Logic, Language and Computation, Proc. Information-Oriented Approaches to Logic, Language and Computation}, publisher = CSLILN, year = 1996, volume = 58, pages = {47-62}, url = {ftp://ftp.cogs.susx.ac.uk/pub/users/hartonas/iflc.ps.gz}, keywords = {information flow and logic}, } @incollection{barw:mode89, author = {Jon Barwise and John Etchemendy}, year = 1989, title = {Model-Theoretic Semantics}, booktitle = {Foundations of Cognitive Science}, editor = {M. I. Posner}, publisher = {MIT Press}, address = {Cambridge, MA}, pages = {207--243}, } @incollection{barw:note89, author = {Jon Barwise}, title = {Notes on Branch Points in Situation Theory}, booktitle = {The Situation in Logic}, series = CSLILN, number = 17, pages = {255--276}, editor = {Jon Barwise}, address = {Stanford}, publisher = CSLIPubs, year = 1989, } @article{barw:onth95, author = {J. Barwise and D. Gabbay and C. Hartonas}, title = {On the Logic of Information Flow}, journal = {Bulletin of the Interest Group in Pure and Applied Logics ({IGPL})}, publisher = {Max Plank Institute for Informatics and Imperial College Press}, volume = 3, number = 1, year = 1995, pages = {7-49}, url = {ftp://ftp.cogs.susx.ac.uk/pub/users/hartonas/lif.ps.gz}, keywords = {information flow and logic}, } @incollection{barw:righ94, author = {Jon Barwise and Jerry Seligman}, title = {The Rights and Wrongs of Natural Regularity}, year = 1994, booktitle = {Philosophical Perspectives}, volume = 8, editor = {James Tomberlin}, publisher = {Ridgeview}, address = {California}, } @article{barw:shif85, author = {Jon Barwise and John Perry}, year = 1985, title = {Shifting Situations and Shaken Attitudes}, journal = {Linguistics and Philosophy}, volume = 8, pages = {105--161}, } @book{barw:situ83, author = {Jon Barwise and John Perry}, title = {Situations and Attitudes}, publisher = {MIT Press, Bradford Books}, year = 1983, } @incollection{barw:situ89, author = {Jon Barwise}, title = {Situations, Facts, and True Propositions}, booktitle = {The Situation in Logic}, series = CSLILN, number = 17, publisher = CSLIPubs, year = 1989, pages = {221--254}, address = {Stanford}, } @book{barw:thel87, author = {Jon Barwise and John Etchemendy}, title = {The Liar}, year = 1987, publisher = {Oxford University Press}, address = {Oxford}, } @book{barw:thes89, author = {Jon Barwise}, title = {The Situation in Logic}, publisher = CSLIPubs, year = 1989, series = CSLILN, number = 17, } @incollection{beal:cons99, author = {JC Beall and Greg Restall}, title = {Logical Consequence}, editor = {Edward N. Zalta}, booktitle = {Stanford Encyclopedia of Philosophy}, publisher = {CSLI}, address = {Stanford University}, year = {forthcoming}, } @incollection{beal:defe00, author = {JC Beall and Greg Restall}, title = {Defending Logical Pluralism}, booktitle = {Logical Consequences}, editor = {B. Brown and J. Woods}, publisher = {Kluwer Academic Publishers}, year = {to appear}, } @unpublished{beal:ecac99, author = {JC Beall}, title = {Existence Claims and Causality: What Is The Connection?}, year = 1999, note = {Under consideration, {\em Australasian Journal of Philosophy}}, } @incollection{beal:fiea99, author = {JC Beall}, title = {Philosophy of Logic}, editor = {J. Fieser and B. Dowden}, booktitle = {Internet Encyclopedia of Philosophy}, address = {University of Tennessee (Martin)}, year = {forthcoming}, } @incollection{beal:fieb99, author = {JC Beall}, title = {Formal Logic}, editor = {J. Fieser and B. Dowden}, booktitle = {Internet Encyclopedia of Philosophy}, address = {University of Tennessee (Martin)}, year = {forthcoming}, } @incollection{beal:fiec99, author = {JC Beall}, title = {Paradox}, editor = {J. Fieser and B. Dowden}, booktitle = {Internet Encyclopedia of Philosophy}, address = {University of Tennessee (Martin)}, year = {forthcoming}, } @incollection{beal:fied99, author = {JC Beall}, title = {Paraconsistent Logic}, editor = {J. Fieser and B. Dowden}, booktitle = {Internet Encyclopedia of Philosophy}, address = {University of Tennessee (Martin)}, year = {forthcoming}, } @incollection{beal:fiee99, author = {JC Beall}, title = {Dialethism}, editor = {J. Fieser and B. Dowden}, booktitle = {Internet Encyclopedia of Philosophy}, address = {University of Tennessee (Martin)}, year = {forthcoming}, } @unpublished{beal:fitc99, author = {JC Beall}, title = {Fitch's Proof, Verificationism, and the Knower Paradox}, year = 1999, note = {Under consideration, {\em Australasian Journal of Philosophy}}, } @unpublished{beal:free99, author = {JC Beall}, title = {Freedom and Plurality}, year = {In progress}, note = {This is an invited paper to the 2002 special edition of {\em The Monist} on the topic of logical consequence}, } @article{beal:from99, author = {JC Beall}, title = {From Full Blooded Platonism To Really Full Blooded Platonism}, year = 1999, journal = {To appear, {\em Philosophia Mathematica}}, } @article{beal:itow99, author = {JC Beall}, title = {Is The Observable World Consistent?}, journal = {Australasian Journal of Philosophy}, year = {forthcoming}, } @unpublished{beal:logi99, author = {JC Beall and Greg Restall}, title = {Logical Pluralism}, year = 1999, note = {Under consideration, Year 2000 special issue on Logic of the \emph{Australasian Journal of Philosophy}}, } @book{beal:mmvl??, author = {JC Beall and Bas C. van Fraassen}, title = {Modal and Many-Valued Logic}, year = {In progress}, } @unpublished{beal:prob99, author = {JC Beall}, title = {Dialethism and the Probability of Contradictions}, year = 1999, note = {Under consideration, {\em Analysis}}, } @unpublished{beal:thou99, author = {JC Beall}, title = {Thought and Existence}, year = 1999, note = {Under consideration, {\em Philosophy}}, } @unpublished{beal:triv99, author = {JC Beall}, title = {How to be a trivialist}, year = {In progress}, note = {This is an invited paper to a volume dedicated to the work of Richard Sylvan}, } @unpublished{beal:true99, author = {JC Beall}, title = {True Contradictions and Lewis' Pseudostare}, year = 1999, note = {Under consideration, {\em Philosophy}}, } @unpublished{beal:yabl99, author = {JC Beall}, title = {Completing Sorensen's Menu: A Non-Modal Yabloesque Curry}, year = 1999, note = {Under consideration, {\em Mind}}, } @book{bees:foun85, author = {Michael Beeson}, title = {Foundations of Constructive Mathematics: Metamathematical Studies}, publisher = {Springer Verlag}, year = 1985, address = {Berlin}, } @article{bell:anew86, author = {J. L. Bell}, title = {A New Approach to Quantum Logic}, journal = {British Journal for the Philosophy of Science}, volume = 37, year = 1986, pages = {83--99}, } @book{bell:mode69, author = {J. L. Bell and A. B. Slomson}, title = {Models and Ultraproducts: An Introduction}, year = 1969, publisher = {North Holland}, } @article{bell:onth88, author = {Bellissima, Fabio}, title = {On the Lattice of Extensions of the Modal Logics {K}.{Alt}$_n$}, journal = AfML, volume = 27, year = 1988, pages = {107--114}, } @article{bell:post90, author = {Bellissima, Fabio}, title = {Post Complete and 0-Axiomatizable Modal Logics}, journal = {Annals of Pure and Applied Logic}, volume = 47, year = 1990, } @book{bell:topo88, author = {J. L. Bell}, title = {Toposes and Local Set Theories: An Introduction}, publisher = {Clarendon Press}, address = {Oxford}, year = 1988, } @article{beln:acon80, author = {N. D. {Belnap Jr.} and A. Gupta and J. Michael Dunn}, title = {A consecution calculus for positive relevant implication with necessity}, journal = JPL, volume = 9, pages = {343--362}, year = 1980, } @techreport{beln:adec61, author = {N. D. {Belnap Jr.} and J. R. Wallace}, title = {A Decision Procedure for the System ${E}_{\overline{I}}$ of Entailment With Negation}, number = {11, Contract No. SAR/609 (16)}, institution = {Office of Naval Research, New Haven}, note = {Also published as~\cite{beln:adec65}}, year = {1961}, } @article{beln:adec65, author = {N. D. {Belnap Jr.} and J. R. Wallace}, title = {A Decision Procedure for the System ${E}_{\overline{I}}$ of Entailment With Negation}, journal = ZML, year = 1965, volume = 11, pages = {261--277}, } @techreport{beln:afor60, author = {Nuel D. Belnap}, title = {A Formal Analysis of Entailment}, number = {Contract No. SAR/Nonr. 609(16)}, institution = {Office of Naval Research, New Haven}, year = 1960, } @incollection{beln:ause77, author = {Nuel D. Belnap}, title = {A Useful Four-Valued Logic}, pages = {8--37}, booktitle = {Modern Uses of Multiple-Valued Logics}, publisher = {Reidel}, address = {Dordrecht}, editor = {{J. Michael} Dunn and George Epstein}, year = 1977, } @article{beln:bran92, author = {Nuel D. Belnap}, title = {Branching Space-Time}, journal = {Synthese}, year = 1992, pages = {385-434}, volume = 92, } @article{beln:disp82, author = {Nuel D. Belnap}, title = {Display Logic}, journal = JSL, year = 1982, volume = 11, pages = {357--417}, } @article{beln:enta60, author = {Nuel D. Belnap}, title = {Entailment and Relevance}, journal = JSL, volume = 25, pages = {144--146}, year = 1960, } @incollection{beln:enta81, author = {Nuel D. Belnap and J. Michael Dunn}, title = {Entailment and the Disjunctive Syllogism}, booktitle = {Philosophy of Language / Philosophical Logic}, publisher = {Martinus Nijhoff}, year = 1981, editor = {F. Fl{\o}i\-stad and G. H. von Wright}, pages = {337--366}, address = {The Hague}, note = {Reprinted as Section~80 in \emph{Entailment} Volume 2,~\cite{ande:enta92}}, } @article{beln:eqan60, author = {Nuel D. Belnap}, title = {{EQ} and the First-Order Functional Calculus}, journal = ZML, volume = 6, pages = {217--218}, year = 1960, } @article{beln:firs60, author = {Nuel D. Belnap}, title = {First Degree Formulas}, journal = JSL, volume = 25, pages = {388--389}, year = 1960, note = {(Abstract.)}, } @incollection{beln:howa77, author = {Nuel D. Belnap}, title = {How a Computer Should Think}, editor = {G. Ryle}, booktitle = {Contemporary Aspects of Philosophy}, publisher = {Oriel Press}, year = 1977, } @article{beln:inde94, author = {Nuel Belnap and Mitchell Green}, title = {Indeterminism and the Thin Red Line}, journal = {Philosophical Perspectives (Logic and Language)}, year = 1994, volume = 8, pages = {365--388}, } @article{beln:inte66, author = {Nuel D. Belnap and J. H. Spencer}, title = {Intensionally complemented distributive lattices}, journal = {Portugaliae Mathematica}, volume = 25, pages = {99--104}, year = 1966, } @article{beln:inte67, author = {Nuel D. Belnap}, title = {Intensional Models for First Degree Formulas}, journal = JSL, volume = 32, pages = {1--22}, year = 1967, } @incollection{beln:life93, author = {Nuel D. Belnap}, title = {Life in the Undistributed Middle}, booktitle = {Substructural Logics}, publisher = {Oxford University Press}, year = 1993, editor = {Peter Schroeder-Heister and Kosta Do{\v{s}}en}, pages = {31--41}, } @article{beln:line90, author = {Nuel D. Belnap}, title = {Linear Logic Displayed}, journal = NDJFL, year = 1990, volume = 31, pages = {15--25}, } @article{beln:spec67, author = {Nuel D. Belnap}, title = {Special Cases of the Decision Problem of Relevant Implication}, journal = JSL, volume = 32, pages = {431--432}, year = 1967, note = {(Abstract.)}, } @book{beln:ther93, author = {Nuel Belnap and Anil Gupta}, title = {The Revision Theory of Truth}, publisher = {MIT Press}, year = 1993, } @article{beln:tonk62, author = {Nuel D. Belnap}, title = {Tonk, Plonk and Plink}, year = 1962, journal = {Analysis}, volume = 22, pages = {130--134}, } @article{bena:dete82, author = {M. Ben-Ari and J. I. Halpern and A. Pnueli}, title = {Deterministic Propositional Dynamic Logic: finite models, complexity and completeness}, journal = {Journal of Computer and System Sciences}, volume = 25, year = 1982, pages = {402--417}, } @article{bena:math73, author = {Paul Benacerraf}, title = {Mathematical Truth}, journal = {Journal of Philosophy}, volume = 70, pages = {661--679}, year = 1973, } @article{benn:enta69, author = {Jonathan Bennett}, title = {Entailment}, journal = {The Philosophical Review}, volume = 68, pages = {197--236}, year = 1969, } @inproceedings{bent:ater93, author = {Nick Benton and G. M. Bierman and J. Martin E. Hyland and Valeria de Paiva}, title = {A Term Calculus for Intuitionistic Linear Logic}, editor = {M. Bezem and J. F. Groote}, pages = {75--90}, year = 1993, booktitle = {Proceedings of the International Conference on Typed Lambda Calculi and Applications}, publisher = {Springer-Verlag}, series = LNCS, volume = 664, } @inproceedings{bent:line92, author = {Nick Benton and G. M. Bierman and J. Martin E. Hyland and Valeria de Paiva}, title = {Linear $\lambda$-Calculus and Categorical Models Revisited}, editor = {E. B{\"o}rger}, pages = {61--84}, year = 1992, booktitle = {Proceedings of the Sixth Workshop on Computer Science Logic}, publisher = {Springer-Verlag}, volume = 702, series = LNCS, } @inproceedings{bent:line96, author = {Nick Benton and Philip Wadler}, title = {Linear logic, monads, and the lambda calculus}, booktitle = {11'th IEEE Symposium on Logic in Computer Science}, year = 1996, address = {Trenton, New Jersey}, month = {July}, } @techreport{bent:term92, author = {Nick Benton and G. M. Bierman and J. Martin E. Hyland and Valeria de Paiva}, title = {Term Assignment for Intuitionistic Linear Logic}, institution = {Computer Laboratory, University of Cambridge}, number = 262, month = aug, year = 1992, urldvi = {file://theory.doc.ic.ac.uk/theory/papers/dePaiva/taill.dvi.gz}, } @article{bera:onth93, author = {A. Berarducci and R. Verbrugge}, title = {On the Provability Logic of Bounded Arithmetic}, journal = {Annals of Pure and Applied Mathematics}, volume = 61, year = 1993, pages = {75--95}, } @incollection{beth:baon65, author = {E. Beth}, title = {Banks ab omni naevo vindicatus}, year = 1965, editor = {A. Tymieniecka}, publisher = {Amsterdam: North Holland}, pages = {98--106}, booktitle = {Contributions to Logic and Methodology in Honor of J.M. Bochenski}, } @article{beth:sema55, author = {Evert W. Beth}, title = {Semantic Entailment and Formal Derivability}, journal = {Koninklijke Nederlandse Akademie van Wentenschappen, Proceedings of the Section of Sciences}, volume = 18, pages = {309--342}, year = 1955, } @article{beth:sema56, author = {Evert W. Beth}, title = {Semantic Construction of Intuitionistic Logic}, journal = {Koninklijke Nederlandse Akademie van Wentenschappen, Proceedings of the Section of Sciences}, volume = 19, pages = {357--388}, year = 1956, } @book{beth:thef64, author = {Evert W. Beth}, title = {The Foundations of Mathematics: A Study in the Philosophy of Science}, publisher = {Harper \& Row}, year = 1964, edition = {Second}, } @article{bial:onth57, author = {A. {Bia{\l}ynicki-Birula} and H. Rasiowa}, title = {On the Representation of Quasi-Boolean Algebras}, journal = {Bulletin de L'acad{\'{e}}mie Polonaise des Sciences}, volume = 5, pages = {259--261}, year = 1957, } @book{bige:ther88, author = {John Bigelow}, title = {The Reality of Numbers}, publisher = {Oxford University Press}, address = {Oxford}, year = 1988, } @book{bird:intr88, author = {Richard Bird and Philip Wadler}, title = {Introduction to Functional Programming}, publisher = {Prentice-Hall International}, year = 1988, series = {Prentice-Hall International Series in Computer Science}, } @book{birk:latt73, author = {Birkhoff, Gareth}, title = {Lattice Theory}, publisher = {American Mathematical Society Colloquium Publications}, address = {Rhode Island}, year = 1973, } @book{bish:cons85, author = {Errett Bishop and Douglas Bridges}, title = {Constructive Analysis}, publisher = {Springer-Verlag}, year = 1985, } @book{bish:foun67, author = {Errett Bishop}, title = {Foundations of Constructive Analysis}, publisher = {McGraw-Hill}, year = 1967, note = {Out of print. A revised and extended version of this volume has appeared~\cite{bish:cons85}}, } @article{blac:amod93, author = {Blackburn, Patrick AND Spaan, Edith}, title = {A Modal Perspective on the Computational Complexity of Attribute Value Grammar}, journal = {Journal of Logic, Language and Information}, year = 1993, volume = 2, pages = {129--169}, } @inproceedings{blac:deci93, author = {Blackburn, Patrick AND Spaan, Edith}, title = {Decidability and Undecidability in Stand-Alone Feature Logics}, booktitle = {Proceedings of the $6^{th}$ Conference of the EACL}, year = 1993, } @bibtex{blac:hybr98, title = {Hybrid Completeness}, author = {P. Blackburn and M. Tzakova}, pages = {625--650}, volume = 6, number = 4, year = 1998, journal = {Logic Journal of the IGPL}, } @incollection{blac:moda93, author = {Blackburn, Patrick}, title = {Modal Logic and Attribute Value Structures}, booktitle = {Diamonds and Defaults}, editor = {de Rijke, Maarten}, publisher = {Kluwer}, year = 1993, pages = {19--65}, series = {Synthese No. 229}, } @phdthesis{blac:nomi89, author = {Blackburn, Patrick}, title = {Nominal Tense Logic and Other Sorted Intensional Frameworks}, school = {University of Edinburgh}, year = 1989, } @book{blac:spre84, author = {Simon Blackburn}, title = {Spreading the Word}, publisher = {Clarendon Press}, year = 1984, } @inproceedings{blac:talk93, author = {Blackburn, Patrick AND Gardent, Claire AND Meyer-Viol, Wilfried}, title = {Talking about Trees}, booktitle = {Proceedings of the $6^{th}$ Conference of the EACL}, year = 1993, } @techreport{blac:zoom94, author = {Patrick Blackburn and Maarten de Rijke}, title = {Zooming In, Zooming Out}, institution = {CWI, Amsterdam}, year = 1994, number = {CS-R94??}, } @incollection{blam:part86, author = {S. Blamey}, title = {Partial Logic}, booktitle = {Handbook of Philosophical Logic}, publisher = {Reidel}, address = {Dordrecht}, year = 1986, editor = {Dov M. Gabbay and Franz G{\"{u}}nthner}, volume = 3, } @techreport{blok:onth80, author = {Wim Blok}, title = {On the Degree of Incompleteness in Modal Logics and the Covering Relation in the Lattice of Modal Logics}, institution = {Department of Mathematics, University of Amsterdam}, number = {78-07}, year = 1980, } @article{blok:pret80, author = {Wim Blok}, title = {Pretabular Varieties of Modal Algebras}, journal = SL, volume = 39, year = 1980, pages = {101--124}, } @article{blok:thef77, author = {Wim Blok}, title = {The Free Closure Algebra on Finitely Many Generators}, journal = {Indagationes Mathematicae}, volume = 39, year = 1977, pages = {362--379}, } @article{blok:thel80, author = {Wim Blok}, title = {The Lattice of Modal Logics: An algebraic Investigation}, journal = JSL, volume = 45, year = 1980, pages = {221--236}, } @phdthesis{blok:vari76, author = {Wim Blok}, title = {Varieties of Interior Algebras}, school = {University of Amsterdam}, year = 1976, } @article{blut:bang96, author = {Richard Blute and J. R. B. Cockett and R. A. G. Seely}, title = {{!} and {?} Storage as Tensorial Strength}, volume = 6, number = 4, pages = {313--351}, year = 1996, journal = {Mathematical Structures in Computer Science}, note = {Available from \url{ftp://triples.math.mcgill.ca/pub/rags/bang/bang.ps.gz}}, } @article{blut:cate97, author = {Richard Blute and J. R. B. Cockett and R. A. G. Seely}, title = {Categories for computation in context and unified logic}, volume = 116, pages = {49--98}, year = 1997, journal = {Journal of Pure and Applied Algebra}, note = {Available from \url{ftp://triples.math.mcgill.ca/pub/rags/bang/context1.ps.gz}}, } @unpublished{blut:fock94, author = {Richard Blute and Prakash Panangaden and R. A. G. Seely}, title = {{Fock} Space: {A} Model of Linear Exponential Types}, year = 1994, note = {Manuscript, revised version of MFPS IX paper Available from \url{ftp://triples.math.mcgill.ca/pub/rags/fock/fock.ps.gz}}, } @inproceedings{blut:holo93, author = {Richard Blute and Prakash Panangaden and R. A. G. Seely}, title = {Holomorphic Models of Exponential types in Linear Logic}, booktitle = {Proceedings of the Nineth International Conference on Mathematical Foundations of Programming Semantics}, address = {New Orleans, Louisiana}, month = {April}, year = 1993, pages = {474--512}, editor = {S. Brookes and M. Main and A. Melton and M. Mislove and D. Schmidt}, } @article{blut:natu96, author = {Richard Blute and J. R. B. Cockett and R. A. G. Seely and T. H. Trimble}, title = {Natural Deduction and Coherence for Weakly Distributive Categories}, year = 1996, pages = {229--296}, number = 3, volume = 13, journal = {Journal of Pure and Applied Algebra}, note = {Available from \url{ftp://triples.math.mcgill.ca/pub/rags/nets/nets.ps.gz}}, } @book{bool:comp89, author = {George Boolos and Richard Jeffrey}, title = {Computability and Logic}, publisher = {Oxford University Press}, year = 1989, edition = {Third}, } @book{bool:logi9?, author = {George Boolos}, title = {The Logic of Provability}, publisher = {Cambridge}, year = {199?}, } @article{bool:nomi85, author = {George Boolos}, title = {Nominalist Platonism}, journal = {Philosophical Review}, volume = 94, pages = {327--344}, year = 1985, } @book{bost:inte97, author = {David Bostock}, title = {Intermediate Logic}, publisher = {Oxford University Press}, year = 1997, } @book{bour:alge89, author = {Nicolas Bourbaki}, title = {Algebra {I}: Chapters 1-3}, publisher = {Springer-Verlag}, year = 1989, note = {Originally published as {\'El\'ements de Math\'ematique, Alg\`ebre}, 1970}, } @book{bowk:sens73, author = {John Bowker}, title = {The Sense of God}, publisher = {Clarendon Press}, year = 1973, address = {Oxford}, } @article{bozi:mode84, author = {M. Bo{\v{z}}i{\'{c}} and Kosta Do{\v{s}}en}, title = {Models for Normal Intuitionistic Modal Logics}, journal = SL, year = 1984, volume = 43, pages = {217--245}, } @article{brad:cont88, author = {Ross T. Brady}, title = {A Content Semantics for Quantified Relevant Logics I}, journal = SL, year = 1988, volume = 47, pages = {111--127}, } @article{brad:gent91, author = {Ross T. Brady}, title = {Gentzenization and Decidability of some Contraction-Less Relevant Logics}, journal = JPL, year = 1991, volume = 20, pages = {97--117}, } @article{brad:natu84, author = {Ross T. Brady}, title = {Natural Deduction Systems for some Quantified Relevant Logics}, journal = LA, volume = 27, year = 1984, pages = {355--377}, } @article{brad:rele96, author = {Ross T. Brady}, title = {Relevant Implication and the Case for a Weaker Logic}, journal = JPL, volume = 25, pages = {151--183}, year = 1996, } @article{brad:rule94, author = {Ross T. Brady}, title = {Rules in Relevant Logic --- {I}: Semantic Classification}, journal = JPL, volume = 23, pages = {111--137}, year = 1994, } @incollection{brad:then89, author = {Ross T. Brady}, title = {The Non-Triviality of Dialectical Set Theory}, editor = {Graham Priest and Richard Routley and Jean Norman}, booktitle = {Paraconsistent Logic: Essays on the Inconsistent}, year = 1989, pages = {437--470}, publisher = {Philosophia Verlag}, } @incollection{brad:then89a, author = {Ross T. Brady and Richard Routley}, title = {The Non-Triviality of Extensional Dialectical Set Theory}, editor = {Graham Priest and Richard Routley and Jean Norman}, booktitle = {Paraconsistent Logic: Essays on the Inconsistent}, year = 1989, pages = {415--436}, publisher = {Philosophia Verlag}, } @article{brad:thes83, author = {Ross T. Brady}, title = {The Simple Consistency of a Set Theory Based on the Logic {CSQ}}, journal = NDJFL, volume = 24, pages = {431--449}, year = 1983, } @book{bran:maki94, author = {Robert B. Brandom}, title = {Making It Explicit}, publisher = {Harvard University Press}, year = 1994, } @article{bric:iaut96, author = {Phillip Bricker}, title = {Isolation and Unification: The Realist Analysis of Possible Worlds}, journal = {Philosophical Studies}, volume = 84, pages = {225--238}, year = 1996, } @incollection{bric:isla99, author = {Phillip Bricker}, title = {Island Universes and the Analysis of Modality}, booktitle = {Reality and Humean Supervenience: Essays on the Philosophy of David Lewis}, editor = {Gerhard Preyer and Frank Seibelt}, publisher = {Rowman and Littlefield}, year = {(in press)}, } @article{bric:pops91, author = {Phillip Bricker}, title = {Plenitude of Possible Structures}, journal = JP, volume = 88, pages = {607--619}, year = 1991, } @incollection{bric:qmla89, author = {Phillip Bricker}, title = {Quantified Modal Logic and the Plural De Re}, booktitle = {Midwest Studies in Philosophy}, volume = 14, editor = {French, Uehling, and Wettstein}, publisher = {University of Notre Dame Press}, year = 1989, } @incollection{bric:tfos93, author = {Phillip Bricker}, title = {The Fabric of Space: Intrinsic vs Extrinsic Distance Relations}, booktitle = {Midwest Studies in Philosophy}, volume = 18, editor = {French, Uehling, and Wettstein}, publisher = {University of Notre Dame Press}, year = 1993, } @book{brid:cons79, author = {Douglas S. Bridges}, title = {Constructive Functional Analysis}, publisher = {Pitman}, year = 1979, volume = 28, series = {Research Notes in Mathematics}, } @article{brou:deon08, author = {L. E. J. Brouwer}, title = {De onbetrouwbaarheid der Logische Principes}, journal = {Tijdschrift voor wijsbegeerte}, year = 1908, volume = 2, pages = {152--158}, note = {English title, ``The Unreliability of Logical Principles'', English translation in~\cite{heyt:brou75}}, } @book{brou:over07, author = {L. E. J. Brouwer}, title = {Over de Grondslagen der Wiskunde}, publisher = {Maas \& van Suchtelen}, address = {Amsterdam}, year = 1907, note = {English title, \emph{Foundations of Mathematics}, English translation in~\cite{heyt:brou75}}, } @book{brow:smok94, author = {James Robert Brown}, title = {Smoke and Mirrors: How Science Reflects Reality}, publisher = {Routledge}, address = {London}, year = 1994, } @incollection{bull:basi84, author = {Robert A. Bull and Krister Segerberg}, title = {Basic Modal Logic}, booktitle = {Handbook of Philosophical Logic}, volume = 2, publisher = {Reidel}, address = {Dordrecht}, editor = {Dov M. Gabbay and Franz G{\"{u}}nthner}, year = 1984, pages = {1--88}, } @article{bull:that66, author = {Robert A. Bull}, title = {That All Normal Extensions of {S}4.3 Have the Finite Model Property}, journal = ZML, volume = 12, year = 1966, pages = {341--344}, } @techreport{bund:bckp85, author = {Martin Bunder}, title = {{BCK}-Predicate Logic as a Foundation of Multiset Theory}, institution = {Mathematics Department, University of Wollongong}, year = 1985, } @article{burg:rele81, author = {J. P. Burgess}, title = {Relevance: A Fallacy?}, journal = NDJFL, volume = 22, pages = {97--104}, year = 1981, } @incollection{burg:tens84, author = {John P. Burgess}, title = {Basic Tense Logic}, booktitle = {Handbook of Philosophical Logic}, volume = 2, publisher = {Reidel}, editor = {Dov M. Gabbay and Franz G{\"{u}}nthner}, year = 1984, pages = {89--133}, } @article{burg:theu78, author = {John Burgess}, title = {The Unreal Future}, journal = {Theoria}, year = 1978, volume = 44, pages = {157--174}, } @article{busz:comp86, author = {Wojciech Buszkowski}, title = {Completeness Results for {L}ambek Syntactic Calculus}, journal = ZML, volume = 32, pages = {229--238}, year = 1986, } @article{busz:thef96, author = {Wojciech Buszkowski}, title = {The Finite Model Property for {BCI} and Related Systems}, journal = SL, volume = 57, pages = {303--323}, year = 1996, } @incollection{carn:fola39, author = {Rudolf Carnap}, booktitle = {Foundations of Logic and Mathematics}, series = {International Encyclopedia of Unified Science}, publisher = {The University of Chicago Press}, year = 1939, editor = {Otto Neurath}, } @book{carp:thel92, author = {Carpenter, Bob}, title = {The Logic of Typed Feature Structures}, publisher = {Cambridge University Press}, series = {Cambridge Tracts in Theoretical Computer Science 32}, year = 1992, } @book{cart:phes87, author = {Richard Cartwright}, title = {Philosophical Essays}, publisher = {MIT Press}, year = 1987, } @book{cast:thin75, author = {H. N. Casta{\~{n}}eda}, title = {Thinking and Doing: The Philosophical Foundations of Institutions}, publisher = {Reidel}, address = {Dordrecht}, year = 1975, } @article{cela:anew97, author = {S. Celani and R. Jansana}, title = {A New Semantics for Positive Modal Logic}, journal = NDJFL, volume = 38, pages = {1--??}, year = 1997, } @article{chag:unde91, author = {L. A. Chagrova}, title = {Undecidable Problems in Correspondency Theory}, journal = JSL, volume = 56, year = 1991, pages = {1261--1272}, } @article{chag:unde93, author = {Alexander Chagrov and Michael Zakharyaschev}, title = {The undecidability of the disjunction property and other related problems}, journal = JSL, volume = 58, year = 1993, pages = {967--1002}, } @article{char:anax81, author = {G. W. Charlewood}, title = {An axiomatic version of positive semi-lattice relevance logic}, journal = JSL, volume = 46, pages = {233--239}, year = 1981, } @phdthesis{char:repr78, author = {G. W. Charlewood}, title = {Representations of Semilattice Relevance Logic}, school = {University of Toronto}, year = 1978, } @book{chel:moda80, author = {Brian F. Chellas}, year = 1980, title = {Modal Logic: An Introduction}, address = {Cambridge}, publisher = {Cambridge University Press}, } @article{chey:ecac98, author = {Colin Cheyne}, title = {Existence Claims and Causality}, journal = {Australasian Journal of Philosophy}, volume = 76, number = 1, pages = {34--47}, year = 1998, } @article{chey:pwpp99, author = {Colin Cheyne}, title = {Problems with Profligate Platonism}, journal = {Philosophia Mathematica}, volume = {forthcoming}, } @incollection{chih:ttat98, author = {C. Chihara}, title = {Tarski's Thesis and the Ontology of Mathematics}, booktitle = {The Philosophy of Mathematics}, publisher = {Oxford University Press}, year = 1998, editor = {Matthias Schirn}, } @book{chis:thep73, author = {R.M. Chisholm}, title = {The Problem of the Criterion}, publisher = {Marquette University Press}, year = 1973, } @article{chom:barr86, author = {Noam Chomsky}, title = {Barriers}, journal = {Linguistic Inquiry Monograph}, year = 1986, volume = 13, } @book{chom:lect81, author = {Noam Chomsky}, title = {Lectures on Government and Binding}, publisher = {Foris}, year = 1981, address = {Dordrecht}, } @book{chur:intr56, author = {Alonzo Church}, title = {Introduction to Mathematical Logic}, publisher = {Princeton University Press}, year = 1956, edition = {second}, } @book{chur:thec41, author = {Alonzo Church}, title = {The Calculi of Lambda-Conversion}, publisher = {Princeton University Press}, number = 6, series = {Annals of Mathematical Studies}, year = 1941, } @incollection{chur:thew51, author = {Alonzo Church}, title = {The Weak Theory of Implication}, booktitle = {Kontroliertes Denken: Untersuchungen zum Logikkalk{\"u}l und zur Logik der Einzelwissenschaften}, publisher = {Kommissions-Verlag Karl Alber}, year = 1951, editor = {A.~Menne and A. Wilhelmy and H. Angsil}, pages = {22-37}, address = {Munich}, note = {Abstracted in ``The Weak Positive Implication Calculus''~\cite{chur:thew51a}.}, } @article{chur:thew51a, author = {Alonzo Church}, title = {The Weak Positive Implication Calculus}, journal = JSL, year = 1951, pages = {238}, volume = 16, note = {Abstract of ``The Weak Theory of Implication''~\cite{chur:thew51}.}, } @article{clar:thee80, author = {M. Clark}, title = {The Equivalence of Tautological and `Strict' Entailment: proof of an amended conjecture of Lewy's}, journal = JSL, volume = 9, pages = {9--15}, year = 1980, } @article{clar:when97, author = {Steve Clarke}, title = {When to believe in Miracles}, journal = {American Philosophical Quarterly}, year = 1997, volume = 34, pages = {95--102}, } @unpublished{cock:line96, author = {J. R. B. Cockett and R. A. G. Seely}, title = {Linearly distributive functors}, year = 1996, note = {Available from \url{ftp://triples.math.mcgill.ca/pub/rags/linear/linmorph.ps.gz}}, } @article{cock:proo97, author = {J. R. B. Cockett and R. A. G. Seely}, title = {Proof Theory for full intuitionistic linear logic, bilinear logic, and MIX categories}, year = 1997, pages = {85--131}, number = 5, volume = 3, journal = {Theory and Applications of categories}, note = {Available from \url{ftp://triples.math.mcgill.ca/pub/rags/nets/fill.ps.gz}}, } @inproceedings{cock:weak91, author = {J. R. B. Cockett and R. A. G. Seely}, title = {Weakly Distributive Categories}, booktitle = {Proc. LMS Symp. on the Applications of Category Theory in Computer Science}, address = {Durham}, editor = {P. T. Johnstone}, year = 1991, } @article{cock:weak97, author = {J. R. B. Cockett and R. A. G. Seely}, title = {Weakly Distributive Categories}, year = 1997, pages = {133--173}, number = 2, volume = 14, journal = {Journal of Pure and Applied Algebra}, note = {Available from \url{{ftp://triples.math.mcgill.ca/pub/rags/linear/wdc.ps.gz}}}, } @article{coly:ctep98, author = {Mark Colyvan}, title = {Can the Eleatic Principle be Justified?}, journal = {Canadian Journal of Philosophy}, volume = 28, pages = {313--336}, year = 1998, } @article{coly:mtaf99, author = {Mark Colyvan and Edward Zalta}, title = {Mathematics: Truth {\em and} Fiction?}, journal = {Philosophia Mathematica}, volume = {forthcoming} } @book{conw:regu71, author = {J. H. Conway}, title = {Regular Algebra and Finite Machines}, publisher = {William Clowes and Sons}, year = 1971, } @article{cope:onwh79, author = {B. J. Copeland}, title = {On When a Semantics is not a Semantics: some reasons for disliking the {R}outley-{M}eyer semantics for relevance logic}, year = 1979, journal = JPL, volume = 8, pages = {399--413}, } @book{cope:hist46, author = {Frederick Copleston, S.J.}, title = {A History of Philosophy: Greece and Rome}, publisher = {??}, year = 1946, volume = {i} } @incollection{cope:prio96, author = {Jack Copeland}, title = {Prior's Life and Legacy}, editor = {Jack Copeland}, booktitle = {Logic and Reality: Essays on the Legacy of Arthur Prior}, publisher = {Clarendon Press}, address = {Oxford}, year = 1996, } @article{copp:func81, author = {M. Coppo and M. Dezani-Ciancaglini and B. Venneri}, title = {Functional Characters of Solvable Terms}, journal = ZML, volume = 27, pages = {45--58}, year = 1981, } @book{craw:alge73, author = {P. Crawley and R. P. Dilworth}, title = {Algebraic Theory of Lattices}, publisher = {Prentice-Hall}, year = 1973, } @article{cres:deci84, author = {Max Creswell}, title = {An Incomplete Decidable Logic}, journal = JSL, volume = 49, year = 1984, pages = {520--527}, } @article{cros:alog94, author = {J. N. Crossley and G. L. Mathai and R. A. G. Seely}, title = {A Logical Calculus for Polynomial-time Realizability}, volume = 1, number = 3, pages = {279--298}, year = 1994, journal = {Methods of Logic in Computer Science}, note = {Available from \url{ftp://triples.math.mcgill.ca/pub/rags/ptime/ptime.ps.gz}}, } @book{curr:athe50, author = {Haskell B. Curry}, title = {A Theory of Formal Deducibility}, series = {Notre Dame Mathematical Lectures}, volume = {6}, publisher = {Notre Dame University Press}, year = 1950, } @book{curr:comb58, author = {Haskell B. Curry and R. Feys}, title = {Combinatory Logic}, volume = 1, publisher = {North Holland}, year = 1958, } @book{curr:comb72, author = {Haskell B. Curry and J. Roger Hindley and Jonathan P. Seldin}, title = {Combinatory Logic}, volume = 2, publisher = {North Holland}, year = 1972, } @book{curr:foun77, author = {Haskell B. Curry}, title = {Foundations of Mathematical Logic}, publisher = {Dover}, year = 1977, note = {Originally published in 1963}, } @incollection{curr:some80, author = {Haskell B. Curry}, title = {Some Philosophical Aspects of Combinatory Logic}, booktitle = {The Kleene Symposium}, publisher = {North Holland}, year = 1980, editor = {J. Barwise and H. J. Keisler and K. Kunen}, pages = {85--101}, address = {Amsterdam}, } @article{daco:asem77, author = {N. C. A. da Costa and E. H. Alves}, title = {A Semantical Analysis of the Calculi {C$_n$}}, journal = NDJFL, volume = 18, pages = {621--630}, year = 1977, } @article{daco:aspe95, author = {Newton da Costa and Jean-Yves B\'eziau and Ot\'avio Bueno}, title = {Aspects of Paraconsistent Logics}, journal = {Bulletin of the Interest Group in Pure and Applied Logic}, year = 1995, volume = 3, number = 4, pages = {597--614}, } @article{daco:onth74, author = {N. C. A. da Costa}, title = {On the Theory of Inconsistent Formal Systems}, journal = NDJFL, volume = 15, pages = {497--510}, year = 1974, } @article{dago:agen94, author = {D'Agostino, Marcello and Gabbay, Dov M.}, title = {A generalization of analytic deduction via labelled deductive systems. Part {I}: Basic Substructural Logics}, journal = {Journal of Automated Reasoning}, volume = 13, year = 1994, pages = {243-281}, } @article{dave:gene87, author = {Davey, B. A. and Priestley, H. A.}, title = {Generalized Piggyback Dualities and Applications to {O}ckham Algebras}, journal = {Houston J. of Mathematics}, volume = 13, number = 2, pages = {151-198}, year = 1987, } @book{dave:intr90, author = {Davey, B. A. and Priestley, H. A.}, title = {Introduction to Lattices and Order}, publisher = {Cambridge University Press}, address = {Cambridge}, year = 1990, } @article{davi:caus67, author = {Donald Davidson}, title = {Causal Relations}, journal = JP, year = 1967, volume = 64, note = {reprinted in \emph{Essays on Actions and Events}~\cite{davi:essa80}}, } @book{davi:essa80, author = {Donald Davidson}, title = {Essays on Actions and Events}, publisher = {Clarendon Press}, year = 1980, address = {Oxford}, } @techreport{davo:alaz92, author = {Jennifer Davoren}, title = {A Lazy Logician's Guide to Linear Logic}, institution = {Department of Mathematics, Monash University}, volume = 76, series = {Monash Logic Papers}, year = 1992, month = jan, } @incollection{dejo:acla80, author = {Dick H. J. de Jongh}, title = {A Class of Intuitionistic Connectives}, booktitle = {The Kleene Symposium}, publisher = {North Holland}, year = 1980, editor = {J. Barwise and H. J. Keisler and K. Kunen}, pages = {103--111}, address = {Amsterdam}, } @article{demo:onth64, author = {A. de Morgan}, title = {On the Syllogism: IV, and on the Logic of Relations}, year = 1864, journal = {Transactions of the Cambridge Philosophical Society}, volume = 10, pages = {331--358}, note = {Read before the Cambridge Philosophical Society on April 23, 1860}, } @incollection{deri:what96, author = {Maarten de Rijke}, title = {What is Modal Logic?}, booktitle = {Arrow Logic and Multi-Modal Logic}, editor = {Maarten Marx and L{\'{a}szl\'{o}} P{\'{o}}los and Michael Mausch}, publisher = CSLIPubs, year = 1996, } @book{devi:real91, author = {Michael Devitt}, title = {Realism and Truth}, publisher = {Blackwell}, year = 1991, edition = {second}, } @book{devl:logi91, author = {Keith Devlin}, title = {Logic and Information}, publisher = {Cambridge University Press}, year = 1991, } @article{deza:ther97, author = {Dezani-Ciancaglini, Mariangiola AND Ghilezan, Silvia AND Venneri, Betti}, title = {The ``Relevance'' of Intersection and Union Types}, journal = NDJFL, volume = 38, pages = {246--??}, year = 1997, } @phdthesis{dipe:deve78, author = {R. R. Dipert}, title = {Development and Crisis in Late Boolean Logic; The Deductive Logics of Peirce, Jevons and Schr{\"{o}}der}, school = {Indiana University}, year = 1978, } @article{dose:abri92, title = {A Brief Survey of Frames for the {Lambek} Calculus}, author = {Kosta Do{\v{s}}en}, journal = ZML, year = 1992, volume = 38, pages = {179--187}, } @article{dose:logi89, author = {Kosta Do{\v{s}}en}, title = {Logical Constants as Punctuation Marks}, journal = NDJFL, volume = 30, pages = {362--381}, year = 1989, } @article{dose:moda92, author = {Kosta Do{\v{s}}en}, title = {Modal Translations in Substructural Logics}, journal = JPL, volume = 21, pages = {283--336}, year = 1992, } @incollection{dose:moda93, author = {Kosta Do{\v{s}}en}, title = {Modal Translations in {K} and {D}}, booktitle = {Diamonds and Defaults}, year = 1993, editor = {Maarten de Rijke}, publisher = {Riedel}, address = {Dordrecht}, pages = {103--127}, } @article{dose:mode85, author = {Kosta Do{\v{s}}en}, title = {Models for Stronger Normal Intuitionistic Logics}, journal = SL, year = 1985, volume = 44, pages = {39--70}, } @incollection{dose:nega96, author = {Kosta Do{\v{s}}en}, title = {Negation in the light of modal logic}, booktitle = {What is Negation?}, year = {199?}, editor = {Dov Gabbay and Heinrich Wansing}, publisher = {Oxford University Press}, } @article{dose:rudi93, title = {Rudimentary Kripke Models for the Intuitionistic Propositional Calculus}, author = {Kosta Do{\v{s}}en}, journal = {Annals of Pure and Applied Logic}, year = 1993, volume = 62, pages = {21--49}, } @article{dose:sequ88, author = {Kosta Do{\v{s}}en}, title = {Sequent Systems and Groupoid Models, Part 1}, journal = SL, volume = 47, pages = {353--386}, year = 1988, } @article{dose:sequ89, author = {Kosta Do{\v{s}}en}, title = {Sequent Systems and Groupoid Models, Part 2}, journal = SL, volume = 48, pages = {41--65}, year = 1989, } @article{dose:thef92, author = {Kosta Do{\v{s}}en}, title = {The First Axiomatisation of Relevant Logic}, journal = JPL, year = 1992, volume = 21, pages = {339--356}, } @article{dowd:acce84, author = {B. Dowden}, title = {Accepting Inconsistencies from the Paradoxes}, journal = JPL, year = 1984, volume = 13, pages = {123--130}, } @book{drag:math87, author = {Dragalin, Albert Grigorevich}, title = {Mathematical Intuitionism: Introduction to Proof Theory}, publisher = {American Mathematical Society}, year = 1987, series = {Translations of Mathematical Monographs}, volume = 67, } @book{dumm:elem77, author = {Michael Dummett}, title = {Elements of Intuitionism}, publisher = {Oxford University Press}, address = {Oxford}, year = 1977, } @article{dunn:agen73, author = {J. Michael Dunn}, title = {A `{G}entzen' System for Positive Relevant Implication}, journal = JSL, year = 1974, volume = 38, pages = {356--357}, note = {(Abstract)}, } @article{dunn:akri76, author = {J. Michael Dunn}, title = {A {K}ripke-style semantics for ${R}$-mingle using a binary accessibility relation}, journal = SL, volume = 35, pages = {163--172}, year = 1976, } @article{dunn:alge70, author = {J. Michael Dunn}, title = {Algebraic Completeness for ${R}$-mingle and its Extensions}, journal = JSL, volume = 35, pages = {1--13}, year = 1970, } @article{dunn:alge71, author = {J. Michael Dunn and Robert K. Meyer}, title = {Algebraic Completeness Results for {D}ummett's {LC} and its Extensions}, journal = ZML, volume = 17, pages = {225--230}, year = 1971, } @article{dunn:anin71, author = {J. Michael Dunn}, title = {An Intuitive Semantics for First Degree Relevant Implications (abstract)}, journal = JSL, volume = 36, pages = {363--363}, year = 1971, } @article{dunn:arel8?, author = {J. Michael Dunn}, title = {A Relational Representation Theorem for {D}e {M}organ Lattices}, journal = NDJFL, volume = ??, pages = ??, year = {198?}, } @techreport{dunn:arep93, author = {J. Michael Dunn}, title = {A Representation of Relation Algebras Using {R}outley--{M}eyer Frames}, institution = {Indiana University Logic Group Preprint Series, IULG--93--28}, year = 1993, } @article{dunn:asie80, author = {J. Michael Dunn}, title = {A Sieve for Entailments}, journal = JPL, volume = 9, pages = {41--57}, year = 1980, } @article{dunn:athe79, author = {J. Michael Dunn}, title = {A Theorem in 3-valued Model Theory With Connections to Number Theory, Type Theory, and Relevant Logic}, journal = SL, volume = 38, pages = {149--169}, year = 1979, } @article{dunn:avar76, author = {J. Michael Dunn}, title = {A Variation on the Binary Semantics for {RM}}, journal = {Relevance Logic Newsletter}, volume = 1, pages = {56--67}, year = 1976, } @article{dunn:comb97, author = {J. Michael Dunn and Robert K. Meyer}, title = {Combinators and Structurally Free Logic}, journal = {Logic Journal of the IGPL}, volume = 5, pages = {505--357}, year = 1997, } @incollection{dunn:gagg91, author = {J. Michael Dunn}, title = {Gaggle Theory: An Abstraction of {G}alois Connections and Residuation with Applications to Negation and Various Logical Operations}, booktitle = {Logics in AI, Proceedings European Workshop JELIA 1990}, publisher = {Springer-Verlag}, series = LNCS, volume = 478, year = 1991, } @incollection{dunn:gagg93, author = {J. Michael Dunn}, title = {Gaggle Theory Applied to Modal, Intuitionistic and Relevance Logics}, booktitle = {Logik und Mathematik: {F}rege-{K}olloquium Jena}, publisher = {de Gruyter}, editor = {I. Max and W. Stelzner}, year = 1993, } @incollection{dunn:gene96, author = {J. Michael Dunn}, title = {Generalised Ortho Negation}, booktitle = {Negation: A Notion in Focus}, publisher = {Walter de Gruyter}, address = {Berlin}, year = 1996, editor = {Heinrich Wansing}, pages = {3--26}, } @incollection{dunn:gent89, author = {J. Michael Dunn and Robert K. Meyer}, title = {Gentzen's Cut and {A}ckermann's $\gamma$}, booktitle = {Directions in Relevant Logic}, publisher = {Kluwer}, address = {Dordrecht}, editor = {Richard Sylvan and Jean Norman}, year = 1989, } @article{dunn:homo68, author = {J. Michael Dunn and Nuel D. {Belnap Jr.}}, title = {Homomorphisms of Intensionally Complemented Distributive Lattices}, journal = {Math. Annalen}, volume = 176, pages = {28--38}, year = 1968, } @article{dunn:intu76, author = {J. Michael Dunn}, title = {Intuitive Semantics for First-Degree Entailments and ``Coupled Trees''}, journal = {Philosophical Studies}, year = 1976, volume = 29, pages = {149--168}, } @article{dunn:isex96, author = {J. Michael Dunn}, title = {Is Existence a (Relevant) Predicate?}, journal = {Philosophical Topics}, volume = 24, pages = {1--34}, year = 1996, } @unpublished{dunn:logi94, author = {J. Michael Dunn}, title = {{A Logical Framwork for the Notion of \emph{Natural Property}}}, note = {Typescript, Department of Philosophy, Indiana University. Available by emailing {\tt dunn@indiana.edu}.}, year = 1994, } @book{dunn:mode77, editor = {J. Michael Dunn and G. Epstein}, title = {Modern Uses of Multiple-Valued Logic}, publisher = {Reidel}, address = {Dordrecht}, year = 1977, } @inproceedings{dunn:natu69, author = {J. Michael Dunn}, title = {Natural Language versus Formal Language}, booktitle = {Joint {APA-APL} Symposium, New York, December 17}, year = 1969, } @incollection{dunn:part93, author = {J. Michael Dunn}, title = {Partial-Gaggles Applied to Logics with Restricted Structural Rules}, booktitle = {Substructural Logics}, year = 1993, publisher = {Oxford University Press}, editor = {Peter Schroeder-Heister and Kosta Do{\v{s}}en}, } @article{dunn:posi95, author = {J. Michael Dunn}, title = {Positive Modal Logic}, journal = SL, volume = 55, pages = {301--317}, year = 1995, } @article{dunn:quan76, author = {J. Michael Dunn}, title = {Quantification and {RM}}, journal = SL, volume = 35, pages = {315--322}, year = 1976, } @article{dunn:rele80, author = {J. Michael Dunn}, title = {Relevant {R}obinson's Arithmetic}, journal = SL, volume = 38, pages = {407--418}, year = 1980, } @incollection{dunn:rele86, author = {J. Michael Dunn}, title = {Relevance Logic and Entailment}, booktitle = {Handbook of Philosophical Logic}, publisher = {Reidel}, address = {Dordrecht}, year = 1986, editor = {Dov M. Gabbay and Franz G{\"{u}}nthner}, volume = 3, pages = {117--229}, } @article{dunn:rele87, title = {Relevant Predication 1: The Formal Theory}, author = {J. Michael Dunn}, journal = JPL, year = 1987, volume = 16, pages = {347-381}, } @article{dunn:rele90, title = {Relevant Predication 2: Intrinsic Properties and Internal Relations}, author = {J. Michael Dunn}, journal = {Philosophical Studies}, year = 1990, volume = 60, pages = {177-206}, } @incollection{dunn:rele90b, author = {J. Michael Dunn}, title = {Relevant Predication 3: Essential Properties}, booktitle = {Truth or Consequences}, publisher = {Kluwer}, year = 1990, editor = {J. Michael Dunn and Anil Gupta}, pages = {77-95}, } @incollection{dunn:rele96, author = {J. Michael Dunn}, title = {Relevant Predication: A Logical Framework for Natural Properties}, booktitle = {The Cosmos of Science}, publisher = {University of Pittsburgh Press and Universitaets Verlug Konstanz}, series = {Pittsburgh--Konstanz Series in the Philosophy and History of Science}, editor = {J. Earman and J. D. Norton}, year = 1996, } @incollection{dunn:rele98, author = {J. Michael Dunn and Greg Restall}, title = {Relevance Logic and Entailment}, booktitle = {Handbook of Philosophical Logic}, publisher = {Kluwer Academic Publishers}, year = {199?}, editor = {Dov Gabbay}, edition = {second}, note = {to appear}, } @article{dunn:rmin79, author = {J. Michael Dunn}, title = {${R}$-mingle and Beneath: Extensions of the {R}outley-{M}eyer Semantics for ${R}$}, journal = NDJFL, volume = 20, pages = {369--376}, year = 1979, } @incollection{dunn:star94, author = {J. Michael Dunn}, title = {Star and Perp: Two Treatments of Negation}, booktitle = {Philosophical Perspectives}, publisher = {Ridgeview Publishing Company}, address = {Atascadero, California}, pages = {331--357}, year = 1994, editor = {James E. Tomberlin}, volume = 7, } @phdthesis{dunn:thea66, author = {J. Michael Dunn}, title = {The Algebra of Intensional Logics}, school = {University of Pittsburgh}, year = 1966, } @article{dunn:thee67, author = {J. Michael Dunn}, title = {The Effective Equivalence of Certain Propositions about {D}e {M}organ Lattices}, journal = JSL, volume = 32, pages = {433--434}, note = {(Abstract)}, year = 1967, } @incollection{dunn:thef89, author = {J. Michael Dunn}, title = {The Frame Problem and Relevant Predication}, booktitle = {Knowledge Representation and Defeasible Reasoning}, publisher = {Kluwer Academic Publishers}, editor = {H. Kyburg and R. Loui and C. Carlson}, year = 1989, } @article{edgi:tpok85, author = {D. Edgington}, title = {The Paradox of Knowability}, journal = {Mind}, volume = 94, pages = {557--568}, year = 1985, } @article{etch:tars88, author = {John Etchemendy}, title = {Tarski on truth and logical consequence}, journal = JSL, volume = 53, number = 1, pages = {51--79}, year = 1988, } @book{etch:thec90, author = {John Etchemendy}, title = {The Concept of Logical Consequence}, publisher = {Harvard University Press}, address = {Cambridge, Mass.}, year = 1990, } @article{evan:pron77, author = {Gareth Evans}, title = {Pronouns, Quantifiers and Relative Clauses}, journal = {Canadian Journal of Philosophy}, year = 1977, volume = 7, pages = {467--536}, } @misc{feys:note55, author = {R. Feys and J. Ladri{\`{e}}re}, title = {Notes to {\em Recherches sur la d\'{E}duction logique}}, note = {Translation of ``Untersuchungen {\"{u}}ber das logische Schliessen''~\cite{gent:unte34}, Paris.}, year = 1955, } @incollection{finb:thel96, author = {Finberg, David and Mainetti, Matteo and Rota, Gian-Carlo}, title = {The Logic of Commuting Equivalence Relations}, booktitle = {Logic and Algebra (Pontignan, 1994)}, publisher = {Dekker}, series = {Lecture Notes in Pure and Applied Mathematics}, volume = 180, pages = {69--96}, year = 1996, } @article{fine:anas74, author = {Fine, Kit}, title = {An Ascending Chain of {S}4 Logics}, journal = {Theoria}, volume = 40, year = 1974, pages = {110--116}, } @article{fine:comp76, author = {Kit Fine}, title = {Completeness for the {S5} Analogue of ${E_I}$}, journal = JSL, volume = 41, pages = {559--560}, year = 1976, } @article{fine:comp76b, author = {Kit Fine}, title = {Completeness for the Semilattice Semantics with Disjunction and Conjunction}, journal = JSL, volume = 41, pages = {560}, year = 1976, } @incollection{fine:conn75, author = {Kit Fine}, title = {Some Connections Between Elementary and Modal Logic}, booktitle = {Proceedings of the Third Scandinavian Logic Symposium}, editor = {Stig Kanger}, publisher = {North Holland}, pages = {15--31}, year = 1975, } @article{fine:inco74, author = {Kit Fine}, title = {An Incomplete Logic Containing {S}4}, journal = {Theoria}, volume = 40, year = 1974, pages = {23--29}, } @incollection{fine:inco89, author = {Kit Fine}, title = {Incompleteness for Quantified Relevance Logics}, booktitle = {Directions in Relevant Logic}, publisher = {Kluwer Academic Publishers}, address = {Dordrecht}, editor = {Jean Norman and Richard Sylvan}, pages = {205--225}, year = 1989, } @article{fine:logi74, author = {Kit Fine}, title = {Logics containing {K}4, {P}art {I}}, journal = JSL, volume = 39, year = 1974, pages = {229--237}, } @article{fine:logi85, author = {Kit Fine}, title = {Logics containing {K}4, {P}art {II}}, journal = JSL, volume = 50, year = 1985, pages = {619--651}, } @article{fine:mode74, author = {Kit Fine}, title = {Models for Entailment}, journal = JPL, year = 1974, volume = 3, pages = {347-372}, } @article{fine:norm75, author = {Kit Fine}, title = {Normal Forms in Modal Logic}, journal = NDJFL, volume = 16, year = 1975, pages = {31--42}, } @article{fine:sema88, author = {Kit Fine}, title = {Semantics for Quantified Relevance Logic}, journal = JPL, year = 1988, volume = 17, pages = {27--59}, } @article{fine:thel71, author = {Kit Fine}, title = {The logics containing {S}4.3}, journal = ZML, volume = 17, year = 1971, pages = {371--376}, } @article{fine:vagu75, author = {Kit Fine}, title = {Vaguness, Truth and Logic}, journal = {Synthese}, year = 1975, pages = {265--300}, volume = 30, } @article{fitt:bila89, author = {Fitting, Melvin C.}, journal = {Journal of Logic Programming}, number = 2, pages = {91--116}, title = {Bilattices and the Semantics of Logic Programming}, volume = 11, year = 1989, keywords = {Multiple-valued logic, semantics, logic programming Bilattices}, } @book{fitt:firs96, author = {Melvin Fitting}, title = {First-Order Logic and Automated Theorem Proving}, publisher = {Springer-Verlag}, year = 1996, edition = {second}, } @book{fitt:intu69, author = {Melvin Fitting}, title = {Intuitionistic Logic, Model Theory and Forcing}, publisher = {North Holland}, address = {Amsterdam}, year = 1969, } @book{fitt:proo83, author = {Melvin Fitting}, title = {Proof Methods for Modal and Intuitionistic Logics}, publisher = {Dordrecht}, year = 1983, } @incollection{fodo:modu87, author = {Jerry Fodor}, title = {Modules, Frames, Fridgeons, Sleeping Dogs, and the Music of the Speheres}, booktitle = {The Robot's Dilemma}, publisher = {Ablex}, year = 1987, editor = {Z. Pylyshyn}, } @book{foge:unde78, author = {R. J. Fogelin}, title = {Understanding Arguments}, publisher = {Harcourt, Brace, Jovanovich}, address = {New York}, year = 1978, } @book{forb:mode94, author = {Graeme Forbes}, title = {Modern Logic}, publisher = {Oxford University Press}, year = 1994, } @article{fox:trut87, author = {John F. Fox}, title = {Truthmaker}, journal = {Australasian Journal of Philosophy}, volume = 65, year = 1987, pages = {188--207}, } @article{free:free80, author = {R. Freese}, title = {Free Modular Lattices}, journal = {Transactions of the American Mathematical Society}, volume = 261, year = 1980, pages = {81--91}, } @book{freg:grun93, author = {Gottlob Frege}, title = {Grundgesetze der {Arithmetik}, Begriffsschriftlich abgeleitet}, publisher = {Verlag Hermann Pohle}, address = {Jena}, year = {1893--1903}, note = {Parts translated in \emph{{G}ottlob {F}rege: Logical Investigations}~\cite{geac:tran52}}, } @incollection{freg:thou77, author = {Gottlob Frege}, title = {Thoughts}, booktitle = {{G}ottlob {F}rege: Logical Investigations}, note = {translated by P. Geach and R. H. Stoothoff}, publisher = {Yale University Press (1977)}, year = 1918, address = {New Haven}, } @book{frey:cate90, author = {Peter J. Freyd and Andre Scedrov}, title = {Categories, Allegories}, year = 1990, publisher = {North Holland}, } @book{frie:reco99, author = {Michael Friedman}, title = {Reconsidering Logical Positivism}, publisher = {Cambridge University Press}, year = 1999, } @article{frie:whit92, author = {Harvey Friedman and Robert K. Meyer}, title = {Whither Relevant Arithmetic?}, year = 1992, journal = JSL, volume = 57, pages = {824--831}, } @article{fuhr:ons94, author = {Andr{\'{e}} Fuhrmann and Edwin D. Mares}, title = {On {S}}, journal = SL, volume = 53, pages = {75--91}, year = 1994, } @article{fuhr:theo91, author = {Andr{\'{e}} Fuhrmann}, title = {Theory Contraction through Base Contraction}, journal = JPL, year = 1991, volume = 20, pages = {175--203}, } @article{gabb:agen72, author = {D. M. Gabbay}, title = {A General Theory of the Conditional in Terms of a Ternary Operator}, journal = {Theoria}, volume = 38, year = 1972, pages = {39--50}, } @article{gabb:filt70, author = {Dov M. Gabbay}, title = {Selective Filtration in Modal Logic}, journal = {Theoria}, volume = 30, year = 1970, pages = {323--330}, } @book{gabb:inve76, author = {D. M. Gabbay}, title = {Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics}, publisher = {Reidel}, address = {Dordrecht}, year = 1976, } @book{gabb:labe97, author = {Gabbay, Dov M.}, title = {Labelled Deductive Systems}, publisher = {Oxford University Press}, series = {Oxford Logic Guides}, year = 1997, number = 33, } @article{gabb:onse74, author = {D. M. Gabbay}, title = {On Second Order Intuitionistic Propositional Calculus with Full Comprehension}, journal = AfML, year = 1974, volume = 16, month = {177--186}, } @article{gabb:onso77, author = {Dov M. Gabbay}, title = {On Some New Intuitionistic Propositional Connectives {I}}, journal = SL, volume = 36, year = 1977, pages = {127--139}, } @book{gabb:sema81, author = {D. M. Gabbay}, title = {Semantical Investigations in {H}eyting's Intuitionistic Logic}, publisher = {Reidel}, address = {Dordrecht}, year = 1981, } @incollection{gaif:oper74, author = {Haim Gaifman}, title = {Operations on Relational Structures, functors and Classes. {I}}, booktitle = {Proceedings of the Tarski Symposium}, series = {Proceedings of Symposia in Pure Mathematics}, number = 25, publisher = {American Mathematical Society}, year = 1974, editor = {Leon Henkin and John Addison and C. C. Chang and William Craig and Dana Scott and Robert Vaught}, address = {Providence, Rhode Island}, pages = {21-39}, } @article{gaif:pisa83, author = {Haim Gaifman}, title = {Paradoxes of infinity and self-application, I}, journal = ERK, year = 1983, volume = 20, pages = {131--155}, } @article{gale:anew99, author = {Richard M. Gale and Alexander R. Pruss}, title = {A New Cosmological Argument}, journal = {Religious Studies}, year = 1999, pages = {461--476}, volume = 35, } @article{garc:theg93, author = {Manuel Garcia-Carpintero S\'{a}nchez-Miguel}, title = {The Grounds for the Model-theoretic Account of the Logical Properties}, journal = NDJFL, volume = 34, pages = {107--131}, year = 1993, } @book{gard:gene87, editor = {Peter G{\"{a}}rdenfors}, title = {Generalized Quantifiers: Linguistic and Logical Approaches}, series = {Studies in Linguistics and Philosophy}, number = 31, publisher = {Reidel}, year = 1987, address = {Dordrecht}, } @book{gard:know88, author = {Peter G{\"{a}}rdenfors}, title = {Knowledge in Flux}, publisher = {MIT Press, Bradford Books}, year = 1988, } @incollection{gars:quan84, author = {James Garson}, title = {Quantified Modal Logic}, booktitle = {Handbook of Philosophical Logic}, volume = 2, publisher = {Reidel}, editor = {Dov M. Gabbay and Franz G{\"{u}}nthner}, year = 1984, } @article{gauk:doma97, author = {Christopher Gauker}, title = {Domain of Discourse}, journal = {Mind}, year = 1997, pages = {1--32}, volume = {106}, } @article{gauk:inte98, author = {Kees van Deemter}, title = {Domains of Discourse and the Semantics of Ambiguous Utterances: A Reply to {G}auker}, journal = {Mind}, year = 1998, pages = {433--445}, volume = {107}, note = {Reply to \cite{gauk:doma97}}, } @article{gauk:inte98, author = {Christopher Gauker}, title = {Intelligibility in Semantics: Reply to van {D}eemter}, journal = {Mind}, year = 1998, pages = {447--450}, volume = {107}, note = {Reply to \cite{vand:doma98}} } @article{gazd:categ88, author = {G. Gazdar AND G. Pullum AND R. Carpenter AND T. Hukari AND R. Levine}, title = {Category Structures}, journal = {Computational Linguistics}, volume = 14, year = 1988, pages = {1--19}, } @book{geac:god69, author = {Peter Geach}, title = {God and the Soul}, publisher = {Routledge and Kegan Paul}, year = 1969, } @article{geac:gods69, author = {Peter Geach}, title = {God's Relation to the World}, journal = {Sophia}, year = 1969, volume = 8, number = 2, note = {Reprinted in \emph{Logic Matters}~\cite{geac:logi72}, 318--327.}, } @book{geac:logi72, author = {P. T. Geach}, title = {Logic Matters}, publisher = {Basil Blackwell}, address = {Oxford}, year = 1972, } @article{geac:onin55, author = {P. T. Geach}, title = {On Insolubilia}, journal = {Analysis}, volume = 15, year = 1955, pages = {71--72}, } @book{geac:tran52, editor = {Peter Geach and Max Black}, title = {Translations from the Philosophical Writings of {Gottlob} {Frege}}, publisher = {Oxford University Press}, year = 1952, } @article{geme:anew94, author = {Ken Gemes}, title = {A New Theory of Basic Content}, journal = JPL, volume = 23, pages = {595--620}, year = 1994, } @book{gent:coll69, author = {Gerhard Gentzen}, title = {The Collected Papers of Gerhard Gentzen}, publisher = {North Holland}, year = 1969, note = {Edited by M. E. Szabo}, } @article{gent:unte34, author = {Gerhard Gentzen}, title = {Untersuchungen {\"{u}}ber das logische Schliessen}, journal = {Math. Zeitschrift}, volume = 39, pages = {176--210 and 405--431}, year = 1934, note = {Translated in \emph{The Collected Papers of Gerhard Gentzen}~\cite{gent:coll69}}, } @article{geor:intu88, author = {Alexander George}, title = {Intuitionism, Excluded Middle and Decidability: A Response to {W}eir on {D}ummett}, journal = {Mind}, year = 1988, volume = {97}, pages = {597--602}, note = {Reply to \cite{weir:rejo88}}, } @article{geor:repl87, author = {Alexander George}, title = {Reply to {W}eir on {D}ummett and Intuitionism}, journal = {Mind}, year = 1987, volume = {96}, pages = {404--406}, note = {Reply to \cite{weir:dumm86}}, } @article{gers:neig76, author = {Gerson, Martin}, title = {A Neighbourhood Frame for {$T$} with no equivalent Relational Frame}, journal = ZML, volume = 22, year = 1976, pages = {29--34}, } @article{ghil:cons97, author = {Silvio Ghilardi and Giancarlo Meloni}, title = {Constructive Canonicity in Non-Classical Logic}, journal = {Annals of Pure and Applied Logic}, volume = 86, pages = {1--32}, year = 1997, } @article{giam:twan85, author = {Steve Giambrone}, title = {{$TW_+$} and {$RW_+$} are Decidable}, journal = JPL, year = 1985, volume = 14, pages = {235--254}, } @article{gira:line87, author = {Jean-Yves Girard}, title = {Linear Logic}, journal = {Theoretical Computer Science}, year = 1987, volume = 50, pages = {1--101}, } @article{gira:onth93, author = {Jean-Yves Girard}, title = {On the Unity of Logic}, journal = {Annals of Pure and Applied Logic}, volume = 59, year = 1993, pages = {201--217}, publisher = {North Holland}, } @book{gira:proo87, author = {Jean-Yves Girard}, title = {Proof Theory and Logical Complexity}, publisher = {Bibliopolis}, address = {Naples}, year = 1987, } @book{gira:proo89, author = {Jean-Yves Girard and Yves Lafont and Paul Taylor}, title = {Proofs and Types}, publisher = {Cambridge University Press}, series = {Cambridge Tracts in Theoretical Computer Science}, volume = 7, year = 1989, } @article{gold:defi75, author = {Robert I. Goldblatt}, title = {First-order definability in modal logic}, journal = JSL, volume = 40, year = 1975, pages = {35--40}, } @book{gold:logi87, author = {Robert I. Goldblatt}, title = {Logics of Time and Computation}, series = CSLILN, number = 7, publisher = CSLIPubs, year = 1987, } @book{gold:math93, author = {Robert Goldblatt}, title = {Mathematics of Modality}, publisher = CSLIPubs, year = 1993, } @article{gold:meta76, author = {Robert I. Goldblatt}, title = {Metamathematics of Modal Logics, {P}art {II}}, journal = {Reports on Mathematical Logic}, volume = 7, year = 1976, pages = {21--52}, } @article{gold:meta76b, author = {Robert I. Goldblatt}, title = {Metamathematics of Modal Logics, {P}art {I}}, journal = {Reports on Mathematical Logic}, volume = 6, year = 1976, pages = {41--78}, } @article{gold:ortho84, author = {Robert Goldblatt}, title = {Orthomodularity is not Elementary}, journal = JSL, volume = 49, pages = {401--404}, year = 1984, note = {Reprinted as Chapter~4 of \emph{Mathematics of Modality}~\cite{gold:math93}}, } @article{gold:sema74, author = {Robert Goldblatt}, title = {Semantic Analysis of Orthologic}, journal = JPL, volume = 3, pages = {19--35}, year = 1974, note = {Reprinted as Chapter~3 of \emph{Mathematics of Modality}~\cite{gold:math93}}, } @book{gold:topo79, author = {Goldblatt, Robert I.}, title = {Topoi: the categorical analysis of logic}, series = {Studies in Logic and the Foundations of Mathematics}, volume = 98, publisher = {North Holland Publishing Co.}, address = {Amsterdam}, year = 1979, } @article{gold:vari89, author = {Robert I. Goldblatt}, title = {Varieties of Complex Algebras}, journal = {Annals of Pure and Applied Logic}, volume = 38, year = 1989, pages = {173--241}, } @book{good:fact55, author = {Nelson Goodman}, title = {Fact, Fiction and Forecast}, publisher = {Bobbs-Merril}, year = 1955, edition = {second}, } @article{gora:moda93, author = {Valentin Goranko and George Gargov}, title = {Modal Logic with Names}, journal = JPL, volume = 22, year = 1993, pages = {607--636}, } @article{gora:refu94, author = {Valentin Goranko}, title = {Refutation Systems in Modal Logic}, journal = SL, volume = 53, year = 1994, pages = {299--324}, } @article{gora:usin92, author = {Valentin Goranko and Solomon Passy}, title = {Using the Universal Modality: Gains and Questions}, journal = JLC, volume = 2, year = 1992, pages = {5--30}, } @techreport{gore:gagg95, author = {Rajeev Gor{\'{e}}}, title = {Gaggles, Gentzen and Galois: A Proof Theory for Algebraizable Logics}, institution = {Automated Reasoning Project, Australian National University}, note = {Appearing in the Proceedings of the Second Symbolic Reasoning Systems Workshop}, number = {TR-SRS-1-95}, year = 1995, } @techreport{gore:intu94, author = {Rajeev Gor{\'{e}}}, title = {Intuitionistic Logic Redisplayed}, institution = {Automated Reasoning Project, Australian National University}, year = 1994, } @techreport{gore:solv95, author = {Rajeev Gor{\'{e}}}, title = {Solving the Display Problem via Residuation}, institution = {Automated Reasoning Project, Australian National University}, number = {TR-ARP-12-95}, year = 1995, } @techreport{gore:yeta94, author = {Rajeev Gor{\'{e}}}, title = {Yet Another Way to Display Intuitionistic Logic}, institution = {Automated Reasoning Project, Australian National University}, year = 1994, } @book{grat:gene78, author = {George Gr{\"a}tzer}, title = {General Lattice Theory}, publisher = {Academic Press}, year = 1978, } @book{grat:univ79, author = {George Gr{\"a}tzer}, title = {Universal Algebra}, publisher = {Springer-Verlag}, year = 1979, edition = {second}, } @book{gray:anin97, author = {A. C. Grayling}, title = {An Introduction to Philosophical Logic}, publisher = {Blackwell}, year = 1997, edition = {Third}, } @mastersthesis{gref:modal94, author = {Grefe, Carsten}, title = {Modale Logiken funktionaler Frames}, school = {Deptartment of Mathematics, FU Berlin}, year = 1994, } @incollection{gric:logi75, author = {H. P. Grice}, title = {Logic and conversation}, booktitle = {Syntax and Semantics: Speech Acts}, volume = 3, pages = {41--58}, year = 1975, publisher = {Academic Press, New York}, editor = {P. Cole and J. L. Morgan}, note = {Reprinted in Jackson~\cite{jack:cond91}.}, } @book{grim:inco91, author = {Patrick Grim}, title = {The Incomplete Universe}, publisher = {MIT Press}, year = 1991, address = {Cambridge, MA}, } @book{grov:apro92, author = {Dorothy Grover}, title = {A Prosentential Theory of Truth}, publisher = {Princeton University Press}, year = 1992, } @incollection{gunt:sema90, author = {C. A. Gunter and D. S. Scott}, title = {Semantic Domains}, booktitle = {Handbook of Theoretical Computer Science}, publisher = {Elsevier Science Publishers B.V.}, year = 1990, editor = {J. van Leeuwen}, pages = {633--674}, } @book{haac:devi74, author = {S. Haack}, title = {Deviant Logic: Some Philosophical Issues}, publisher = {Cambridge University Press}, year = 1974, note = {Reissued as \emph{Deviant Logic, Fuzzy Logic: Beyond the Formalism}~\cite{haac:devi96}}, } @book{haac:devi96, author = {Susan Haack}, title = {Deviant Logic, Fuzzy Logic: Beyond the Formalism}, publisher = {Cambridge University Press}, year = 1996, } @book{haac:phil78, author = {Susan Haack}, title = {Philosophy of Logics}, publisher = {Cambridge University Press}, year = 1978, } @book{hale:abob87, author = {B. Hale}, title = {Abstract Objects}, publisher = {Oxford: Blackwell}, year = 1987, } @incollection{halp:towa85, author = {J. Halpern and Y. Moses}, title = {Towards a Theory of Knowledge and Ignorance}, booktitle = {Logics and Models of Concurrent Systems}, publisher = {Springer-Verlag}, year = 1985, editor = {Kr. Apt}, address = {Berlin}, } @incollection{hanf:prim74, author = {William Hanf}, title = {Primitive Boolean Algebras}, booktitle = {Proceedings of the Tarski Symposium}, series = {Proceedings of Symposia in Pure Mathematics}, number = 25, publisher = {American Mathematical Society}, year = 1974, editor = {Leon Henkin and John Addison and C. C. Chang and William Craig and Dana Scott and Robert Vaught}, address = {Providence, Rhode Island}, pages = {75-89}, } @book{hank:lamb94, author = {Chris Hankin}, title = {Lambda Calculi: A Guide for Computer Scientists}, publisher = {Oxford University Press}, year = 1994, series = {Graduate Texts in Computer Science}, volume = 3, } @incollection{hans:filt75, author = {Bengt Hansson and Peter G{\"{a}}rdenfors}, title = {Filtrations and the finite frame property in {B}oolean semantics}, booktitle = {Proceedings of the Third Scandinavian Logic Symposium}, editor = {Kanger, Stig}, publisher = {North Holland}, pages = {32--39}, year = 1975, } @article{hans:thec97, author = {William H. Hanson}, title = {The Concept of Logical Consequence}, journal = {The Philosophical Review}, volume = 106, pages = {365--409}, year = 1997, } @book{hard:amip??, author = {Gary Hardegree and J. M. Dunn}, title = {Algebraic Methods in Philosophical Logic}, publisher = {Oxford University Press}, year = {forthcoming}, } @incollection{hard:ctlo1981, author = {Gary Hardegree and P. J. Frazer}, title = {Charting the Labyrinth of Quantum Logics: A Progress Report}, booktitle = {Current Issues in Quantum Logic}, editor = {E. Beltrametti and Bas C. van Fraassen}, publisher = {Plenum Press}, pages = {53--76}, year = 1981, } @incollection{hard:spam1981, author = {Gary Hardegree}, title = {Some Problems and Methods in Formal Quantum Logic}, booktitle = {Current Issues in Quantum Logic}, editor = {E. Beltrametti and Bas C. van Fraassen}, publisher = {Plenum Press}, pages = {209--225}, year = 1981, } @incollection{hare:dyna84, author = {D. Harel}, title = {Dynamic Logic}, booktitle = {Handbook of Philosophical Logic}, volume = 2, publisher = {Reidel}, address = {Dordrecht}, editor = {Dov M. Gabbay and Franz G{\"{u}}nthner}, year = 1984, } @book{harm:chiv86, author = {Gilbert Harman}, title = {Change In View: Principles of Reasoning}, publisher = {MIT Press}, year = 1986, series = {Bradford Books}, } @article{harr:ondi56, author = {R. Harrop}, title = {On Disjunctions and Existential Statements in Intuitionistic Systems of Logic}, journal = {Mathematische Annalen}, volume = 132, pages = {347--361}, year = 1956, } @article{harr:some65, author = {R. Harrop}, title = {Some structure results for propositional calculi}, journal = JSL, volume = 30, pages = {271--292}, year = 1965, } @article{hart:afix9+, author = {C. Hartonas}, title = {A Fixpoint Approach to Finite Delay and Fairness}, journal = {Theoretical Computer Science}, year = {(to appear)}, url = {ftp://ftp.cogs.susx.ac.uk/pub/users/hartonas/fccs.ps.gz}, keywords = {concurrency, fairness, finite delay, mixed fixpoints, final coalgebra semantics}, } @article{hart:anal97, author = {C. Hartonas}, title = {An Algebraic Theory of Structured Objects}, journal = NDJFL, volume = 38, number = 2, year = 1997, keywords = {structured objects, identity of objects, situation theory}, } @article{hart:dual9+, author = {C. Hartonas}, title = {Duality for Modal $\mu$-Logics}, journal = {Theoretical Computer Science}, year = {(To Appear)}, url = {ftp://ftp.cogs.susx.ac.uk/pub/users/hartonas/sdmu.ps.gz}, keywords = {Stone duality, modal mu-calculus}, } @article{hart:dual97, author = {C. Hartonas}, title = {Duality for Lattice-Ordered Algebras and Normal Algebraizable Logics}, journal = SL, volume = 58, number = 3, year = 1997, pages = {403-450}, url = {ftp://ftp.cogs.susx.ac.uk/pub/users/hartonas/dloa.ps.gz}, keywords = {Stone duality, lattice representation, lattice-ordered algebras, resource logics, substructural logics}, } @incollection{hart:orde96, author = {C. Hartonas}, title = {Order-Duality, Negation and Lattice Representation}, editor = {H. Wansing}, booktitle = {Negation: Notion in Focus}, publisher = {De Gruyter Publication}, address = {New York--Berlin}, year = 1996, pages = {27-37}, url = {ftp://ftp.cogs.susx.ac.uk/pub/users/hartonas/neg.ps.gz}, keywords = {negation, lattice representation}, note = {Paper presented at the conference {\textsc{analyomen}} 2, Leipzig, 1994, Workshop on Negation}, } @article{hart:pret97, author = {C. Hartonas}, title = {Pretopology Semantics for Bimodal Intuitionistic Linear Logic}, journal = {Journal of the Interest Group in Pure and Applied Logics}, publisher = {Oxford University Press}, volume = 5, number = 1, year = 1997, pages = {65-78}, url = {ftp://ftp.cogs.susx.ac.uk/pub/users/hartonas/cw.ps.gz}, keywords = {linear logic, contraction, weakening, pretopology}, } @article{hart:roms77, author = {W.D. Hart}, title = {Review of M. Steiner's {\em Mathematical Knowledge}}, journal = {Journal of Philosophy}, volume = 74, pages = {118--129}, year = 1977, } @article{hart:sema97, author = {C. Hartonas}, title = {Semantics for Finite Delay}, journal = {Theoretical Computer Science}, volume = 176, number = 4, year = 1997, url = {ftp://ftp.cogs.susx.ac.uk/pub/users/hartonas/sfd.ps.gz}, keywords = {concurrency, fairness, finite delay, final coalgebra semantics}, } @article{hart:ston97, author = {C. Hartonas and J. Michael Dunn}, title = {Stone Duality for Lattices}, journal = {Algebra Universalis}, volume = 37, year = 1997, pages = {391-401}, url = {ftp://ftp.cogs.susx.ac.uk/pub/users/hartonas/sdl.ps.gz}, keywords = {Stone duality, lattice representation}, } @inproceedings{hart:sync95, author = {C. Hartonas and Marta Z. Kwiatkowska}, title = {Synchronization Trees and Fairness: a Case Study}, booktitle = {Theory and Formal Methods of Computing 1994, Proceedings of the Second Imperial College Workshop}, editors = {C. Hankin and I. Mackie and R. Nagarajan}, publisher = {Imperial College Press}, pages = {181-198}, year = 1995, url = {ftp://ftp.cogs.susx.ac.uk/pub/users/hartonas/TFM94.ps.gz}, keywords = {concurrency, fairness, finite delay}, } @unpublished{haze:aspe97, author = {Allen Hazen}, title = {Aspects of {Russell}'s Logic in 1906}, note = {Letter, dated October 21, 1997}, } @book{henk:cyli71, author = {L. Henkin and J. D. Monk and A. Tarski}, title = {Cylindric Algebras, {P}art {I}}, publisher = {North Holland}, adress = {Amsterdam}, year = 1971, } @incollection{henk:cyli74, author = {Leon Henkin and J. Donald Monk}, title = {Cylindric Algebras and Related Structures}, booktitle = {Proceedings of the Tarski Symposium}, series = {Proceedings of Symposia in Pure Mathematics}, number = 25, publisher = {American Mathematical Society}, year = 1974, editor = {Leon Henkin and John Addison and C. C. Chang and William Craig and Dana Scott and Robert Vaught}, address = {Providence, Rhode Island}, pages = {105-121}, } @book{henk:cyli81, author = {L. Henkin and J. D. Monk and A. Tarski and H. Andr{\'e}ka and I. N{\'e}meti}, title = {Cylindric Set Algebras}, year = 1991, publisher = {Springer-Verlag}, series = LNM, volume = 883, } @book{henk:cyli85, author = {L. Henkin and J. D. Monk and A. Tarski}, title = {Cylindric Algebras, {P}art {II}}, publisher = {North Holland}, adress = {Amsterdam}, year = 1985, } @article{henn:alge85, author = {M. Hennessy and R. Milner}, title = {Algebraic Laws for Indeterminism and Concurrency}, journal = {Journal of the ACM}, volume = 32, year = 1985, pages = {137--162}, } @book{heyt:intu56, author = {Arend Heyting}, title = {Intuitionism: An Introduction}, publisher = {North Holland}, address = {Amsterdam}, year = 1956, } @book{heyt:brou75, author = {Arend Heyting}, title = {Brouwer Collected Works I}, publisher = {North Holland}, year = 1975, address = {Amsterdam}, } @book{hilb:prin50, author = {David Hilbert and Wilhelm Ackermann}, title = {Principles of Mathematical Logic}, publisher = {Chelsea Publishing Company}, year = 1950, note = {Originally published as \emph{Grundzuge der Theoretischen Logik}, by David Hilbert and Wilhelm Ackermann, 1938.}, } @book{hind:intr86, author = {J. R. Hindley and J. P. Seldin}, title = {Introduction to Combinators and {$\lambda$}-Calculus}, publisher = {Cambridge University Press}, year = 1986, } @incollection{hind:thes83, author = {J. R. Hindley}, title = {The Simple Semantics for Coppo-Dezani-Sall{\'e} Types}, booktitle = {International Symposium on Programming}, publisher = {Springer-Verlag}, pages = {212--226}, year = 1983, volume = 137, editor = {M. Dezani-Ciancaglini and H. Montanari}, series = LNCS, } @book{hint:know62, author = {Jaako Hintikka}, title = {Knowledge and Belief: An Introduction into the logic of the two notions}, publisher = {Cornell University Press}, address = {Ithaca}, year = 1962, } @book{hodg:mode93, author = {Wilfrid Hodges}, title = {Model Theory}, year = 1993, publisher = {Cambridge University Press}, } @book{horw:trut90, author = {Paul Horwich}, title = {Truth}, year = 1990, publisher = {Basil Blackwell}, address = {Oxford}, } @incollection{howa:thef80, author = {W. A. Howard}, title = {The Formulae-as-types Notion of Construction}, booktitle = {To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism}, editor = {J. P. Seldin and J. R. Hindley}, publisher = {Academic Press}, address = {London}, year = 1980, pages = {479--490}, } @book{hows:logi96, author = {Colin Howson}, title = {Logic with Trees: An introduction to symbolic logic}, publisher = {Routledge}, year = 1996, } @book{hugh:anew96, author = {G. Hughes and M. Cresswell}, title = {A New Introduction to Modal Logic}, publisher = {Routledge}, address = {London}, year = 1996, } @book{hugh:anin68, author = {G. Hughes and M. Cresswell}, title = {An Introduction to Modal Logic}, publisher = {Methuen}, address = {London}, year = 1968, } @article{hutc:recu73, author = {G. Hutchinson}, title = {Recursively Unsolvable Word Problems of Modular Lattices and Diagram Chasing}, journal = {Journal of Algebra}, pages = {385-399}, year = 1973, } @unpublished{isra:bran94, author = {David Israel and John Perry}, title = {Branchpoints}, year = 1994, note = {Typescript, Available from the authors}, } @incollection{isra:role93, author = {Israel, D. J.}, title = {The Role(s) of Logic in Artificial Intelligence}, booktitle = {The Handbook of Logic in Artificial Intelligence and Logic Programming, Volume I}, editor = {Gabbay, D. M. and Hogger, C. J. and Robinson, J. A.}, publisher = {Oxford University Press}, year = 1993, } @article{isra:revi87, author = {Israel, D. J.}, title = {Review of `Structured Meanings: The Semantics of Propositional Attitudes'}, journal = {Journal of Symbolic Logic}, volume = 52, number = 3, month = sep, year = 1987, } @incollection{isra:wher95, author = {David Israel and John Perry}, title = {Where Monsters Dwell}, year = 1995, editor = {Jerry Seligman and Dag Westerstahl}, publisher = CSLIPubs, booktitle = {Logic, Language and Computation: The 1994 Moraga Proceedings}, } @incollection{jack:armc94, author = {Frank Jackson}, title = {Armchair Metaphysics}, booktitle = {Philosophy of Mind}, publisher = {Kluwer}, editor = {Michaelis Michael and John O'Leary Hawthorne}, pages = {23-42}, year = 1994, } @book{jack:cond91, editor = {Frank Jackson}, title = {Conditionals}, publisher = {Oxford}, year = 1991, series = {Oxford Readings in Philosophy}, } @book{jani:topo84, author = {Klaus Janich}, title = {Topology}, publisher = {Springer-Verlag}, year = 1984, note = {Translation of \emph{Topologie} by Silvio Levy}, } @book{jeff:form91, author = {Richard C. Jeffrey}, title = {Formal Logic: its scope and its limits}, publisher = {McGraw Hill}, year = 1991, edition = {Third}, } @incollection{john:anov94, author = {Johnson, David E. AND Moss, Lawrence S.}, title = {An Overview of Stratified Feature Grammar}, booktitle = {Current Issues in Mathematical Linguistics}, editor = {Carlos Mart\'{\i}n-Vide}, series = {North Holland Linguistic Series}, publisher = {North Holland}, number = 56, year = 1994, pages = {103--120}, } @book{john:attr88, author = {Mark Johnson}, title = {Attribute-Value Logic and the Theory of Grammar}, year = 1988, publisher = CSLIPubs, series = CSLILN, volume = 16, } @inproceedings{john:logi91, author = {Johnson, Mark}, title = {Logic and Feature Structures}, booktitle = {Proceedings of the $12^{th}$ IJCAI}, year = 1991, pages = {992--996}, } @book{john:ston82, author = {Peter T. Johnstone}, title = {Stone Spaces}, publisher = {Cambridge University Press}, year = 1982, series = {Cambridge studies in advanced mathematics}, volume = 3, } @book{john:topo77, author = {Peter T. Johnstone}, title = {Topos Theory}, publisher = {Academic Press}, year = 1977, } @article{jons:bool51, author = {Bjarni J{\'{o}}nsson and Alfred Tarski}, title = {Boolean Algebras with Operators: Part {I}}, journal = {American Journal of Mathematics}, volume = 73, year = 1951, pages = {891--939}, } @article{jons:bool52, author = {Bjarni J{\'{o}}nsson and Alfred Tarski}, title = {Boolean Algebras with Operators: Part {II}}, journal = {American Journal of Mathematics}, volume = 75, year = 1952, pages = {127--162}, } @article{jons:rela93, author = {B. J{\'{o}}nsson and C. Tsinakis}, title = {Relation Algebras as Residuated Boolean Algebras}, journal = {Algebra Universalis}, volume = 30, year = 1993, pages = {469--478}, } @incollection{jons:some74, author = {Bjarni J{\'o}nsson}, title = {Some Recent trends in General Algebra}, booktitle = {Proceedings of the Tarski Symposium}, series = {Proceedings of Symposia in Pure Mathematics}, number = 25, publisher = {American Mathematical Society}, year = 1974, editor = {Leon Henkin and John Addison and C. C. Chang and William Craig and Dana Scott and Robert Vaught}, address = {Providence, Rhode Island}, pages = {1- 19}, } @article{kalm:latt58, author = {J. A. Kalman}, title = {Lattices with involution}, journal = {Transactions of the American Mathematical Society}, volume = 87, pages = {485--491}, year = 1958, } @incollection{kamp:theo75, author = {Hans Kamp}, title = {Two Theories About Adjectives}, booktitle = {Formal Semantics of Natural Languages}, publisher = {Cambridge University Press}, year = 1975, editor = {Ed Keenan}, address = {Cambridge}, } @incollection{kamp:theo81, author = {Hans Kamp}, title = {A Theory of Truth and Semantic Representation}, booktitle = {Formal Methods in the Study of Language}, publisher = {Mathematisch Centrum}, year = 1981, editor = {Geroen Groenendijk and Theo Janssen and Martin Stokhof}, address = {Amsterdam}, } @misc{kano:phas97, author = {Kanovich, M. I. and M. Okada and A. Scedrov}, title = {Phase semantics for light linear logic}, howpublished = {Technical report}, month = {April}, year = 1997, note = {Extended abstract in Electronic Notes in Theoretical Computer Science, Volume 6, 1997, to appear}, } @incollection{kapl:demo89, author = {David Kaplan}, year = 1989, title = {Demonstratives: An Essay on the Semantics, Logic, Metaphysics, and Epistemology of Demonstratives and Other Indexicals}, booktitle = {Themes from Kaplan}, editor = {Joseph Almog and John Perry and Howard Wettstein}, address = {New York}, publisher = {Oxford University Press}, pages = {481--614}, } @article{kasp:thel90, author = {Kasper, Robert T. AND Rounds, William C.}, title = {The Logic of Unification in Grammar}, journal = {Linguistics and Philosophy}, volume = 13, year = 1990, pages = {35--58}, } @article{kemp:mean98, author = {Gary Kemp}, title = {Meaning and Truth-Conditions}, journal = {The Philosophical Quarterly}, volume = 48, number = 193, pages = {483--493}, year = 1998, } @book{keyn:form06, author = {J. N. Keynes}, title = {Formal Logic}, publisher = ??, address = {London}, year = 1906, } @inproceedings{king:comb92, author = {David King and Philip Wadler}, title = {Combining monads}, booktitle = {Glasgow Workshop on Functional Programming}, year = 1992, organization = {Workshops in Computing}, address = {Ayr, Scotland}, month = {July}, publisher = {Springer-Verlag}, } @article{klee:anad63, author = {S. C. Kleene}, title = {An Addendum}, journal = JSL, volume = 28, pages = {154--156}, year = 1963, note = {(Addendum to ``Disjunction and Existence under Implication in Elementary Intuitionistic Formalisms''~\cite{klee:disj62})}, } @article{klee:disj62, author = {S. C. Kleene}, title = {Disjunction and Existence under Implication in Elementary Intuitionistic Formalisms}, journal = JSL, volume = 27, pages = {11--18}, year = 1962, note = {(This paper has an addendum~\cite{klee:anad63})}, } @book{klee:intr52, author = {S. C. Kleene}, title = {Introduction to Metamathematics}, publisher = {North-Holland}, year = 1952, } @article{krac:anal90, author = {Marcus Kracht}, title = {An Almost General Splitting Theorem For Modal Logic}, journal = SL, volume = 49, year = 1990, pages = {455--470}, } @article{krac:asol91, author = {Marcus Kracht}, title = {A solution to a problem by {U}rquhart}, journal = JPL, volume = 20, year = 1991, pages = {285--286}, } @article{krac:even92, author = {Marcus Kracht}, title = {Even more about the lattice of tense logics}, journal = AoML, volume = 31, year = 1992, pages = {243--357}, } @unpublished{krac:high93, author = {Markus Kracht}, title = {Highway to the Danger Zone}, note = {Unpublished manuscript, II.~Mathematiches Intitut, Freie Universit{\"a}t Berlin}, year = 1993, } @incollection{krac:howc93, author = {Marcus Kracht}, title = {How Completeness and Correspondence Theory Got Married}, booktitle = {Diamonds and Defaults}, editor = {de Rijke, Maarten}, publisher = {Kluwer}, year = 1993, series = {Synthese}, pages = {175--214}, } @phdthesis{krac:inte91, author = {Marcus Kracht}, title = {Internal Definability and Completeness in Modal Logic}, school = {FU Berlin}, year = 1991, } @unpublished{krac:isth94, author = {Kracht, Marcus}, title = {Is there a genuine modal perspective on feature structures?}, institute = {II. Mathematisches Institut, FU Berlin}, year = 1994, note = {to appear}, } @article{krac:onth89, author = {Marcus Kracht}, title = {On the Logic of Category Definitions}, journal = {Computational Linguistics}, volume = 15, year = 1989, pages = {111--113}, } @unpublished{krac:powe94, author = {Markus Kracht}, title = {Power and Weakness of the Modal Display Calculus}, note = {Unpublished manuscript, II.~Mathematiches Intitut, Freie Universit{\"a}t Berlin}, year = 1994, } @inCollection{krac:powe96, author = {Markus Kracht}, title = {Power and Weakness of the Modal Display Calculus}, booktitle = {Proof Theory of Modal Logic}, publisher = {Kluwer Academic Publishers}, year = 1996, pages = {93--121}, address = {Dordrecht}, } @article{krac:prop91, author = {Marcus Kracht and Frank Wolter}, title = {Properties of Independently Axiomatizable Bimodal Logics}, journal = JSL, volume = 56, year = 1991, pages = {1469--1485}, } @unpublished{krac:simu94, author = {Marcus Kracht and Frank Wolter}, title = {Normal Monomodal Logics Can Simulate All Others}, year = 1994, note = {Available from Marcus Kracht, Berlin}, } @article{krac:spli93, author = {Marcus Kracht}, title = {Splittings and the finite model property}, journal = JSL, volume = 58, year = 1993, pages = {139--157}, } @article{krei:asop68, author = {G. Kreisel}, title = {A Survey of Proof Theory}, journal = JSL, volume = 33, year = 1968, pages = {321--388}, } @incollection{krei:info67, author = {G. Kreisel}, title = {Informal Rigour and Completeness Proofs}, booktitle = {Problems in the philosophy of mathematics}, publisher = {North Holland}, address = {Amsterdam}, year = 1967, editor = {Imre Lakatos}, } @incollection{krei:malo65, author = {G. Kreisel}, title = {Mathematical Logic}, booktitle = {Lectures on Modern Mathematics}, publisher = {Wiley}, address = {New York}, year = 1965, editor = {T. L. Saaty}, } @article{krem:logi88, author = {Michael Kremer}, title = {Logic and Meaning: The Philosophical Significance of the Sequent Calculus}, journal = {Mind}, year = 1988, volume = {98}, pages = {50--72}, } @article{krem:prop97, author = {Philip Kremer}, title = {Propositional Quantification in the Topological Semantics for {S4}}, journal = NDJFL, volume = 38, pages = {295--??}, year = 1997, } @article{krip:comp59, author = {Saul A. Kripke}, title = {A Completeness Theorem in Modal Logic}, journal = JSL, year = 1959, volume = 24, pages = {1--15}, } @book{krip:nami72, author = {Saul A. Kripke}, year = 1972, title = {Naming and Necessity}, address = {Cambridge, MA}, publisher = {Harvard University Press}, } @article{krip:outl75, author = {Saul Kripke}, title = {Outline of a Theory of Truth}, journal = {Journal of Philosophy}, volume = 72, pages = {690--716}, year = 1975, } @article{krip:sema63, author = {Saul A. Kripke}, title = {Semantical Analysis of Modal Logic {I}: Normal Modal Propositional Calculi}, journal = ZML, volume = 9, year = 1963, pages = {67--96}, } @article{krip:sema63b, author = {Saul A. Kripke}, title = {Semantical Considerations on Modal Logic}, journal = {Acta Philosophica Fennica}, year = 1963, volume = 16, pages = {83--94}, } @incollection{krip:sema65, author = {Saul A. Kripke}, title = {Semantical Analysis of Modal Logic {II}: Non-Normal Modal Propositional Calculi}, editor = {Addison {et al.}}, booktitle = {The Theory of Models}, pages = {206--220}, year = 1965, publisher = {North Holland Publishing Co}, } @article{krip:thep59, author = {Saul A. Kripke}, title = {The Problem of Entailment}, note = {Abstract}, journal = JSL, volume = 24, pages = {324}, year = 1959, } @article{kron:dedu73, author = {A. Kron}, title = {Deduction Theorems for Relevant Logic}, journal = ZML, volume = 19, pages = {85--92}, year = 1973, } @article{kron:dedu76, author = {A. Kron}, title = {Deduction Theorems for {$T$}, {$E$} and {$R$} Reconsidered}, journal = ZML, volume = 22, pages = {261--264}, year = 1976, } @article{krus:well60, author = {J. B. Kruskal}, title = {Well-quasi-ordering, the Tree Theorem and {V}azsonyi's Conjecture}, journal = {Transactions of the American Mathematical Society}, volume = 95, year = 1960, pages = {210--225}, } @phdthesis{kurt:fram95, author = {Natasha Kurtonina}, title = {Frames and Labels: A Modal Analysis of Categorial Inference}, school = {Institute for Logic, Language and Computation, University of Utrecht}, year = 1995, } @article{kurt:simu97, author = {Natasha Kurtonina AND Maarten de Rijke}, title = {Simulating Without Negation}, year = 1997, journal = JLC, pages = {501--522}, volume = 7, } @phdthesis{kuru:deci97, author = {{\'A}gnes Kurucz}, title = {Decision Problems in Algebraic Logic}, school = {Budapest}, year = 1997, note = {Available from {\url{http://www.math-inst.hu/pub/algebraic-logic/Contents.html}}}, } @article{lach:anot74, author = {A. H. Lachlan}, title = {A Note on {T}homason's Refined Structures for tense Logics}, journal = {Theoria}, volume = 40, year = 1974, pages = {117--120}, } @article{lafo:thef95, author = {Yves Lafont}, title = {The Finite Model Property for Various Fragments of Linear Logic}, journal = JSL, year = 1997, volume = 62, pages = {1202--1208}, } @article{lafo:thef97, author = {Yves Lafont}, title = {The Finite Model Property for Various Fragments of Linear Logic}, journal = JSL, year = 1997, volume = 62, pages = {1202--1208}, } @incollection{lamb:dedu69, author = {Joachim Lambek}, title = {Deductive Systems and Categories {II}}, booktitle = {Category Theory, Homology Theory and their Applications {II}}, publisher = {Springer-Verlag}, series = {Lecture Notes in Mathematics}, editor = {Peter Hilton}, volume = 86, year = 1969, } @book{lamb:intr86, author = {Joachim Lambek and Philip J. Scott}, title = {Introduction to Higher Order Categorical Logic}, publisher = {Cambridge University Press}, year = 1986, } @article{lamb:math58, author = {Joachim Lambek}, title = {The Mathematics of Sentence Structure}, journal = {American Mathematical Monthly}, year = 1958, volume = 65, pages = {154--170}, } @incollection{lamb:onth61, author = {Joachim Lambek}, title = {On the Calculus of Syntactic Types}, booktitle = {Structure of Language and its Mathematical Aspects}, series = {Proceedings of Symposia in Applied Mathematics, XII}, publisher = {American Mathematical Society}, year = 1961, editor = {R. Jacobsen}, } @article{lanc:thel96, author = {Mark Lance AND Philip Kremer}, title = {The Logical Structure of Linguistic Commitment II: Systems of Relevant Commitment Entailment}, journal = JPL, volume = 25, pages = {425--449}, year = 1996, } @article{lanc:twoc95, author = {Mark Lance}, title = {Two Concepts of Entailment}, journal = {Journal of Philosophical Research}, volume = 20, year = 1995, pages = {113--137}, } @article{lemm:alge66, author = {E. J. Lemmon}, title = {Algebraic semantics for modal logics, {I} and {II}}, journal = JSL, volume = 31, pages = {46--55 and 191--218}, year = 1966, } @book{lemm:begi65, author = {E. J. Lemmon}, title = {Beginning Logic}, publisher = {Nelson}, year = 1965, } @unpublished{lemo:putt96, author = {Oliver Lemon and Ian Pratt}, title = {Putting Channels on the Map: A formal semantics for graphical information systems}, year = 1996, note = {Computer Science, University of Manchester. Email {\tt lemonog@cs.man.ac.uk}}, } @article{levi:logi96, author = {James Levine}, title = {Logic and Truth in Frege}, year = 1996, journal = {The Aristotelian Society}, volume = {Supplementary Volume LXX}, pages = {141-175}, } @article{lewi:atti79, author = {David K. Lewis}, title = {Attitudes {\textit{de dicto}} and {\textit{de se}}}, journal = {The Philosophical Review}, year = 1979, volume = 88, pages = {513--543}, } @book{lewi:coun73, author = {David K. Lewis}, title = {Counterfactuals}, publisher = {Blackwell}, year = 1973, } @article{lewi:extr83, author = {David K. Lewis}, title = {Extrinsic Properties}, journal = {Philosophical Studies}, year = 1983, volume = 44, pages = {197--200}, } @article{lewi:logi82, author = {David Lewis}, title = {Logic for Equivocators}, journal = {No{\^{u}}s}, volume = 16, pages = {431--441}, year = 1982, } @book{lewi:onth86, author = {Lewis, David K.}, title = {On the Plurality of Worlds}, publisher = {Blackwell}, year = 1986, address = {Oxford}, } @book{lewi:pipl98, author = {Lewis, David K.}, title = {Essays In Philosophical Logic}, publisher = {Cambridge University Press}, year = 1998, address = {Cambridge}, } @book{lewi:symb32, author = {C. I. Lewis and C. H. Langford}, title = {Symbolic Logic}, publisher = {The Century Co}, address = {New York and London}, year = 1932, } @article{linc:deci92, author = {P. Lincoln and J. Mitchell and A. Scenrov and N. Shankar}, title = {Decision Problems for Propositional Linear Logic}, year = 1992, journal = {Annals of Pure and Applied Logic}, volume = 56, pages = {239--311}, } @book{lind:natu84, author = {George A. Lindbeck}, title = {The Nature of Doctrine: Religion and theology in a postliberal age}, publisher = {The Westminster Press}, year = 1984, address = {Philadelphia}, } @article{lins:inde94, author = {Bernard Linsky and Edward N. Zalta}, title = {In Defense of the Simplest Quantified Modal Logic}, journal = {Philosophical Perspectives}, volume = 8, pages = {431--458}, year = 1994, } @article{lins:npvp95, author = {Bernard Linsky and Edward N. Zalta}, title = {Naturalized Platonism Versus Platonized Naturalism}, journal = {Journal of Philosophy}, volume = XCII, pages = {525--555}, year = 1995, } @article{lips:theu74, author = {L. Lipshitz}, title = {The Undecidability of the Word Problems for Projective Geometries and Modular Lattices}, year = 1974, pages = {171-180}, journal = {Transactions of the American Mathematical Society}, } @book{loux:thep79, editor = {Michael J. Loux}, title = {The Possible and the Actual: Readings in the Metaphysics of Modality}, publisher = {Cornell University Press}, year = 1979, } @article{lowe:whyi96, author = {E. J. Lowe}, title = {Why is there Anything at all?}, year = 1996, journal = {The Aristotelian Society}, volume = {Supplementary Volume LXX}, pages = {111-120}, } @book{luka:aris56, author = {Jan {\L}ukasiewicz}, title = {Aristotle's Syllogistic}, publisher = {Clarendon Press}, address = {Oxford}, year = 1956, edition = {second}, } @incollection{luka:onde70, author = {Jan {\L}ukasiewicz}, title = {On Determinism}, booktitle = {Selected Works}, publisher = {North Holland}, year = 1970, editor = {L. Borkowski}, address = {Amsterdam}, } @book{lunt:reas95, author = {Michael Luntley}, title = {Reason, Truth and Self: The Postmodern Reconditioned}, publisher = {Routledge}, year = 1995, address = {London}, } @book{lyca:moda94, author = {William G. Lycan}, title = {Modality and Meaning}, publisher = {Kluwer Academic Publishers}, year = 1994, } @book{macl:alge67, author = {Saunders {Mac Lane} and Garrett Birkhoff}, title = {Algebra}, publisher = {Macmillan}, year = 1967, } @book{macl:cate71, author = {Saunders {Mac Lane}}, title = {Categories for the Working Mathematician}, publisher = {Springer-Verlag}, series = {Graduate Texts in Mathematics}, number = 5, year = 1971, } @book{macl:shea92, author = {Saunders {Mac Lane} and Ieke Moerdijk}, title = {Sheaves in Geometry and Logic: A First Introduction to Topos Theory}, publisher = {Springer-Verlag}, year = 1992, } @article{macl:whyc82, author = {Saunders {Mac Lane}}, title = {Why Commutative Diagrams Coincide with Equivalent Proofs}, journal = {Contemporary Mathematics}, volume = 5, publisher = {Springer-Verlag}, year = 1982, } @article{macn:part37, author = {H. M. MacNeille}, title = {Partially Ordered Sets}, journal = {Transactions of the American Mathematical Society}, volume = 42, pages = {416--460}, year = 1937, } @article{maki:some71, author = {Makinson, David C.}, title = {Some embedding theorems for modal logic}, journal = NDJFL, volume = 12, year = 1971, pages = {252--254}, } @article{maks:anin71, author = {L. L. Maksimova}, title = {An interpolation and separation theorem for the logical systems $E$ and $R$}, journal = {Algebra and Logic}, volume = 10, pages = {232--241}, year = 1971, } @article{maks:asem73, author = {L. L. Maksimova}, title = {A semantics for the calculus ${E}$ of entailment}, journal = {Bulletin of the section of Logic}, volume = 2, pages = {18--21}, year = 1973, note = {Published by Polish Academy of Sciences, Institute of Philosophy and Sociology}, } @article{maks:omod67, author = {L. L. Maksimova}, title = {O mod{\'{e}}l{\'{a}}h is{\v{c}}isl{\'{e}}ni{\'{a}} {E}}, journal = {Alg{\'{e}}bra i Logika, S{\'{e}}minar}, volume = 6, pages = {5--20}, year = 1967, note = {(English title: On Models of the System {E})}, } @inproceedings{mara:call95, author = {John Maraist and Martin Odersky and David N. Turner and Philip Wadler}, title = {Call-by-name, call-by-value, call-by-need, and the linear lambda calculus}, booktitle = {11th International Conference on the Mathematical Foundations of Programming Semantics}, year = 1995, address = {New Orleans, Lousiana}, month = {March--A