Jan A. Bergstra, Jaco van de Pol  Home/Search
Context
Related
| phil.uu.nl/pub/logic...preprint160.ps.Z phil.uu.nl/pub/logic...preprint160.ps.Z win.tue.nl/cs/tt/jaco...fourvalued.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: phil.uu.nl/preprints (more) From: phil.uu.nl/preprints (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper we focus on \Sigma 4 (: ; b ; (Update)
Active bibliography (related documents): More All
0.5: A propositional logic with 4 values: - True False Divergent (Correct)
0.2: Basic Multi-Competence Programming - Bergstra, Bethke, Ponse (2000) (Correct)
0.1: An Arithmetical Module for Rationals and Reals - Bergstra, Sellink (1997) (Correct)
Similar documents based on text: More All
0.5: Completeness of Kozen's Axiomatisation of the Propositional.. - Walukiewicz (1995) (Correct)
0.4: A Propositional Logic With 4 Values: True, False.. - Bergstra, Bethke.. (Correct)
0.2: Experiences in Developing a Proof Theory for VDM Specifications - Fitzgerald, Moore (1993) (Correct)
BibTeX entry: (Update)
@misc{ bergstra-calculus,
author = "Jan A. Bergstra and Jaco van de Pol",
title = "A Calculus for Sequential Logic with 4 Values",
url = "citeseer.ist.psu.edu/2786.html" }
Citations (may not include all citations):95 A basis for a mathematical theory of computation - McCarthy - 1963
31 Sequential data algebra primitives - Bergstra, Sellink - 1996
25 a notation for ordinal numbers (context) - Kleene - 1938
12 A propositional logic with 4 values: true (context) - Bergstra, Bethke et al. - 1995
8 completeness of algebraic specifications (context) - Heering - 1986
2 The algebra of conditional logic (context) - Guzman, Squier - 1990
Documents on the same site (http://www.phil.uu.nl/preprints.html): More
Binary Decision Diagrams for First Order Predicate Logic - Groote (Correct)
An Axiomatisation of Strong Negation and Relational Composition - Hollenberg (Correct)
Safety Criteria for Hoorn-Kersenboogerd Railway Station - Fokkink (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC