Mutual transformability of formulas of the languages of markovlωn andn1

&
Mathematical Logic Quarterly 29 (4):207-212 (1983)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19830290406

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

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 the Formulas of the Languages Of Markov L2ω AND Rω.F. W. Gorgy & A. H. Sahyoun - 1987 - Mathematical Logic Quarterly 33 (2):123-126.
Transformability of the formulas of the languages of markovln,lω int formulas of the language2.F. W. Gorgy & A. H. Sahyoun - 1983 - Mathematical Logic Quarterly 29 (4):203-206.
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.
Definability on Formulas With Single Quantifier.Shih-Ping Tung - 1988 - Mathematical Logic Quarterly 34 (2):105-108.
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.
Modus Ponens and Derivation from Horn Formulas.William Craig - 1967 - Mathematical Logic Quarterly 13 (3-5):33-54.
First-Order Formulas in Conjunctive Quantificational Form.Hans Büning - 1988 - Mathematical Logic Quarterly 34 (1):53-64.
First‐Order Formulas in Conjunctive Quantificational Form.Hans Kleine Büning & Theodor Lettmann - 1988 - Mathematical Logic Quarterly 34 (1):53-64.

Analytics

Added to PP
2014-01-16

Downloads
10 (#1,204,152)

6 months
5 (#836,975)

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

Essai de construction d'une logique de la mathématique constructive.A. A. Markov - 1971 - Revue Internationale de Philosophie 25 (4=98):477.

Add more references