Author:
Akama Seiki,Nakamatsu Kazumi,Abe Jair Minoro
Publisher
Springer Berlin Heidelberg
Reference6 articles.
1. Akama, S.: Constructive predicate logic with strong negation and model theory. Notre Dame Journal of Formal Logic 29, 18–27 (1988)
2. Almukdad, A., Nelson, D.: Constructible falsity and inexact predicates. Journal of Symbolic Logic 49, 231–233 (1984)
3. da Costa, N.C.A., Dubikajtis, L.: On Jaskowski’s discursive logic. In: Arruda, A.I., da Costa, N.C.A., Chuaqui, R. (eds.) Non-Classical Logics, Model Theory and Computability, pp. 37–56. North-Holland, Amsterdam (1977)
4. Jaskowski, S.: Propositional calculus for contradictory deductive systems. Studia Societatis Scientiarun Torunesis, Sectio A 1, 55–77 (1948) (in Polish)
5. Jaskowski, S.: On the discursive conjunction in the propositional calculus for inconsistent deductive systems. Studia Societatis Scientiarun Torunesis, Sectio A 8, 171–172 (1949) (in Polish)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献