Bochvar-McCarthy Logic and Process Algebra

Notre Dame Journal of Formal Logic 39 (4):464-484 (1998)
  Copy   BIBTEX

Abstract

We propose a combination of Bochvar's strict three-valued logic, McCarthy's sequential three-valued logic, and process algebra via the conditional guard construct. This combination entails the introduction of a new constant meaningless in process algebra. We present an operational semantics in SOS-style, and a completeness result for ACP with conditional guard construct and the proposed logic

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The semijoin algebra and the guarded fragment.Dirk Leinders, Maarten Marx, Jerzy Tyszkiewicz & Jan Van den Bussche - 2005 - Journal of Logic, Language and Information 14 (3):331-343.
A result of extending Bochvar's $3$-valued logic. [REVIEW]Kenneth W. Collier - 1974 - Notre Dame Journal of Formal Logic 15 (2):344-346.
Augustus De Morgan's Boolean Algebra.Daniel D. Merrill - 2005 - History and Philosophy of Logic 26 (2):75-91.
The semantics of Frege's Grundgesetze.John N. Martin - 1984 - History and Philosophy of Logic 5 (2):143-176.
Elementary topics in mathematical logic.Alonzo Church - 1942 - Brooklyn, N.Y. [Brooklyn,: Brooklyn, N.Y. [Brooklyn.
Twelve papers in logic and algebra.A. F. Lavrik (ed.) - 1979 - Providence: American Mathematical Society.
Logic of transition systems.Johan Van Benthem & Jan Bergstra - 1994 - Journal of Logic, Language and Information 3 (4):247-283.
Why Solovay real produces Cohen real.Janusz Pawlikowski - 1986 - Journal of Symbolic Logic 51 (4):957-968.
A new symbolic representation for the algebra of sets.Jerome Frazee - 1990 - History and Philosophy of Logic 11 (1):67-75.

Analytics

Added to PP
2010-08-24

Downloads
18 (#711,820)

6 months
1 (#1,042,085)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jan A. Bergstra
University of Amsterdam

Citations of this work

Execution architectures for program algebra.Jan A. Bergstra & Alban Ponse - 2007 - Journal of Applied Logic 5 (1):170-192.
Process algebra with four-valued logic.Jan A. Bergstra & Alban Ponse - 2000 - Journal of Applied Non-Classical Logics 10 (1):27-53.

Add more citations