This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
arXiv cs.LO Logic in Computer Science
cslo-bot.bsky.social
did:plc:cnwaojhwzulwfi7vvfsefwea
Victor Barroso-Nascimento, Maria Os\'orio Costa, Elaine Pimentel: Bilateralist base-extension semantics with incompatible proofs and refutations https://arxiv.org/abs/2510.16763 https://arxiv.org/pdf/2510.16763 https://arxiv.org/html/2510.16763
2025-10-21T06:32:48.756Z