Author:
Fiorentini Camillo,Goré Rajeev,Graham-Lengrand Stéphane
Publisher
Springer International Publishing
Reference16 articles.
1. Lecture Notes in Computer Science;K Claessen,2015
2. Dyckhoff, R.: Contraction-free sequent calculi for intuitionistic logic. J. Symb. Log. 57(3), 795–807 (1992)
3. Dyckhoff, R., Pinto, L.: Implementation of a loop-free method for construction of counter-models for intuitionistic propositional logic. University of St Andrews Report CS/96/8 (1996)
4. Farooque, M., Graham-Lengrand, S., Mahboubi, A., A bisimulation between DPLL(T) and a proof-search strategy for the focused sequent calculus. In: Momigliano, A., Pientka, B., Pollack, R. (eds.) Proceedings of the 2013 International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2013. ACM Press, September 2013
5. Ferrari, M., Fiorentini, C., Fiorino, G.: Contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-models. J. Autom. Reason. 51(2), 129–149 (2013)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献