Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. Akama, S, Constructive Predicate Logic with Strong Negation and Model Theory, Notre Dame J Formal Logic 29 (1988), 18–27.
2. Akama, S, On the Proof Method for Constructive Falsity, Zeitschr. f. math. Logik und Grundlagen d. Math. 34 (1988), 385–392.
3. Almukdad, A & Nelson, D, Constructible Falsity and Inexact Predicates, JSL 49 (1984), 231–233.
4. Alferes, J J & Pereira, L M, Reasoning with Logic Programming LNAI 1111, Springer, 1996.
5. van Dalen, D, Intuitionistic Logic, in D Gabbay, & F Guenthner (eds), Handbook of Philosophical Logic, Vol. III, Kluwer, Dordrecht, 1986.
Cited by
162 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献