vix.ing · top · new · best · stats · spec

1. Serial Properties, Selector Proofs, and the Provability of Consistency
   2024/03/18 by Artemov, Sergei · 3 citations
   #03A05 #03B30 #03F03 #03F07 #03F30 #03F40 #F.3.0 #F.4.0 #F.4.1 #FOS: Mathematics #I.2.0 #I.2.3 #Logic (math.LO)
2. Nested Sequents
   2010/04/11 by Kai Brünnler, Brünnler, Kai · 1 citation
   Computer Science · #03B45 #03F07 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Semantic Web and Ontologies