Show simple item record

Automated Reasoning with Analytic Tableaux and Related Methods

32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings

dc.contributor.editorRamanayake, Revantha
dc.contributor.editorUrban, Josef
dc.date.accessioned2023-10-13T15:44:24Z
dc.date.available2023-10-13T15:44:24Z
dc.date.issued2023
dc.identifierONIX_20231013_9783031435133_37
dc.identifier.urihttps://library.oapen.org/handle/20.500.12657/76757
dc.description.abstractThis 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.
dc.languageEnglish
dc.relation.ispartofseriesLecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
dc.subject.othertableaux
dc.subject.othertableaux calculus
dc.subject.othersequent calculus
dc.subject.otherproof theory
dc.subject.othertheorem proving
dc.subject.otherproof assistant
dc.subject.othernatural deduction
dc.subject.otherformalized proof
dc.subject.otherdecision procedures
dc.subject.otherautomated deduction
dc.subject.otherSMT
dc.subject.otherresolution
dc.subject.othercut-elimination
dc.subject.othernon-classical logics
dc.subject.othermodal logic
dc.subject.otherintuitionistic
dc.subject.otherinear logic
dc.subject.othersubstructural logic
dc.subject.otherseparation logic
dc.titleAutomated Reasoning with Analytic Tableaux and Related Methods
dc.title.alternative32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings
dc.typebook
oapen.identifier.doi10.1007/978-3-031-43513-3
oapen.relation.isPublishedBy6c6992af-b843-4f46-859c-f6e9998e40d5
oapen.relation.isFundedBy8b6a24b0-ef1f-46ee-8421-1410015df6db
oapen.relation.isbn9783031435133
oapen.relation.isbn9783031435126
oapen.imprintSpringer Nature Switzerland
oapen.series.number14278
oapen.pages482
oapen.place.publicationCham
oapen.grant.number[...]


Files in this item

Thumbnail
Name:
978-3-031-43513-3.pdf
Size:
10.47Mb
Format:
PDF
ISBN:
9783031435133
License:
http://creativecommons.org/lic ...
Webshop link:
https://link.springer.com/978- ...
View/Open

This item appears in the following Collection(s)

Show simple item record