Gheorghiu, Alexander V.

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, Gheorghiu, Alexander V., David Pym +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
3. Proof-theoretic Semantics for First-order Logic
   2024/10/15 by Gheorghiu, Alexander V. · 4 citations
   #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)