2011/09/10 by Robert E. Kent, Kent, Robert E. · 1 citation
Computer Science · Mathematics · #Advanced Algebra and Logic #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Programming Languages (cs.PL) #Semantic Web and Ontologies #cs.LO #cs.PL #math.CT
paper · pdf · doi:10.48550/arxiv.1109.2247
An abstracted version of this paper, entitled "Dialectical Program Semantics", was accepted for presentation at the 1st International Conference on Algebraic Methodology and Software Technology (AMAST'89), University of Iowa, Iowa City, Iowa, 1989
arxiv created 2011/09/10 · openalex publication_date 2011/09/10 · arxiv updated 2011/09/13 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Dialectical logic is the logic of dialectical processes. The goal of dialectical logic is to introduce dynamic notions into logical computational systems. The fundamental notions of proposition and truth-value in standard logic are subsumed by the notions of process and flow in dialectical logic. Dialectical logic has a standard aspect, which can be defined in terms of the "local cartesian closure" of subtypes. The standard aspect of dialectical logic provides a natural program semantics which incorporates Hoare's precondition/postcondition semantics and extends the standard Kripke semantics of dynamic logic. The goal of the standard aspect of dialectical logic is to unify the logic of small-scale and large-scale programming.