scientific article; zbMATH DE number 1303443

MaRDI QIDQ4250053zbMATH OpenFDO

Authors Chris Brink, Janet Goslett

Publication date 11 October 1999

zbMATH Keywords

Egli-Milner powerdomaingrowth of informationHoare powerdomainnegative informationPlotkin powerdomainpositive informationSmyth powerdomain

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Recommendations

• Propositional and predicate logics of incomplete information
• Logic of infons, the propositional case
• The information in intuitionistic logic
• Propositional logic of imperfect information: Foundations and applications
• Expressive power and incompleteness of propositional logics
• Informational interpretation of substructural propositional logics
• scientific article; zbMATH DE number 1302505
• Paraconsistent informational logic
• INFORMATION IN PROPOSITIONAL PROOFS AND ALGORITHMIC PROOF SEARCH
• scientific article; zbMATH DE number 821983

Cited in

(3)

• scientific article; zbMATH DE number 1867304 (Why is no real title available?)
• INFORMATION IN PROPOSITIONAL PROOFS AND ALGORITHMIC PROOF SEARCH
• Proposition-valued random variables as information

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4250053)