by Piet Rodenburg
http://adam.wins.uva.nl/~inge/Papers/P9406.ps.Z
Add To MetaCart
Abstract:
A propositional logic with 4 values: true, false, divergent and meaningless
Citations
| 221 | A useful four-valued logic – Belnap - 1977 |
| 12 | Three-valued predicates for software specification and validation – Blikle - 1991 |
| 11 | Subdirect unions in universal algebra – Birkhoff - 1944 |
| 11 | Which data types have !-complete initial algebra specifications? Theoretical Computer Science 124 – Bergstra, Heering - 1994 |
| 5 | Conditional Assertion and Restricted Quantification – Belnap - 1970 |
| 2 | Od odnom tréhznac˘nom isc˘islénii i égo priménénii k analizu paradoksov klassic ˘éskogo rass˘irénnogo funkcional’nogo isc ˘islenija’, Matématic ˘éskij Sbornik – Bochvar - 1939 |
| 1 | Some complements to articles on many-valued logics – Bochvaar, Finn - 1976 |
| 1 | The logic of significance and context. Volume One – Goddard, Routley - 1973 |
