Back to Search
Start Over
Mutual Transformability of the Formulas of the Languages Of Markov L2ω AND Rω.
- Source :
-
Mathematical Logic Quarterly . 1987, Vol. 33 Issue 2, p123-126. 4p. - Publication Year :
- 1987
-
Abstract
- The article presents solutions for transformability of formulas of language L2ω into formulas of language of яω. It presents formulas of language L2ω (FL2ω) to solve for formulas of language L2ω into formulas of language of яω. It defines an algorithm γω to solve for formulas of language L2ω into formulas of language of L2ω.
Details
- Language :
- English
- ISSN :
- 09425616
- Volume :
- 33
- Issue :
- 2
- Database :
- Academic Search Index
- Journal :
- Mathematical Logic Quarterly
- Publication Type :
- Academic Journal
- Accession number :
- 62674514
- Full Text :
- https://doi.org/10.1002/malq.19870330206