Back to Search Start Over

Process algebra with four-valued logic

Authors :
Jan A. Bergstra
Alban Ponse
Source :
Journal of Applied Non-Classical Logics. 10:27-53
Publication Year :
2000
Publisher :
Informa UK Limited, 2000.

Abstract

We propose a combination of a fragment of four-valued logic and process algebra. We present an operational semantics in SOS-style, and a completeness result for ACP with conditionals and four-valued logic.

Subjects

Subjects :
Theoretical computer science
Logic
Classical logic
Computational logic
Multimodal logic
Intermediate logic
Higher-order logic
Algebra
Philosophy
TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES
TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS
ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION
Many-valued logic
Dynamic logic (modal logic)
Four-valued logic
Mathematics

Details

ISSN :
19585780 and 11663081
Volume :
10
Database :
OpenAIRE
Journal :
Journal of Applied Non-Classical Logics
Accession number :
edsair.doi...........094b983c319008090ed56069ae4c32d4
Full Text :
https://doi.org/10.1080/11663081.2000.10510987
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details