Year: 2026
Type: article
Abstract: This paper concerns the categoricity problems, or Carnap’s problems, of some non-classical logics. I first review the categoricity theorems of LP and K3 proved by Tabakci (2024) and give a counterexample to a proposition in his paper. Then I prove some categoricity results of FDE and a theorem connecting that of FDE and those of LP and K3 . I also prove that FDE is categorical regarding the star models and that LP and K3 are not categorical regarding their star models.
Source: Studia Logica
Author: Chris Pang
Institution: University of Notre Dame
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: $2,990
Award: G6107567200
OpenAlex ID: W7203743540