Towards a formal proof system for -rational expressions

DOI10.1016/0020-0190(84)90079-6MaRDI QIDQ1064076zbMATH OpenOpenAlexFDO

Authors B. George

Publication date 1984

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0020-0190(84)90079-6

zbMATH Keywords

equality testinginfinitary rational languagesomega-rational languages

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Automata and formal grammars in connection with logical questions (03D05) Formal languages and automata (68Q45) Abstract data types; algebraic specification (68Q65)

Review text

The authors aim to give a formal proof system for infinitary rational languages. Within a previous paper: A formal proof system for infinitary rational languages [INRIA Report 218 (1983)], the authors provide the whole formal proof system. They adopted a strategy consisting of two steps: the first is to restate the questions concerning the equality and the emptiness of the intersection of two infinitary languages in terms of some related finitary rational languages, and the second is to axiomatize the involved properties of finitary rational languages. The present paper contains only the first step.

Recommendations

• scientific article; zbMATH DE number 3919854
• Recursive \(\omega\)-rule for proof systems
• Towards proof planning for \(\mathcal{M}_{\omega}^+\)
• scientific article; zbMATH DE number 2020178
• scientific article; zbMATH DE number 17831
• A note on the \(\omega\)-incompleteness formalization
• A normal form for arithmetical derivations implying the \(\omega\)-consistency of arithmetic
• Coinductive Formal Reasoning in Exact Real Arithmetic
• scientific article; zbMATH DE number 7204319
• Explicit Proofs in Formal Provability Logic

Cites work

• COSY - a system specification language based on paths and processes
• scientific article; zbMATH DE number 3856434 (Why is no real title available?)
• scientific article; zbMATH DE number 3821089 (Why is no real title available?)
• scientific article; zbMATH DE number 3919854 (Why is no real title available?)
• scientific article; zbMATH DE number 3497806 (Why is no real title available?)
• scientific article; zbMATH DE number 3307592 (Why is no real title available?)
• scientific article; zbMATH DE number 3341983 (Why is no real title available?)
• Testing and generating infinite sequences by a finite automaton

Cited in

(4)

• About fair asynchrony
• A normal form for arithmetical derivations implying the \(\omega\)-consistency of arithmetic
• scientific article; zbMATH DE number 3919854 (Why is no real title available?)
• A Formal Correspondence Between OMDoc with Alternative Proofs and the ${\overline{\lambda}\mu\tilde{\mu}}$ -Calculus

This page was built for publication: Towards a formal proof system for \(\omega\)-rational expressions

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