Login
From:
Richard Zach
(Uncensored)
subscribe
MUltseq 2.0 – Richard Zach
https://richardzach.org/2024/07/multseq-2-0/
links
backlinks
Roast topics
Find topics
Find it!
MUltseq is a sequent theorem prover for arbitrary finite-valued logics. It was developed over 20 years ago by Àngel Gil and Gernot Salzer. Version 2.0 was presented today at TACL 2024 in Barcelona.…
