Results 151 to 160 of about 5,025 (226)

Sub-sub-intuitionistic logic

open access: yes
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 means
Deakin, Jonte, de Groot, Jim
core  

Home - About - Disclaimer - Privacy