Olkhovikov, Grigory
- An intuitionistically complete system of basic intuitionistic conditional logic
2023/06/17 by Grigory K. Olkhovikov, Olkhovikov, Grigory · 3 citations
Computer Science · #03B20 #03B45 #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Semantic Web and Ontologies
- Maximality of bi-intuitionistic propositional logic
2021/04/07 by Olkhovikov, Grigory, Badia, Guillermo · 1 citation
#03B55 #03C95 #FOS: Mathematics #Logic (math.LO)