Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Deakin, Jonte"'
Autor:
Deakin, Jonte, de Groot, Jim
Sub-sub-intuitionistic logic is obtained from intuitionistic logic by weakening the implication and removing distributivity. It can alternatively be viewed as conditional weak positive logic. We provide semantics for sub-sub-intuitionistic logic by m
Externí odkaz:
http://arxiv.org/abs/2408.12030