Alexander V. Gheorghiu

1. Semantical Analysis of the Logic of Bunched Implications
   2022/10/11 by Alexander V. Gheorghiu, David Pym, Gheorghiu, Alexander V. +1 · 2 citations
   Computer Science · #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
2. From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
   2022/10/11 by Alexander V. Gheorghiu, David Pym, Gheorghiu, Alexander V. +1 · 1 citation
   Computer Science · #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