Sobre correspondencias entre fórmulas cuantificadas monádicas y productos de fórmulas no cuantificadas

Teorema: International Journal of Philosophy 5 (3):515-520 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

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.
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.
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.
Characteristic Formulas of Partial Heyting Algebras.Alex Citkin - 2013 - Logica Universalis 7 (2):167-193.
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.
Predicate provability logic with non-modalized quantifiers.Giorgie Dzhaparidze - 1991 - Studia Logica 50 (1):149 - 160.
Unification and Passive Inference Rules for Modal Logics.V. V. Rybakov, M. Terziler & C. Gencer - 2000 - Journal of Applied Non-Classical Logics 10 (3-4):369-377.
Moorean Phenomena in Epistemic Logic.Wesley H. Holliday & Thomas F. Icard - 2010 - In Lev Beklemishev, Valentin Goranko & Valentin Shehtman (eds.), Advances in Modal Logic 8. College Publications. pp. 178-199.
Correspondências de 1643 entre Descartes e Elisabeth.P. Elisabeth & René Descartes - 2013 - Revista Inquietude 4 (1):170-187.
Modal horn classes.Holger Sturm - 2000 - Studia Logica 64 (3):301-313.
Coinductive formulas and a many-sorted interpolation theorem.Ursula Gropp - 1988 - Journal of Symbolic Logic 53 (3):937-960.
Examining fragments of the quantified propositional calculus.Steven Perron - 2008 - Journal of Symbolic Logic 73 (3):1051-1080.

Analytics

Added to PP
2014-02-10

Downloads
1 (#1,889,095)

6 months
1 (#1,516,429)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Maximiliano Martinez
Universidad Autonoma Metropolitana

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references