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

Grigory K. Olkhovikov

  1. 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