The Syntax of Disjunctive Propositional Logic and Algebraic L-domains

04/07/2019
by   Longchun Wang, et al.
0

Based on the investigation of the proof system of a disjunctive propositional logic introduced by Yi-xiang Chen and Achim Jung, this paper establishes a purely syntactic representation of algebraic L-domains. The central tools used here are logical states which build a bridge between the logical proof systems and algebraic L-domains. A notion of consequence relation is also made to determine Scott-continuous functions between algebraic L-domains. More precisely, a category of certain proof systems with consequence relations is shown to be equivalent to that of algebraic L-domains with Scott-continuous functions. As an application, a subclass of disjunctive propositional logic is found to provide a logical representation for Scott domains. This allows gaining deep insight into the subject of capturing domains in terms of logic.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset