Automated reasoning with analytic tableaux and related methods : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

Abstract

Cuốn sách truy cập mở của ông cấu thành từ hội nghị quốc tế lần thứ 32 về suy luận tự động với bảng phân tích và các phương pháp liên quan, TABLEAUX 2023, được tổ chức tại Praha, Cộng hòa Séc, trong thời gian từ ngày 18 đến ngày 21 tháng 9 năm 2023.Có 20 bài báo đầy đủ và 5 bài báo ngắn trong cuốn sách này cùng với 5 bài tóm tắt của các buổi tọa đàm được mời đã được xem xét và lựa chọn cẩn thận từ 43 bài nộp. Họ trình bày nghiên cứu về tất cả các khía cạnh của việc cơ giới hóa lý luận bằng hoạt cảnh và các phương pháp liên quan. Các bài báo được tổ chức theo các phần chuyên đề sau: tính toán hoạt cảnh; phép tính tuần tự; chứng minh định lý; bằng chứng không có căn cứ; logic phương thức; logic tuyến tính và đại số MV; logic tách; và logic bậc nhất.