PL
 |
EN
Ograniczanie wyników
Czasopisma help
  1. 1 Reports on Mathematical Logic
Autorzy help
  1. 1 Niki Satoru
  2. 1 Omori Hitoshi
Lata help
  1. 1 2021
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 1

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  empirical negation
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available A note on Humberstone's constant Ω
Niki Satoru, Omori Hitoshi
Reports on Mathematical Logic
|
2021
|
Vol. 56
75--99
EN
We investigate an expansion of positive intuitionistic logic obtained by adding a constant Ω introduced by Lloyd Humberstone. Our main results include a sound and strongly complete axiomatization, some comparisons to other expansions of intuitionistic logic obtained by adding actuality and empirical negation, and an algebraic semantics. We also briefly discuss its connection to classical logic.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.