- Axiomatizing the Logic of Ordinary Discourse
2024/05/06 by Greati, Vitor, Marcelino, Sérgio, Rivieccio, Umberto · 1 citation
#03B22 #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
- Tableaux for Free Logics with Descriptions
2021/07/15 by Indrzejczak, Andrzej, Zawidzki, Michał · 1 citation
#03A05 (Secondary) #03B22 #03B35 (Primary) 03B10 #F.4.1 #FOS: Computer and information sciences #I.2.3 #I.2.4 #Logic in Computer Science (cs.LO)
- B-systems
2014/10/20 by Voevodsky, Vladimir · 1 citation
#03B15 #03B22 #03F50 #03G25 #Category Theory (math.CT) #FOS: Mathematics #Logic (math.LO)