Handbook of Tableau Methods
Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. A logic can be characterised in many different ways. Traditionally, a logic is presented via the following three components: 1. an intuitive non-formal motivation, perhaps tie it in to some application area 2. a semantical interpretation 3. a proof theoretical formulation. There are several types of proof theoretical methodologies, Hilbert style, Gentzen style, goal directed style, labelled deductive system style, and so on. The tableau methodology, invented in the 1950s by Beth and Hintikka and later per fected by Smullyan and Fitt…
Mehr
CHF 370.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V104:
Folgt in ca. 10 Arbeitstagen
Produktdetails
Weitere Autoren: Gabbay, Dov M. (Hrsg.) / Hähnle, Reiner (Hrsg.) / Posegga, J. (Hrsg.)
- ISBN: 978-0-7923-5627-1
- EAN: 9780792356271
- Produktnummer: 1740031
- Verlag: Springer Netherlands
- Sprache: Englisch
- Erscheinungsjahr: 1999
- Seitenangabe: 684 S.
- Masse: H24.1 cm x B16.0 cm x D4.3 cm 1'180 g
- Auflage: 1999
- Abbildungen: HC runder Rücken kaschiert
- Gewicht: 1180
4 weitere Werke von M. (Hrsg.) D'Agostino:
Bewertungen
Anmelden