- Tytuł:
-
Równoważnościowa sprowadzalność formuł logiki niefregowskiej do kwantyfikatorowej postaci normalnej
Equivalence reduction of formulas of non-Fregean logic to prenex normal forms - Autorzy:
- Janusz Wesserling
- Tematy:
-
Non-Fregean sentential calculus
WBQ-theory
identity connective
prenex normal form
substitution rule
substitution rule for identity
extensionality rule
extensionality rule for identity
Niefregowska logika zdaniowa
WBQ-teoria
spójnik identyczności
kwantyfikatorowa postać normalna
reguła zastępowania
reguła zastępowania dla identyczności
reguła ekstensjonalności
reguła ekstensjonalności dla identyczności - Pokaż więcej
- Dostawca treści:
- CEJSH
Artykuł