Towards a formal proof system for \(\omega\)-rational expressions
type: Item
instance of: scholarly article
title: Towards a formal proof system for \(\omega\)-rational expressions
zbMATH Open document ID: 0575.68082
DOI: 10.1016/0020-0190(84)90079-6
author: B. George
published in: Information Processing Letters
publication date: 1984-01-01T00:00:00Z
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.
reviewed by: F.Petrescu
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 03D05
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 03B25
zbMATH DE Number: 3919853
zbMATH Keywords: omega-rational languages
zbMATH Keywords: equality testing
zbMATH Keywords: infinitary rational languages
MaRDI profile type: Publication
full work available at URL: 0020-0190(84)90079-6
OpenAlex ID: W2093462809
cites work: Q3325067
cites work: Q5618355
cites work: Q3667927
cites work: Q3694724
cites work: Q4079524
cites work: COSY - a system specification language based on paths and processes
cites work: Testing and generating infinite sequences by a finite automaton
cites work: Q5588675
Recommended article: Q3694724
Recommended article: Recursive \(\omega\)-rule for proof systems
Recommended article: Towards proof planning for \(\mathcal{M}_{\omega}^+\)
Recommended article: Q4440827
Recommended article: Q3975175
Recommended article: A note on the \(\omega\)-incompleteness formalization
Recommended article: A normal form for arithmetical derivations implying the \(\omega\)-consistency of arithmetic
Recommended article: Coinductive Formal Reasoning in Exact Real Arithmetic
Recommended article: Q5111195
Recommended article: Explicit Proofs in Formal Provability Logic
description: scientific article; zbMATH DE number 3919853