Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)On notation for ordinal numbers.S. C. Kleene - 1938 - Journal of Symbolic Logic 3 (4):150-155.
    Download  
     
    Export citation  
     
    Bookmark   128 citations  
  • A complete system of four-valued logic.P. H. Rodenburg & Carsten Lutz - 2001 - Journal of Applied Non-Classical Logics 11 (3-4):367-392.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A propositional logic with 4 values: true, false, divergent and meaningless.Jan A. Bergstra, Inge Bethke & Piet Rodenburg - 1995 - Journal of Applied Non-Classical Logics 5 (2):199-217.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Bochvar-McCarthy Logic and Process Algebra.Jan A. Bergstra & Alban Ponse - 1998 - Notre Dame Journal of Formal Logic 39 (4):464-484.
    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.
    Download  
     
    Export citation  
     
    Bookmark   2 citations