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=...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Artigo |
| Sprache: | Inglês |
| Veröffentlicht: |
MDPI AG
2023-06-01
|
| Schriftenreihe: | Axioms |
| Schlagworte: | |
| Online-Zugang: | https://www.mdpi.com/2075-1680/12/7/620 |
| Tags: |
Keine Tags, Fügen Sie das erste Tag hinzu!
|