Richard Zach on Nostr: MUltseq https://www.logic.at/multseq/ is a sequent theorem prover for arbitrary ...
MUltseq
https://www.logic.at/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. I also updated MUltlog to v1.7, which includes a script to generate sequent calculus rules for use with MUltseq.
Published at
2024-07-03 15:19:23Event JSON
{
"id": "d1285f0f02021bdacd3cd8252ac1258b173042ca0270bb93d8c12ac46a55d9b9",
"pubkey": "580ba9c3849e80d58cbcd2c76728f33468f41c54396d73656137b224781f45d2",
"created_at": 1720019963,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/rrrichardzach/statuses/112723228337264467",
"activitypub"
]
],
"content": "MUltseq https://www.logic.at/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. I also updated MUltlog to v1.7, which includes a script to generate sequent calculus rules for use with MUltseq.",
"sig": "5b0922f66ce7d04f9056aaa502066e1afd1f63121837ddae55b44efdb016baf861babd8126946c6fb892bd0fa5d3b9b3419c9d708688532d043a70f4ead63484"
}
