Author:
Marcelino Sérgio,Caleiro Carlos
Publisher
Oxford University Press (OUP)
Reference42 articles.
1. A modification of Ackermann's rigorous implication;Anderson;Journal of Symbolic Logic,1958
2. A new combination procedure for the word problem that generalizes fusion decidability results in modal logics
3. Fibring Semantic Tableaux
4. Intensional models for first degree formulas
5. Béziau J.-Y. Childers T. Majers O. Universal Logic. In Proceedings of the VIII International Symposium, LOGICA'94, pp. 73–93. Czech Academy of Sciences, 1994.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献