- 0 resultaten
laagste prijs: € 271,94, hoogste prijs: € 530,99, gemiddelde prijs: € 349,37
1
Proof Methods for Modal and Intuitionistic Logics (Synthese Library) (Synthese Library (169), Band 169) - Fitting, Melvin
bestellen
bij Amazon.de (Intern. Bücher)
€ 271,94
verzending: € 3,00
bestellen
Fitting, Melvin:

Proof Methods for Modal and Intuitionistic Logics (Synthese Library) (Synthese Library (169), Band 169) - pocketboek

2010, ISBN: 9789048183814

Springer, Taschenbuch, Auflage: Softcover reprint of the original 1st ed. 1983, 568 Seiten, Publiziert: 2010-12-25T00:00:01Z, Produktgruppe: Book, 1.9 kg, Logik, Philosophie, Sozialwissen… Meer...

Verzendingskosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
2
Proof Methods for Modal and Intuitionistic Logics (Synthese Library) (Synthese Library (169), Band 169) - Fitting, Melvin
bestellen
bij Amazon.de (Intern. Bücher)
€ 320,56
verzending: € 0,00
bestellen

Fitting, Melvin:

Proof Methods for Modal and Intuitionistic Logics (Synthese Library) (Synthese Library (169), Band 169) - pocketboek

2010, ISBN: 9789048183814

Springer, Taschenbuch, Auflage: Softcover reprint of the original 1st ed. 1983, 568 Seiten, Publiziert: 2010-12-25T00:00:01Z, Produktgruppe: Buch, 1.9 kg, Verkaufsrang: 378, Logik, Philos… Meer...

Verzendingskosten:Auf Lager. Lieferung von Amazon. (EUR 0.00) Amazon.de
3
Proof Methods for Modal and Intuitionistic Logics (Synthese Library) (Synthese Library (169), Band 169) - Fitting, Melvin
bestellen
bij Amazon.de (Intern. Bücher)
€ 302,79
verzending: € 3,00
bestellen
Fitting, Melvin:
Proof Methods for Modal and Intuitionistic Logics (Synthese Library) (Synthese Library (169), Band 169) - pocketboek

2010

ISBN: 9789048183814

Springer, Taschenbuch, Auflage: Softcover reprint of the original 1st ed. 1983, 568 Seiten, Publiziert: 2010-12-25T00:00:01Z, Produktgruppe: Buch, 1.9 kg, Verkaufsrang: 378, Logik, Philos… Meer...

Verzendingskosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
4
Proof Methods for Modal and Intuitionistic Logics - M. Fitting
bestellen
bij BookDepository.com
€ 320,57
verzending: € 0,00
bestellen
M. Fitting:
Proof Methods for Modal and Intuitionistic Logics - pocketboek

ISBN: 9789048183814

Paperback, [PU: Springer], The ones we consider are: 1) tableau systems, 2) Gentzen sequent calculi, 3) natural deduction systems, and 4) axiom systems., Philosophy: Logic

Verzendingskosten:Versandkostenfrei. (EUR 0.00)
5
Proof Methods for Modal and Intuitionistic Logics - M. Fitting
bestellen
bij Rakuten.fr
€ 530,99
verzending: € 0,00
bestellen
M. Fitting:
Proof Methods for Modal and Intuitionistic Logics - nieuw boek

ISBN: 9789048183814

Livre

1 Offers. Verzendingskosten:France. (EUR 0.00) Priceminister

Bijzonderheden over het boek
Proof Methods for Modal and Intuitionistic Logics (Synthese Library) (Synthese Library (169), Band 169)

"Necessity is the mother of invention. " Part I: What is in this book - details. There are several different types of formal proof procedures that logicians have invented. The ones we consider are: 1) tableau systems, 2) Gentzen sequent calculi, 3) natural deduction systems, and 4) axiom systems. We present proof procedures of each of these types for the most common normal modal logics: S5, S4, B, T, D, K, K4, D4, KB, DB, and also G, the logic that has become important in applications of modal logic to the proof theory of Peano arithmetic. Further, we present a similar variety of proof procedures for an even larger number of regular, non-normal modal logics (many introduced by Lemmon). We also consider some quasi-regular logics, including S2 and S3. Virtually all of these proof procedures are studied in both propositional and first-order versions (generally with and without the Barcan formula). Finally, we present the full variety of proof methods for Intuitionistic logic (and of course Classical logic too). We actually give two quite different kinds of tableau systems for the logics we consider, two kinds of Gentzen sequent calculi, and two kinds of natural deduction systems. Each of the two tableau systems has its own uses; each provides us with different information about the logics involved. They complement each other more than they overlap. Of the two Gentzen systems, one is of the conventional sort, common in the literature.

Gedetalleerde informatie over het boek. - Proof Methods for Modal and Intuitionistic Logics (Synthese Library) (Synthese Library (169), Band 169)


EAN (ISBN-13): 9789048183814
ISBN (ISBN-10): 9048183812
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Springer
564 Bladzijden
Gewicht: 0,783 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2011-07-11T10:45:23+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2021-07-22T14:38:22+02:00 (Amsterdam)
ISBN/EAN: 9789048183814

ISBN - alternatieve schrijfwijzen:
90-481-8381-2, 978-90-481-8381-4


Gegevens van de uitgever

Auteur: M. Fitting
Titel: Synthese Library; Proof Methods for Modal and Intuitionistic Logics - Studies in Epistemology, Logic, Methodology, and Philosophy of Science
Uitgeverij: Springer; Springer Netherland
555 Bladzijden
Verschijningsjaar: 2010-12-25
Dordrecht; NL
Gedrukt / Gemaakt in
Gewicht: 0,860 kg
Taal: Engels
307,99 € (DE)

BC; Previously published in hardcover; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; English literature; literature; logic; modal logic; notation; present; proposition; quantifiers; C; Logic; Logic; Religion and Philosophy; BB

One / Background.- Two / Analytic Modal Tableaus and Consistency Properties.- Three / Logical Consequence, Compactness, Interpolation, and Other Topics.- Four / Axiom Systems and Natural Deduction.- Five / Non-Analytic Logics.- Six / Non-Normal Logics.- Seven / Quantifiers.- Eight / Prefixed Tableau Systems.- Nine / Intuitionistic Logic.- Special Notation.

Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:

Laatste soortgelijke boek:
9789027715739 Proof Methods for Modal and Intuitionistic Logics (M. Fitting)


< naar Archief...