Cookies helfen uns bei der Bereitstellung unserer Dienste. Durch die Nutzung unserer Dienste erklären Sie sich damit einverstanden, dass wir Cookies setzen.
Frias, Marcelo F. and Orłowska, Ewa. 1995. “A Proof System for Fork Algebras and its Applications to Reasoning in Logics Based on Intuitionism.”Logique et Analyse 38(150–152): 239–284.