Cantitate/Preț
Produs

Tense Logic: Synthese Library, cartea 111

Autor R.L. McArthur
en Limba Engleză Hardback – 31 dec 1976
This monograph is designed to provide an introduction to the principal areas of tense logic. Many of the developments in this ever-growing field have been intentionally excluded to fulfill this aim. Length also dictated a choice between the alternative notations of A. N. Prior and Nicholas Rescher - two pioneers of the subject. I choose Prior's because of the syntactical parallels with the language it symbolizes and its close ties with other branches of logi­ cal theory, especially modal logic. The first chapter presents a wider view of the material than later chapters. Several lines of development are consequently not followed through the remainder of the book, most notably metric systems. Although it is import­ ant to recognize that the unadorned Prior-symbolism can be enriched in vari­ ous ways it is an advanced subject as to how to actually carry off these enrichments. Readers desiring more information are referred to the appropri­ ate literature. Specialists will notice that only the first of several quantifi­ cational versions of tense logic is proven complete in the final chapter. Again constraints of space are partly to blame. The proof for the 'star' systems is wildly complex and at the time of this writing is not yet ready for publi­ cation.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (1) 63057 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 30 dec 2010 63057 lei  6-8 săpt.
Hardback (1) 63728 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 31 dec 1976 63728 lei  6-8 săpt.

Din seria Synthese Library

Preț: 63728 lei

Preț vechi: 74973 lei
-15% Nou

Puncte Express: 956

Preț estimativ în valută:
12197 12686$ 10222£

Carte tipărită la comandă

Livrare economică 13-27 martie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9789027706973
ISBN-10: 9027706972
Pagini: 100
Ilustrații: VII, 91 p.
Dimensiuni: 210 x 297 x 11 mm
Greutate: 0.33 kg
Ediția:1976
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Synthese Library

Locul publicării:Dordrecht, Netherlands

Public țintă

Research

Cuprins

1/An Overview of Tense Logic.- 2/Linear Tense Logics.- 3/Branching Tense Logic and Temporal Modality.- 4/Quantificational Tense Logics.- 5/Soundness and Completeness Theorems for Tense Logic.- Appendix I/SC Tautologies Used in Proofs.- Appendix II/Summary of the Systems.