- Tytuł:
- A meta-logic of inference rules: Syntax
- Autorzy:
- Citkin Alex
- Data publikacji:
- 2015-03-09
- Tematy:
-
propositional logic
multiple-conclusion rule
rejected proposition
Ł-system
admissible rule
deductive system - Pokaż więcej
- Dostawca treści:
- CEJSH