Cut-Free Gentzen Sequent Calculi for Tense Logics

The cut-free single-succedent Gentzen sequent calculus <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><msub><mi mathvariant="sans-serif">GK</mi><mi>t</mi></msub></semantics></math></inline-formula> for the minimal tense logic <inline-formula><math xmlns=...

Descripció completa

Dades bibliogràfiques

Autors principals:	Zhe Lin, Minghui Ma
Format:	Artigo
Idioma:	Inglês
Publicat:	MDPI AG 2023-06-01
Col·lecció:	Axioms
Matèries:	proof theory tense logic sequent calculus cut elimination
Accés en línia:	https://www.mdpi.com/2075-1680/12/7/620
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!