Przeglądaj Bulletin of the Section of Logic według autora "Makinson, David"
-
The Phenomenology of Second-Level Inference: Perfumes in The Deductive Garden
Makinson, David (Wydawnictwo Uniwersytetu Łódzkiego, 2020-12-30)We comment on certain features that second-level inference rules commonly used in mathematical proof sometimes have, sometimes lack: suppositions, indirectness, goal-simplification, goal-preservation and premise-preservation. ...