Tableaux and Dual Tableaux: Transformation of Proofs

Author： Golińska-Pilarek Joanna   Orłowska Ewa  

Publisher： Springer Publishing Company

ISSN： 0039-3215

Source： Studia Logica, Vol.85, Iss.3, 2007-04, pp. : 283-302

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Temporalising Tableaux

By  

Studia Logica, Vol. 76, Iss. 1, 2004-01 ,pp. : 91-134

Springer Publishing Company

Access to resources Recommend Favorite

Reactive intuitionistic tableaux

By Gabbay D.  

Synthese, Vol. 179, Iss. 2, 2011-03 ,pp. : 253-269

Springer Publishing Company

Access to resources Recommend Favorite

Lacunae, Empirical Progress and Semantic Tableaux

By Aliseda Atocha  

Poznan Studies in the Philosophy of the Sciences and the Humanities, Vol. 83, Iss. 1, 2005-11 ,pp. : 169-189

Rodopi

Access to resources Recommend Favorite

Modal Tableaux for Reasoning About Diagrams

By del Cerro Luis Fariñas   Gasquet Olivier  

Poznan Studies in the Philosophy of the Sciences and the Humanities, Vol. 91, Iss. 1, 2006-11 ,pp. : 169-184

Rodopi

Access to resources Recommend Favorite

Simultaneous Rigid Sorted Unification for Tableaux

By Martín P.J.   Gavilanes A.  

Studia Logica, Vol. 72, Iss. 1, 2002-10 ,pp. : 31-59

Springer Publishing Company

Access to resources Recommend Favorite