Pure Sequent Calculi: Analyticity and Decision Procedure - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Ori Lahav, Yoni Zohar. Pure Sequent Calculi: Analyticity and Decision Procedure. ACM Trans. Comput. Log., 20(3), 2019. [doi]

The following publications are possibly variants of this publication:

SAT-Based Decision Procedure for Analytic Pure Sequent CalculiOri Lahav, Yoni Zohar. cade 2014: 76-90 [doi]

Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent CalculiYoni Zohar, Anna Zamansky. cade 2016: 487-495 [doi]

On the Construction of Analytic Sequent Calculi for Sub-classical LogicsOri Lahav, Yoni Zohar. wollic 2014: 206-220 [doi]

runs on WebDSL