News
Studia Logica: An International Journal for Symbolic Logic, Vol. 80, No. 2/3, Negation in Constructive Logic (Jul. - Aug., 2005), pp. 393-430 (38 pages) Constructive logic with Nelson negation is an ...
In this paper we give axiom systems for classical and intuitionistic hybrid logic. Our axiom systems can be extended with additional rules corresponding to conditions on the accessibility relation ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback