Paper Info
Title
Continuous Domains in Logical Form.
Abstract
This thesis investigates the mathematical foundations that are necessary for an extension of Abramsky's domain theory in logical form to continuous domains.
Year
DOI
Venue
2002
10.1016/S1571-0661(05)80582-1
Electronic Notes in Theoretical Computer Science
Keywords
Field
DocType
logical form
Discrete mathematics,Logical consequence,Logical conjunction,Non-classical logic,Computer science,Domain theory,Sequent calculus,Logical form,Truth table,Logical NOR
Journal
Volume
ISSN
Citations 
49
1571-0661
10
PageRank 
References 
Authors
1.12
12
1
Name
Order
Citations
PageRank
Mathias Kegelmann1384.42