nopeMar 31, 2023
Display Logic
(1982) : Belnap, Nuel D.
DOI: https://doi.org/10.1007/bf00284976
#semantics #sequent_calculus #modal_logic #display_logic #my_bibtex
nopeJun 8, 2022
Display Logic
(1982) : Nuel D. Belnap
DOI: https://doi.org/10.1007/bf00284976
#display_logic #modal_logic #semantics #sequent_calculus
#my_bibtex