The Standard Aspect of Dialectical Logic

Details The Standard Aspect of Dialectical Logic The Standard Aspect of Dialectical Logic

2011-09-10

arxiv.org/abs/1109.2247v1

Computer Science

Logic in Computer Science

An abstracted version of this paper, entitled "Dialectical Program Semantics", was accepted for presentation at the 1st Intern

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

The Standard Aspect of Dialectical Logic does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with The Standard Aspect of Dialectical Logic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The Standard Aspect of Dialectical Logic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-38741