A focused linear logical framework and its application to metatheory of object logics
Sign Up to like & getrecommendations! Published in 2021 at "Mathematical Structures in Computer Science"
DOI: 10.1017/s0960129521000323
Abstract: Abstract Linear logic (LL) has been used as a foundation (and inspiration) for the development of programming languages, logical frameworks, and models for concurrency. LL’s cut-elimination and the completeness of focusing are two of its… read more here.
Keywords: linear logical; focused linear; elimination; cut elimination ... See more keywords
Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality
Sign Up to like & getrecommendations! Published in 2019 at "Logic and Logical Philosophy"
DOI: 10.12775/llp.2019.002
Abstract: In this study, a new paraconsistent four-valued logic called bi-classical connexive logic (BCC) is introduced as a Gentzen-type sequent calculus. Cut-elimination and completeness theorems for BCC are proved, and it is shown to be decidable.… read more here.
Keywords: classical connexive; logic; connexive logic; modal extension ... See more keywords
Free Definite Description Theory – Sequent Calculi and Cut Elimination
Sign Up to like & getrecommendations! Published in 2020 at "Logic and Logical Philosophy"
DOI: 10.12775/llp.2020.020
Abstract: We provide an application of a sequent calculus framework to the formalization of definite descriptions. It is a continuation of research undertaken in [20, 22]. In the present paper a so-called free description theory is… read more here.
Keywords: cut elimination; description theory; sequent;