he paper subsumes and extends in a

he paper subsumes and extends in a radical way a line of research aimed at automation of reasoning with inconsistent information using paraconsistent logics. We provide a new method for uniform, modular construction of analytic calculi for all major logics in the crucial class of paraconsistent logics known as C-systems. The method is based on semantic characterization of those logics via non-deterministic matrices (Nmatrices), and – unlike that developed previously – is also applicable to C-systems which can only be characterized by infinite Nmatrices. What is more, we show that the results obtained in this paper for infinite semantics imply our earlier results for finite semantics.

ผลลัพธ์ (ไทย) 1:

กระดาษเขา subsumes และขยายบรรทัดของการวิจัยที่มุ่งทำงานอัตโนมัติของการใช้เหตุผลด้วยข้อมูลที่ไม่สอดคล้องกันโดยใช้ paraconsistent logics ในลักษณะรุนแรง เรามีวิธีการใหม่ในการก่อสร้างโกดัง calculi สม่ำเสมอ โมดุลสำหรับ logics หลักทั้งหมดในระดับสำคัญของ logics paraconsistent เป็นระบบ C วิธีการขึ้นอยู่กับคุณสมบัติทางตรรกของ logics ที่ผ่านไม่ใช่ deterministic เมทริกซ์ (Nmatrices), และ –แตกต่างจากที่เคยพัฒนา – ก็ใช้ระบบ C ซึ่งสามารถเป็นลักษณะเฉพาะ โดยอนันต์ Nmatrices อะไรคือมาก เราแสดงว่า ผลที่ได้รับในเอกสารนี้สำหรับความหมายอนันต์เป็นสิทธิ์แบบผลของเราก่อนหน้านี้ในความหมายที่จำกัด

ผลลัพธ์ (ไทย) 2:

เขา subsumes กระดาษและขยายในทางที่รุนแรงเส้นของการวิจัยมุ่งเป้าไปที่ระบบอัตโนมัติของเหตุผลที่มีข้อมูลที่ไม่สอดคล้องกันโดยใช้ตรรกะ paraconsistent เรามีวิธีการใหม่สำหรับชุดการก่อสร้าง modular ของนิ่ววิเคราะห์สำหรับ Logics ที่สำคัญทั้งหมดอยู่ในระดับที่สำคัญของ Logics paraconsistent ที่รู้จักกันในระบบ C- วิธีการจะขึ้นอยู่กับลักษณะความหมายของ Logics ผู้ผ่านการฝึกอบรมที่ไม่ได้กำหนด (Nmatrices) และ - แตกต่างที่พัฒนาก่อนหน้านี้ - นอกจากนี้ยังมีผลบังคับใช้กับระบบ C ซึ่งสามารถโดดเด่นด้วย Nmatrices ไม่มีที่สิ้นสุด อะไรคือสิ่งที่เราแสดงให้เห็นว่าผลที่ได้รับในบทความนี้สำหรับความหมายบ่งบอกถึงผลที่ไม่มีที่สิ้นสุดก่อนหน้านี้ของเราสำหรับความหมาย จำกัด

ผลลัพธ์ (ไทย) 3:

เขา subsumes กระดาษและขยายในหัวรุนแรงทางสายของการวิจัยที่มุ่งจัดการกับข้อมูลที่ไม่สอดคล้องกัน โดยใช้เหตุผล paraconsistent ตรรกะ . เรามีวิธีการใหม่สำหรับชุดการก่อสร้าง modular ของการวิเคราะห์นิ่วสำหรับตรรกะหลักทั้งหมดในระดับที่สำคัญของ paraconsistent ตรรกะที่รู้จักกันเป็น c-systems .โดยอาศัยลักษณะทางความหมายของ logics ไม่ใช่ deterministic เมทริกซ์ ( nmatrices ) และ ( เหมือนที่พัฒนาก่อนหน้านี้บริษัทยังสามารถใช้ได้กับ c-systems ซึ่งจะมีลักษณะ nmatrices อนันต์ อะไรคือสิ่งที่เราแสดงให้เห็นว่าผลลัพธ์ที่ได้ในกระดาษนี้ความหมายอนันต์นัยของเราก่อนหน้านี้ผลอรรถศาสตร์จำกัด