Where can I find Nuel Belnap’s publications? Thanks for Your help.
dbier…@polbox.com
27
Feb
How a computer should think?
posted by admin in Uncategorized and have Comment (1)
One Response to “How a computer should think?”
Place your comment
You must be logged in to post a comment.
In article <80a6c7$60…@helios.man.lublin.pl>, "Dariusz Biernacki"
<dbier…@friko.onet.pl> wrote:
>Where can I find Nuel Belnap’s publications?
Well, there are a *lot* of those publications.
Nuel’s webpage is found at
http://www.pitt.edu/~belnap/
It contains some papers to download, but not any of his
relevant logic material — it is primarily his (great) recent
stuff on the logic of agency, and branching spacetime.
A complete bibliography (until 1990) is found in his festschrift,
_Truth or Consequences_, edited by Dunn and Gupta, Kluwer, 1990.
I don’t have that on hand in my office here, but I do have my own
BibTeX bibliography, which contains details of quite a number of his
earlier articles and books.
(The complete bibliography can be downloaded from the web page
http://www.phil.mq.edu.au/isl/ of my very soon to be published
book _An Introduction to Substructural Logics_.)
@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.)},
}
@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: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{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{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{mcro:rele79,
author = {M. A. McRobbie and N. D. {Belnap Jr.}},
title = {Relevant Analytic Tableaux},
journal = SL,
volume = 38,
pages = {187–200},
year = 1979,
}
@inproceedings{meye:line95,
author = {Robert K. Meyer and Michael A. McRobbie and Nuel D. Belnap},
title = {Linear Analytic Tableaux},
booktitle = {Proceedings of the Fourth Workshop on Theorem Proving with
Analytic Tableaux and Related Methods},
series = LNCS,
volume = 918,
year = 1995,
}
>Thanks for Your help.
I hope that helps,
Greg
–
Greg Restall * Department of Philosophy,
Greg.Rest…@mq.edu.au * Macquarie University, Sydney 2109, Australia
Phone: +61 2 9850 8859 * http://www.phil.mq.edu.au/staff/grestall/
Fax: +61 2 9850 9559 *