Dialectical logic: the Process Calculus

10/09/2018
by   Robert E. Kent, et al.
0

Dialectical logic is the logic of dialectical processes. The goal of dialectical logic is to reveal the dynamical notions inherent in 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. Standard logic motivates the core sequential aspect of dialectical logic. Horn-clause logic requires types and nonsymmetry and also motivates the parallel aspect of dialectical logic. The process logics of Milner and Hoare reveal the internal/external aspects of dialectical logic. The sequential internal aspect of dialectical logic should be viewed as a typed or distributed version of Girard's linear logic with nonsymmetric tensor. The simplest version of dialectical logic is inherently intuitionistic. However, by following Glivenko's approach in standard logic using double negation closure, we can define a classical version of dialectical logic.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/01/2019

Fundamentals of computability logic

This article is a semitutorial-style survey of computability logic. An e...
research
06/27/2022

Definable and Non-definable Notions of Structure

Definability is a key notion in the theory of Grothendieck fibrations th...
research
12/25/2020

Standard Grammars for LTL and LDL (v0.1.0)

The heterogeneity of tools that support temporal logic formulae poses se...
research
04/03/2020

Session Type Systems based on Linear Logic: Classical versus Intuitionistic

Session type systems have been given logical foundations via Curry-Howar...
research
07/06/2023

Explorations in Subexponential non-associative non-commutative Linear Logic (extended version)

In a previous work we introduced a non-associative non-commutative logic...
research
02/11/2018

Bimodal logics with contingency and accident

Contingency and accident are two important notions in philosophy and phi...
research
08/24/2023

A Model of Sequential Learning based on Non-Axiomatic Logic

Sequential learning is a fundamental function of an intelligent agent. T...

Please sign up or login with your details

Forgot password? Click here to reset