Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus (Q4275696): Difference between revisions

Latest revision as of 11:22, 22 May 2024

scientific article; zbMATH DE number 487153

Language	Label	Description	Also known as
English	Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus	scientific article; zbMATH DE number 487153

Statements

instance of

scholarly article

0 references

title

Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus (English)

0 references

author

Beata Konikowska

0 references

published in

Journal of Applied Non-Classical Logics

0 references

publication date

12 December 1994

0 references

zbMATH Keywords

software specification

0 references

superpredicate

0 references

two-valued predicates over three- valued predicates

0 references

semantics

0 references

expressive power

0 references

proof theory

0 references

software validation

0 references

describes a project that uses

Mizar

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1080/11663081.1993.10510795

0 references

cites work

A logic covering undefinedness in program proofs

0 references

The foundations of mathematics. A study in the philosophy of science

0 references

Q3685233

0 references

On the Development of Correct Specified Programs

0 references

The clean termination of iterative programs

0 references

MetaSoft primer. Towards a metalanguage for applied denotational semantics

0 references

On a Formalization of the Non-Definedness Notion

0 references

A PARTIAL PREDICATE CALCULUS IN A TWO-VALUED LOGIC

0 references

Partial-predicate logic in computer science

0 references

Q5812175

0 references

Q4035250

0 references

Q5734410

0 references

Identifiers

zbMATH Open document ID

0802.03028

0 references

DOI

10.1080/11663081.1993.10510795

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:4275696

@@ Property / cites work @@
+A logic covering undefinedness in program proofs
@@ Property / cites work: A logic covering undefinedness in program proofs / rank @@
+Normal rank
@@ Property / cites work @@
+The foundations of mathematics. A study in the philosophy of science
+Normal rank
@@ Property / cites work @@
+Q3685233
@@ Property / cites work: Q3685233 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Development of Correct Specified Programs
@@ Property / cites work: On the Development of Correct Specified Programs / rank @@
+Normal rank
@@ Property / cites work @@
+The clean termination of iterative programs
@@ Property / cites work: The clean termination of iterative programs / rank @@
+Normal rank
@@ Property / cites work @@
+MetaSoft primer. Towards a metalanguage for applied denotational semantics
+Normal rank
@@ Property / cites work @@
+On a Formalization of the Non-Definedness Notion
@@ Property / cites work: On a Formalization of the Non-Definedness Notion / rank @@
+Normal rank
@@ Property / cites work @@
+A PARTIAL PREDICATE CALCULUS IN A TWO-VALUED LOGIC
+Normal rank
@@ Property / cites work @@
+Partial-predicate logic in computer science
@@ Property / cites work: Partial-predicate logic in computer science / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4035250
@@ Property / cites work: Q4035250 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank