Mutual Transformability of The Formulas of The Basic Languages of Constructive Mathematical Logic

&
Mathematical Logic Quarterly 27 (31‐35):489-494 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19810273103

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,783

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.
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.
Sequential Modification of Constructive Logic Calculus for Normal Formulas without Structural Deduction Rules.R. A. Plyushkevychus - 1969 - In A. O. Slisenko (ed.), Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 70--76.
Analog of Herbrand's Theorem for Prenex Formulas of Constructive Predicate Calculus.G. E. Mints - 1969 - Journal of Symbolic Logic 36 (3):47--51.
Basic Propositional Calculus II. Interpolation: II. Interpolation.Mohammad Ardeshir & Wim Ruitenburg - 2001 - Archive for Mathematical Logic 40 (5):349-364.
On the correction of unprovable formulas.G. V. Daydov - 1969 - In A. O. Slisenko (ed.), Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 5--8.
Undecidability of a class of formulas containing just one single-place predicate variable in modal calculus.V. P. Orevkov - 1969 - In A. O. Slisenko (ed.), Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 67--69.
On Stop‐Conditions in the Definitions of Constructive Languages.Ivan Friš - 1965 - Mathematical Logic Quarterly 11 (1):61-73.
Fuzzy Horn logic I.Radim Bělohlávek & Vilém Vychodil - 2006 - Archive for Mathematical Logic 45 (1):3-51.
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.
A hierarchy of languages, logics, and mathematical theories.Charles W. Kastner - 2003
Restorations of punctured languages and similarity of languages.Gerhard Lischke - 2006 - Mathematical Logic Quarterly 52 (1):20-28.
On Skolemization in constructive theories.Matthias Baaz & Rosalie Iemhoff - 2008 - Journal of Symbolic Logic 73 (3):969-998.

Analytics

Added to PP
2013-11-24

Downloads
22 (#707,407)

6 months
7 (#425,099)

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