- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Translation of first order formulas into ground formulas via a completion theory
Journal of Applied Logic 15 (C):130-149 (2016)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
The Translation of First Order Logic into Modal Predicate Logic.Beomin Kim - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:65-69.
Translations of Logical Formulas and the Equiconsistency Problem.Andrei A. Kuzichev - 1994 - Mathematical Logic Quarterly 40 (1):44-50.
Ultraproducts and Higher Order Formulas.Gábor Sági - 2002 - Mathematical Logic Quarterly 48 (2):261-275.
A propositional fragment of leśniewski's ontology and its formulation by the tableau method.Mitsunori Kobayashi & Arata Ishimoto - 1982 - Studia Logica 41 (2-3):181 - 195.
Algebraic Methods and Bounded Formulas.Domenico Zambella - 1997 - Notre Dame Journal of Formal Logic 38 (1):37-48.
Remarks on Floyd-Hoare derivability.Laszlo Csirmaz - 1980 - Bulletin of the Section of Logic 9 (3):131-133.
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.
Compositional semantics for a language of imperfect information.W. Hodges - 1997 - Logic Journal of the IGPL 5 (4):539-563.
Analytics
Added to PP
2016-06-30
Downloads
43 (#1,315,439)
6 months
6 (#1,502,802)
2016-06-30
Downloads
43 (#1,315,439)
6 months
6 (#1,502,802)
Historical graph of downloads
References found in this work
Modal Languages and Bounded Fragments of Predicate Logic.Hajnal Andréka, István Németi & Johan van Benthem - 1998 - Journal of Philosophical Logic 27 (3):217-274.
A mechanical solution of Schubert's Steamroller by many-sorted resolution.Christoph Walther - 1985 - Artificial Intelligence 26 (2):217-224.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation