- Taschenbuch: 101 Seiten
- Verlag: Logos Berlin; Auflage: 1., Aufl. (15. Januar 2004)
- Sprache: Englisch
- ISBN-10: 3832504486
- ISBN-13: 978-3832504489
- Durchschnittliche Kundenbewertung: 5.0 von 5 Sternen Alle Rezensionen anzeigen (1 Kundenrezension)
- Amazon Bestseller-Rang: Nr. 1.992.305 in Englische Bücher (Siehe Top 100 in Englische Bücher)
|
||||||||||||||||||||
|
||||||||||||||||||||
|
||||||||||||||||||||
Produktinformation |
Produktbeschreibungen
Kurzbeschreibung
In this thesis we see deductive systems for classical propositional and predicate logic which use deep inference, i.e. inference rules apply arbitrarily deep inside formulas, and a certain symmetry, which provides an involution on derivations. Like sequent systems, they have a cut rule which is admissible. Unlike sequent systems, they enjoy various new interesting properties. Not only the identity axiom, but also cut, weakening and even contraction are reducible to atomic form. This leads to inference rules that are local, meaning that the effort of applying them is bounded, and finitely generating, meaning that, given a conclusion, there is only a finite number of premises to choose from. The systems also enjoy new normal forms for derivations and, in the propositional case, a cut elimination procedure that is drastically simpler than the ones for sequent systems.
Tags(Was ist das?)Bei einem Tag handelt es sich um ein Schlagwort, das zum Produkt passt.
Tags erleichtern allen Kunden die Suche und die Sortierung ihrer Lieblingsprodukte. |
Eine digitale Version dieses Buchs im Kindle-Shop verkaufen
Wenn Sie ein Verleger oder Autor sind und die digitalen Rechte an einem Buch haben, können Sie die digitale Version des Buchs in unserem Kindle-Shop verkaufen.
Weitere Informationen
Kundenrezensionen
Die hilfreichsten Kundenrezensionen
1 von 2 Kunden fanden die folgende Rezension hilfreich
Format:Taschenbuch
In fact, they come from the dissection of frogs: the study of animal electricity, pioneered by Luigi Galvani, led to the first device for storing electric power. Technology comes from science in unexpected ways (unexpected especially by technologists). In this wonderful, little booklet there's plenty of dissections. The logical material which constitutes the basis of human and machine reasoning is cut into the tiniest conceivable pieces, and then gently touched with some elegant, spindly tools made on purpose. These pieces then suddenly animate, and their internal current makes them assume unexpected configurations. One day our methods of reasoning will follow these new, more symmetric patterns, and there will be more light in our minds.
Kunden diskutieren
|
Das Forum zu diesem Produkt
Fragen stellen, Meinungen austauschen, Einblicke gewinnen Aktive Diskussionen in ähnlichen Foren
Kundendiskussionen durchsuchen
|
Ähnliche Foren
|
||||||||||||||||||||||||||||||||||
Lieblingslisten
Ähnliche Artikel finden
Anhand des Sachgebietes nach ähnlichen Produkten suchen:
Ihr Kommentar
Möchten Sie die Produktinformationen aktualisieren oder Feedback zu den Produktabbildungen geben?
