Author:
Boričić Branislav,Ilić Mirjana
Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference35 articles.
1. Boričić B.: A note on some intermediate propositional calculi. Journal of Symbolic Logic 49, 329–333 (1984)
2. Boričić B.: On sequence-conclusion natural deduction systems. Journal of Philosophical Logic 14, 359–377 (1985)
3. Boričić B.: On certain normalizable natural deduction formulations of some propositional intermediate logics. Notre Dame Journal of Formal Logic 29(4), 563–568 (1988)
4. Boričić, B., On some statements of proof theory, (serbocroatian: O nekim tvrdjenjima teorije dokaza), Matematika XVII(Br. 3):40–47, 1988.
5. Boričić, B., On interpretation of logical sistem, (serbocroatian: O interpretaciji logičkog sistema), Matematika XIX(Br. 3):40–44, 1990.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献