Skip to main content
SpringerLink
Log in

Ewa Orlowska and Joanna Golinska-Pilarek, Dual Tableaux: Foundations, Methodology, Case Studies, Springer, Series: Trends in Logic, Vol. 33, 2011, pp. xvi+523, 113 illus. ISBN: 978-94-007-0004-8 (hardcover) EURO 181,85, 978-94-007-0005-5 (eBook) EURO 159,99.

  • Published:
Studia Logica Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Agudelo J.C., Carnielli W.: Polynomial ring calculus for modal logics: a new semantics and proof method for modalities. The Review of Symbolic Logic 4(1), 150–170 (2011)

    Article  Google Scholar 

  2. Arai N.H., Pitassi T., Urquhart A.: The complexity of analytic tableaux. The Journal of Symbolic Logic Volume 71(3), 777–790 (2006)

    Article  Google Scholar 

  3. Baaz M., Fermller C.G., Salzer G., Zach R.: Dual systems of sequents and tableaux for many-valued logics, Bull. EATCS 51, 192–197 (1993)

    Google Scholar 

  4. Carnielli W.A.: Systematization of Finite Many-valued Logics through the method of Tableaux. Journal of Symbolic Logic 52(2), 473–493 (1987)

    Article  Google Scholar 

  5. Carnielli W.A.: On sequents and tableaux for many-valued logics. Journal of Non-Classical Logics 8(1), 59–76 (1991)

    Google Scholar 

  6. Fitting, M.C., First Order Logic and Automated Theorem Proving, Springer Verlag, 1989.

  7. Gottschalk W.H.: The Theory of Quaternality. The Journal of Symbolic Logic 18(3), 193–196 (1953)

    Article  Google Scholar 

  8. Hähnle, R., Tableaux for Multiple-valued Logics, in M. D’Agostino, D.M. Gabbay, R. Hähnle, J. and Posegga, (eds.), Handbook of Tableau Methods, Kluwer Publishing Company, 1999, pp. 529–580.

  9. Konikowska B.: Rasiowa-Sikorski deduction systems in computer science applications. Journal of Theoretical Computer Science Volume 286(2), 323–366 (2002)

    Article  Google Scholar 

  10. Malinowski, G., Review of Reiner Hähnle’s “Automated Deduction in Multiplevalued Logics” (Clarendon Press, Oxford, 1993, ix + 172 pages). Note Dame Journal of Formal Logic 37:(4):631–646, 1996.

    Google Scholar 

  11. Rasiowa H., Sikorski R.: On Gentzen theorem. Fundamenta Mathematicae 48, 57–69 (1960)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Centre for Logic, Epistemology and the History of Science - CLE, State University of Campinas - UNICAMP, 13083-859, Campinas, SP, Brazil

    Walter Carnielli

Authors
  1. Walter Carnielli
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Walter Carnielli.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Carnielli, W. Ewa Orlowska and Joanna Golinska-Pilarek, Dual Tableaux: Foundations, Methodology, Case Studies, Springer, Series: Trends in Logic, Vol. 33, 2011, pp. xvi+523, 113 illus. ISBN: 978-94-007-0004-8 (hardcover) EURO 181,85, 978-94-007-0005-5 (eBook) EURO 159,99.. Stud Logica 101, 229–232 (2013). https://doi.org/10.1007/s11225-013-9467-6

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-013-9467-6

Search

Navigation