at://
/
app.bsky.feed.post
/
3mil666yud22e
sign in
All
4
Record
2
Post
1
PostEmbed
1
Post
by @danabra.mov
PostEmbed
by @danabra.mov
Record
by @jimpick.com
Record
by @atsui.org
+ new component
PostEmbed
This paper develops a sequent calculus framework for representing locally and globally valid metainferences through which contraction-free sequent calculi for the modal logics S5 and the propositional...
link.springer.com
Metainferences, Invalidities and Contraction-Free Sequent Calculi for S5 and Carnap’s C - Journal of Philosophical Logic