- Tytuł:
- Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic
- Autorzy:
-
Gheorghiu, Alexander V.
Pym, David J. - Tematy:
-
logic programming
proof-theoretic semantics
bilateralism
negationas-failure - Pokaż więcej
- Data publikacji:
- 2023
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Dostawca treści:
- Biblioteka Nauki
Artykuł