Year: 2025
Type: article
Abstract: This paper explores the problem of evaluating meta-arguments within the framework of heterogeneous logics. I introduce two new heterogeneous logics, KLP and LK3 , which are based on the interpreted languages of LP and K3 . I then present three distinct approaches to meta-argument evaluation, each aimed at preserving, in different ways, the heterogeneity of the underlying logics. Finally, I show that the second approach allows me to distinguish these new logics from others such as TS and ST , offering a more nuanced framework to address meta-argument distinctions in heterogeneous settings.
Source: Logica Universalis
Author: Christian Romero-Rodríguez
Institution: Universidad Nacional Autónoma de México
Language: English
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid
Estimated APC paid: $3,090
OpenAlex ID: W4415847387