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

1. Quantifier-free formulas and quantifier alternation depth in doctrines
   2024/04/12 by Abbadini, Marco, Guffanti, Francesca · 1 citation
   #08B20 #08C15 #18C10 #Category Theory (math.CT) #FOS: Mathematics #Logic (math.LO) #Primary: 03G30. Secondary: 03B10
2. Sugihara Algebras: Admissibility Algebras via the Test Spaces Method
   2018/09/20 by Cabrer, Leonardo, Priestley, Hilary · 1 citation
   #03B47 #03G25 #08C15 #08C20 #FOS: Mathematics #Logic (math.LO)