Comments:

288 pages, 11Mb, 1993

Abstract:

The book presents the Metamathematics of Modal Logic ("Metamathematics of Modal Logic" originally appeared in Reports on Mathematical Logic, vol. 6, 41-78 (Part I), and vol. 7, 21-52 (Part II). Copyright@1976 by the Jagiellonian University of Cracow. Reprinted by permission), as well as several related topics: Semantic Analysis of Orthologic ("Semantic Analysis of Orthologic" originally appeared in the Journal of Philosophical Logic, vol. 3, 19-35. Copyright@1974 by D. Reidel Publishing Company, Dordrecht.); Orthomodularity is Not Elementary ("Orthomodularity is Not Elementary" originally appeared in The Journal of Symbolic Logic, vol. 49, 401-404. Copyright@1984by The Association for Symbolic Logic. AllRights Reserved. This reproduction by special permission.); Grothendieck Topology as Geometric Modality("Grothendieck Topology as Geometric Modality" originally appeared in Zeitsckrift fur Mathematische Logik und Grundlagen der Mathematik, vol. 27, 495-529. Copyright@1981VEB Deutscher Verlag der Wissenschaften Berlin. Reprinted by permission.);"An Abstract Setting for Henkin Proofs" originally appeared in Topoi, vol. 3, 37-41. Copyright@1984 by D. Reidel Publishing Company, Dordrecht-Holland. Reprinted bypermission of Kluwer Academic Publishers. "The McKinsey Axiom is Not Canonical" originally appeared in The Journal of Symbolic Logic, vol. 56, 554-562. Copyright@1991 by The Association for Symbolic Logic. All Rights Reserved. This reproduction by special permission.), and concludes with: "Elementary Logics are Canonical and Pseudo-Equational".

Rights:

Open access: for individual study only. Copyright@1993 by Center for the Study of Language and Information Leland Stanford Junior University http://sul-derivatives.stanford.edu/derivative?CSNID=00003783&mediaType=application/pdf

Links:

ISBN #:

No messages.