EAN: 9783031435126

AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND ...

This open access book constitutes the proceedings of the proceedings of the 32nd International
Conference on Automated Reasoning with Analytic Tableaux and Related Methods  TABLEAUX 2023 
held in Prague  Czech Republic  during September 18-21  2023. The 20 full papers and 5 short
papers included in this book together with 5 abstracts of invited talks were carefully reviewed
and selected from 43 submissions. They present research on all aspects of the mechanization of
reasoning with tableaux and related methods. The papers are organized in the following topical
sections: tableau calculi  sequent calculi  theorem proving  non-wellfounded proofs  modal
logics  linear logic and MV-algebras  separation logic  and first-order logics.

Aktuelle Preise zur EAN 9783031435126

Produktinformationen zur 9783031435126