A representation of proper BC domains based on conjunctive sequent calculi
Sign Up to like & getrecommendations! Published in 2019 at "Mathematical Structures in Computer Science"
DOI: 10.1017/s096012951900015x
Abstract: Abstract We build a logical system named a conjunctive sequent calculus which is a conjunctive fragment of the classical propositional sequent calculus in the sense of proof theory. We prove that a special class of… read more here.
Keywords: sequent; sequent calculus; proper domains; sequent calculi ... See more keywords