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=...

Full beskrivning

Bibliografiska uppgifter

Huvudupphov:	Zhe Lin, Minghui Ma
Materialtyp:	Artigo
Språk:	Inglês
Utgiven:	MDPI AG 2023-06-01
Serie:	Axioms
Ämnen:	proof theory tense logic sequent calculus cut elimination
Länkar:	https://www.mdpi.com/2075-1680/12/7/620
Taggar:	Lägg till en tagg Inga taggar, Lägg till första taggen!