A calculus for four-valued sequential logic (Q549178): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
In [``A propositional logic with 4 values: true, false, divergent and meaningless'', J. Appl. Non-Class. Log. 5, No. 2, 199--217 (1995; Zbl 0843.03012)], \textit{J. A. Bergstra, I. Bethke} and \textit{P. Rodenburg} introduced a four-valued logic to deal with the distinction between computation errors (e.g., divergence versus mistakes) in specification and programming. The current paper presents a complete finite equational axiomatisation of a sequential logic with four values based on that logic. Thereby ``sequential'' means that arguments are evaluated from left to right, until an answer is obtained. | |||
Property / review text: In [``A propositional logic with 4 values: true, false, divergent and meaningless'', J. Appl. Non-Class. Log. 5, No. 2, 199--217 (1995; Zbl 0843.03012)], \textit{J. A. Bergstra, I. Bethke} and \textit{P. Rodenburg} introduced a four-valued logic to deal with the distinction between computation errors (e.g., divergence versus mistakes) in specification and programming. The current paper presents a complete finite equational axiomatisation of a sequential logic with four values based on that logic. Thereby ``sequential'' means that arguments are evaluated from left to right, until an answer is obtained. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Albert Hoogewijs / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03B50 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03B70 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5918230 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
many-valued logic | |||
Property / zbMATH Keywords: many-valued logic / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
four-valued logic | |||
Property / zbMATH Keywords: four-valued logic / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
sequential logic | |||
Property / zbMATH Keywords: sequential logic / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
complete axiomatisation | |||
Property / zbMATH Keywords: complete axiomatisation / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
finite basis | |||
Property / zbMATH Keywords: finite basis / rank | |||
Normal rank |
Revision as of 13:11, 1 July 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A calculus for four-valued sequential logic |
scientific article |
Statements
A calculus for four-valued sequential logic (English)
0 references
7 July 2011
0 references
In [``A propositional logic with 4 values: true, false, divergent and meaningless'', J. Appl. Non-Class. Log. 5, No. 2, 199--217 (1995; Zbl 0843.03012)], \textit{J. A. Bergstra, I. Bethke} and \textit{P. Rodenburg} introduced a four-valued logic to deal with the distinction between computation errors (e.g., divergence versus mistakes) in specification and programming. The current paper presents a complete finite equational axiomatisation of a sequential logic with four values based on that logic. Thereby ``sequential'' means that arguments are evaluated from left to right, until an answer is obtained.
0 references
many-valued logic
0 references
four-valued logic
0 references
sequential logic
0 references
complete axiomatisation
0 references
finite basis
0 references