Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings

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...

Celý popis

Uložené v:
Podrobná bibliografia
Hlavní autori: Ramanayake, Revantha, Urban, Josef
Médium: E-kniha
Jazyk:English
Vydavateľské údaje: Cham Springer Nature 2023
Springer
Vydanie:1
Edícia:Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
Predmet:
automated deduction
cut-elimination
decision procedures
formalized proof
inear logic
intuitionistic
modal logic
natural deduction
non-classical logics
proof assistant
proof theory
resolution
separation logic
sequent calculus
SMT
substructural logic
tableaux
tableaux calculus
theorem proving
ISBN:9783031435126, 3031435133, 9783031435133, 3031435125
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Abstract 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.
AbstractList 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.
Author Urban, Josef
Ramanayake, Revantha
Author_xml – sequence: 1
  fullname: Ramanayake, Revantha
– sequence: 2
  fullname: Urban, Josef
BookMark eNo1kMtOwzAQRY14CFr6AeyyZBMYe-LYWYBUqvKQipBQxdYax04bCHFJUkH_nrSF1dyje3QXM2BHdag9YxccrjiAus6UjjEG5HGCkmOMB2yAPe4ID9moF_5ZpCdswDHTyEFncMpGbfsOACJLQKjsjN2O1134pM676NVTG-qyXkTfZbeMxjVVm67MoznZytP6J6J6K1U7-dl3y-Dac3ZcUNX60d8dsrf76XzyGM9eHp4m41lMIlUijSlxKJRFlxZJQpnmCFaS0875zKtUKp8LCYXW6MjmUgIpV3DgTiQWBVgcssv98KoJX2vfdsbbED5yX3cNVWZ6N0HQWmiV9urNXg208rVZNeUnNRsTqDRVaZt93jahWRgBRgKY_lFSGZUqqfAXZU1nAQ
ContentType eBook
DBID A7I
DOI 10.1007/978-3-031-43513-3
DatabaseName OAPEN
DatabaseTitleList
Database_xml – sequence: 1
  dbid: A7I
  name: OAPEN
  url: https://library.oapen.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISBN 3031435133
9783031435133
Edition 1
Editor Urban, Josef
Ramanayake, Revantha
Editor_xml – sequence: 1
  fullname: Ramanayake, Revantha
– sequence: 2
  fullname: Urban, Josef
ExternalDocumentID EBC30882876
oai_library_oapen_org_20_500_12657_76757
GroupedDBID A7I
AABBV
AAKKN
AALJR
AAQKC
ABEEZ
ACRBC
ACYUH
ADRLP
AEDXK
AEFSM
AEKFX
AFCNU
AGBCL
AGWHU
AIQUZ
ALMA_UNASSIGNED_HOLDINGS
ALNDD
BBABE
CZZ
EIXGO
IEZ
SBO
TPJZQ
TSXQS
Z5O
Z7R
Z7S
Z7U
Z7V
Z7W
Z7X
Z7Y
Z7Z
Z81
Z82
Z83
Z84
Z85
Z87
Z88
ID FETCH-LOGICAL-a26726-a4d327b3d6f44a98130b5ad8dde9e7657ec250f883dabc550a7df101d24b320b3
IEDL.DBID A7I
ISBN 9783031435126
3031435133
9783031435133
3031435125
IngestDate Fri May 30 22:22:47 EDT 2025
Wed Dec 10 14:47:13 EST 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed false
IsScholarly false
LCCallNum_Ident Q334-342
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-a26726-a4d327b3d6f44a98130b5ad8dde9e7657ec250f883dabc550a7df101d24b320b3
OCLC 1398310890
OpenAccessLink https://library.oapen.org/handle/20.500.12657/76757
PQID EBC30882876
PageCount 482
ParticipantIDs proquest_ebookcentral_EBC30882876
oapen_primary_oai_library_oapen_org_20_500_12657_76757
PublicationCentury 2000
PublicationDate 2023
PublicationDateYYYYMMDD 2023-01-01
PublicationDate_xml – year: 2023
  text: 2023
PublicationDecade 2020
PublicationPlace Cham
PublicationPlace_xml – name: Cham
PublicationSeriesTitle Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
PublicationYear 2023
Publisher Springer Nature
Springer
Publisher_xml – name: Springer Nature
– name: Springer
SSID ssj0002940279
Score 2.3211946
Snippet This open access book constitutes the proceedings of the proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and...
SourceID proquest
oapen
SourceType Publisher
SubjectTerms automated deduction
cut-elimination
decision procedures
formalized proof
inear logic
intuitionistic
modal logic
natural deduction
non-classical logics
proof assistant
proof theory
resolution
separation logic
sequent calculus
SMT
substructural logic
tableaux
tableaux calculus
theorem proving
Subtitle 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings
Title Automated Reasoning with Analytic Tableaux and Related Methods
URI https://library.oapen.org/handle/20.500.12657/76757
https://ebookcentral.proquest.com/lib/[SITE_ID]/detail.action?docID=30882876
Volume 14278
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV07T8MwED5By8BUnqK8ZCRWV2nOiZMFCapWMFAhVKFulh07EkuLmhbx8zk7aQGxdYwucpyTH_edfd8HcIuRsYWQghtLWFXkBFBM31ruMknhiShRm1psQo7H2XSavzR13NVP7qI314Tmw0l-zTZAIL2XRJ4MISUI7xlI5C60Uy9G7eMh-bRJrMQ5QSKZ-zoOT82OtKMlvx4Qa9qdjTH9-4y4Pvts6GeRk4UHE0cvi-R79m_lDtvRqLPVjxxA2_nKhkPYcbMj6Kz1HFgzvY_h7n61nFME6yx7dboKiVrmE7UsUJfQEGMTX2mlV1-MvsLCRTp6-TmoUFcn8DYaTgaPvNFX4DpOZZxyLSzG0qBNSyF0ntF-ZhJtM1ryciepf66gCKnMMrTaFIRltLQlzWEbC4NxZPAUWrP5zJ0By72ZYjmKdpyQhaHG-qIfCBcTVwrdhTR4Qn3UJBrK01o3PlK1hXyk4kiRc1RwjgrO6cLN2tMqnB83l1bV8GGAHh_Qcn6-beMXsO_l4-uUyiW0louVu4K94nP5Xi2uw7j6BhBnw2g
linkProvider Open Access Publishing in European Networks
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=Automated+Reasoning+with+Analytic+Tableaux+and+Related+Methods&rft.au=Ramanayake%2C+Revantha&rft.au=Urban%2C+Josef&rft.date=2023-01-01&rft.pub=Springer&rft.isbn=9783031435126&rft.volume=14278&rft_id=info:doi/10.1007%2F978-3-031-43513-3&rft.externalDocID=EBC30882876
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9783031435126/lc.gif&client=summon&freeimage=true
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9783031435126/mc.gif&client=summon&freeimage=true
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9783031435126/sc.gif&client=summon&freeimage=true