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: 91,386

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 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 Basic Languages of Constructive Mathematical Logic.F. W. Gorgy & A. H. Sahyoun - 1981 - Mathematical Logic Quarterly 27 (31‐35):489-494.
Extendible Formulas in Two Variables in Intuitionistic Logic.Nick Bezhanishvili & Dick Jongh - 2012 - Studia Logica 100 (1-2):61-89.
Decidable and enumerable predicate logics of provability.Giorgie Dzhaparidze - 1990 - Studia Logica 49 (1):7 - 21.
Expressivity of extensions of dynamic first-order logic.Balder ten Cate & Jan van Eijck - unknown
Conservative reduction classes of Krom formulas.Stål O. Aanderaa, Egon Börger & Harry R. Lewis - 1982 - Journal of Symbolic Logic 47 (1):110-130.
The elimination of de re formulas.Michael Kaminski - 1997 - Journal of Philosophical Logic 26 (4):411-422.
Expressivity of extensions of dynamic first-order logic.Balder ten Cate & Jan van Eijck - unknown
Coinductive formulas and a many-sorted interpolation theorem.Ursula Gropp - 1988 - Journal of Symbolic Logic 53 (3):937-960.
Infinitary logic.John L. Bell - 2008 - Stanford Encyclopedia of Philosophy.
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.
Local-Global Properties of Positive Primitive Formulas in the Theory of Spaces of Orderings.M. Marshall - 2006 - Journal of Symbolic Logic 71 (4):1097 - 1107.

Analytics

Added to PP
2014-01-16

Downloads
9 (#1,224,450)

6 months
4 (#790,687)

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