Academic Journal
Tableaux for metainferential logics.
| Τίτλος: | Tableaux for metainferential logics. |
|---|---|
| Συγγραφείς: | Bavosa Castro, A., Borzi, A., Da Ré, B., Roffé, A. J., Toranzo Calderón, J. S. |
| Πηγή: | Journal of Applied Non-Classical Logics; Mar2026, Vol. 36 Issue 1, p113-146, 34p |
| Θεματικοί όροι: | Inference (Logic), Nonclassical mathematical logic, Education software, Computer software execution |
| Περίληψη: | 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.) | |
| Βάση Δεδομένων: | Complementary Index |
καταχωρήστε σχόλιο πρώτοι!