|
|
|
Structural Rule: Proof Theory, Inference Rule, Logical Connective
|
(Buch) |
Dieser Artikel gilt, aufgrund seiner Grösse, beim Versand als 2 Artikel!
| Lieferstatus: |
 i.d.R. innert 7-14 Tagen versandfertig |
| Veröffentlichung: |
März 2026
|
| Genre: |
Schulbücher |
| ISBN: |
9786131233067 |
|
EAN-Code:
|
9786131233067 |
| Verlag: |
Omniscriptum |
| Einband: |
Kartoniert |
| Sprache: |
English
|
| Dimensionen: |
H 220 mm / B 150 mm / D 6 mm |
| Gewicht: |
149 gr |
| Seiten: |
88 |
| Bewertung: |
Titel bewerten / Meinung schreiben
|
| Inhalt: |
| Please note that the content of this book primarily consists of articles
available from Wikipedia or other free sources online. In proof theory,
a structural rule is an inference rule that does not refer to any
logical connective, but instead operates on the judgements or sequents
directly. Structural rules often mimic intended meta-theoretic
properties of the logic. Logics that deny one or more of the structural
rules are classified as substructural logics. |
|
Newsfeed | 
Facebook | 
Twitter
