scientific article; zbMATH DE number 3483592

MaRDI QIDQ4066634zbMATH OpenFDO

Authors

Publication date 1975

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• A logic for reasoning about ambiguity
• A certain consequence relation for solving paradoxes of vagueness
• A categorical proof of a useful result
• Typical ambiguity and the axiom of choice
• The axioms and algebra of ambiguity
• Intuitionistic typical ambiguity
• Implicit proofs
• Helping by unambiguous computation and probabilistic computation
• A simple proof technique for certain parametricity results
• A useful fixpoint theorem

Cited in

(1)

• Structure des grammaires d'ambiguite bornee

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 Q4066634)