Login / Signup
A Dual-Context Sequent Calculus for S4 Modal Lambda-Term Synthesis.
Favio E. Miranda-Perea
Sammantha Omana Silva
Lourdes Del Carmen González-Huesca
Published in:
Computación y Sistemas (2022)
Keyphrases
</>
sequent calculus
modal logic
linear logic
pairwise
active learning
inference rules