Transformability of the formulas of the languages of markovln,lω int formulas of the language2

&
Mathematical Logic Quarterly 29 (4):203-206 (1983)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19830290405

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Transformability Of The Formulas Of The Languages Of Markov Ln, Lω Int Formulas Of The Language 2.F. Gorgy & A. Sahyoun - 1983 - Mathematical Logic Quarterly 29 (4):203-206.
Mutual Transformability of The Formulas of The Basic Languages of Constructive Mathematical Logic.F. W. Gorgy & A. H. Sahyoun - 1981 - Mathematical Logic Quarterly 27 (31‐35):489-494.
Mutual Transformability of The Formulas of The Basic Languages of Constructive Mathematical Logic.F. W. Gorgy & A. H. Sahyoun - 1981 - Mathematical Logic Quarterly 27 (31-35):489-494.
Mutual transformability of formulas of the languages of markovlωn andn1.Ford W. Gorgy & A. H. Sahyoun - 1983 - Mathematical Logic Quarterly 29 (4):207-212.
Mutual Transformability of the Formulas of the Languages Of Markov L2ω AND Rω.F. W. Gorgy & A. H. Sahyoun - 1987 - Mathematical Logic Quarterly 33 (2):123-126.
Translations of Logical Formulas and the Equiconsistency Problem.Andrei A. Kuzichev - 1994 - Mathematical Logic Quarterly 40 (1):44-50.
On the Impossibility of Transformation of All True Formulas Of Markov's Language L1 into True Formulas of His Language ℝ.F. W. Gorgy - 1988 - Mathematical Logic Quarterly 34 (4):305-307.
Definability on Formulas With Single Quantifier.Shih-Ping Tung - 1988 - Mathematical Logic Quarterly 34 (2):105-108.
Review: H. Jerome Keisler, J. W. Addison, Leon Henkin, Alfred Tarski, Finite Approximations of Infinitely Long Formulas; H. Jerome Keisler, Some Applications of Infinitely Long Formulas. [REVIEW]Carol Karp - 1969 - Journal of Symbolic Logic 34 (1):129-130.
Modus Ponens and Derivation from Horn Formulas.William Craig - 1967 - Mathematical Logic Quarterly 13 (3-5):33-54.

Analytics

Added to PP
2014-01-16

Downloads
9 (#1,266,389)

6 months
3 (#1,206,053)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references