Genuine Process Logic

Collected Lectures of MoMo Berlin (2017)
Download Edit this record How to cite View on PhilPapers
Abstract
The Genuine Process Logic described here (abbreviation: GPL) places the object-bound process itself at the center of formalism. It should be suitable for everyday use, i.e. it is not primarily intended for the formalization of computer programs, but instead, as a counter-conception to the classical state logics. The new and central operator of the GPL is an action symbol replacing the classical state symbols, e.g. of equivalence or identity. The complete renunciation of object-language state expressions also results in a completely new metalinguistic framework, both regarding the axioms and the expressive possibilities of this system. A mixture with state logical terms is readily possible.
PhilPapers/Archive ID
SOHGPL
Revision history
Archival date: 2018-05-06
View upload history
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index
2018-05-06

Total views
58 ( #26,891 of 37,218 )

Recent downloads (6 months)
31 ( #11,611 of 37,218 )

How can I increase my downloads?

Monthly downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.