Academic Journal
Tableaux for metainferential logics.
| Title: | Tableaux for metainferential logics. |
|---|---|
| Authors: | Bavosa Castro, A., Borzi, A., Da Ré, B., Roffé, A. J., Toranzo Calderón, J. S. |
| Source: | Journal of Applied Non-Classical Logics; Mar2026, Vol. 36 Issue 1, p113-146, 34p |
| Subject Terms: | Inference (Logic), Nonclassical mathematical logic, Education software, Computer software execution |
| Abstract: | The aim of this work is to introduce a series of requisites for building sound and complete tableaux systems for inferential logics based on non-deterministic valuation schemes and extend them with rules for metainferences, thus yielding metainferential tableaux system capable of proving metainferences of any level n. We show the construction of our tableaux for the logics of the Strong Kleene family and a wide range of different logical systems, most of which have not been studied previously from a metainferential standpoint. Furthermore, we implement this system into a user-friendly, publicly accessible software, designed both for educational purposes as well as assistance in research endeavors. [ABSTRACT FROM AUTHOR] |
| Copyright of Journal of Applied Non-Classical Logics is the property of Taylor & Francis Ltd and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Complementary Index |
| FullText | Text: Availability: 0 CustomLinks: – Url: https://resolver.ebsco.com/c/fiv2js/result?sid=EBSCO:edb&genre=article&issn=11663081&ISBN=&volume=36&issue=1&date=20260301&spage=113&pages=113-146&title=Journal of Applied Non-Classical Logics&atitle=Tableaux%20for%20metainferential%20logics.&aulast=Bavosa%20Castro%2C%20A.&id=DOI:10.1080/11663081.2025.2573584 Name: Full Text Finder (for New FTF UI) (ns324271) Category: fullText Text: Full Text Finder MouseOverText: Full Text Finder |
|---|---|
| Header | DbId: edb DbLabel: Complementary Index An: 191629763 RelevancyScore: 1061 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 1060.7568359375 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Tableaux for metainferential logics. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Bavosa+Castro%2C+A%2E%22">Bavosa Castro, A.</searchLink><br /><searchLink fieldCode="AR" term="%22Borzi%2C+A%2E%22">Borzi, A.</searchLink><br /><searchLink fieldCode="AR" term="%22Da+Ré%2C+B%2E%22">Da Ré, B.</searchLink><br /><searchLink fieldCode="AR" term="%22Roffé%2C+A%2E+J%2E%22">Roffé, A. J.</searchLink><br /><searchLink fieldCode="AR" term="%22Toranzo+Calderón%2C+J%2E+S%2E%22">Toranzo Calderón, J. S.</searchLink> – Name: TitleSource Label: Source Group: Src Data: Journal of Applied Non-Classical Logics; Mar2026, Vol. 36 Issue 1, p113-146, 34p – Name: Subject Label: Subject Terms Group: Su Data: <searchLink fieldCode="DE" term="%22Inference+%28Logic%29%22">Inference (Logic)</searchLink><br /><searchLink fieldCode="DE" term="%22Nonclassical+mathematical+logic%22">Nonclassical mathematical logic</searchLink><br /><searchLink fieldCode="DE" term="%22Education+software%22">Education software</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software+execution%22">Computer software execution</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: The aim of this work is to introduce a series of requisites for building sound and complete tableaux systems for inferential logics based on non-deterministic valuation schemes and extend them with rules for metainferences, thus yielding metainferential tableaux system capable of proving metainferences of any level n. We show the construction of our tableaux for the logics of the Strong Kleene family and a wide range of different logical systems, most of which have not been studied previously from a metainferential standpoint. Furthermore, we implement this system into a user-friendly, publicly accessible software, designed both for educational purposes as well as assistance in research endeavors. [ABSTRACT FROM AUTHOR] – Name: Abstract Label: Group: Ab Data: <i>Copyright of Journal of Applied Non-Classical Logics is the property of Taylor & Francis Ltd and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edb&AN=191629763 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1080/11663081.2025.2573584 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 34 StartPage: 113 Subjects: – SubjectFull: Inference (Logic) Type: general – SubjectFull: Nonclassical mathematical logic Type: general – SubjectFull: Education software Type: general – SubjectFull: Computer software execution Type: general Titles: – TitleFull: Tableaux for metainferential logics. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Bavosa Castro, A. – PersonEntity: Name: NameFull: Borzi, A. – PersonEntity: Name: NameFull: Da Ré, B. – PersonEntity: Name: NameFull: Roffé, A. J. – PersonEntity: Name: NameFull: Toranzo Calderón, J. S. IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 03 Text: Mar2026 Type: published Y: 2026 Identifiers: – Type: issn-print Value: 11663081 Numbering: – Type: volume Value: 36 – Type: issue Value: 1 Titles: – TitleFull: Journal of Applied Non-Classical Logics Type: main |
| ResultId | 1 |