Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Roshal, Sophia"'
Adjoint logic is a general approach to combining multiple logics with different structural properties, including linear, affine, strict, and (ordinary) intuitionistic logics, where each proposition has an intrinsic mode of truth. It has been defined
Externí odkaz:
http://arxiv.org/abs/2402.01428
