Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: suppositions

Sortuj według:

Ogranicz wyniki do:

Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik

The Phenomenology of Second-Level Inference: Perfumes in The Deductive Garden

100%

Makinson D.

Bulletin of the Section of Logic

2020

tom 49

nr 4

327-342

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. The emphasis is on the roles of these features, which we call 'perfumes', in mathematical practice rather than on the space of all formal possibilities, deployment in proof-theory, or conventions for display in systems of natural deduction.

Ograniczanie wyników

1 Bulletin of the Section of Logic

1 Makinson D.

1 2020

Wyniki wyszukiwania

The Phenomenology of Second-Level Inference: Perfumes in The Deductive Garden