- 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
On a Definition of First Order Translation for a Concrete Category
Mathematical Logic Quarterly 28 (1-3):45-48 (1982)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
On a Definition of First Order Translation for a Concrete Category.Antonio Pasini - 1982 - Mathematical Logic Quarterly 28 (1‐3):45-48.
On Generalization of the Satisfiability Definition and Proof Rules With Remarks to my Paper: On Theses of the First‐Order Functional Calculus.Juliusz Reichbach - 1962 - Mathematical Logic Quarterly 8 (3-4):267-276.
On Generalization of the Satisfiability Definition and Proof Rules With Remarks to my Paper: On Theses of the First‐Order Functional Calculus.Juliusz Reichbach - 1962 - Mathematical Logic Quarterly 8 (3‐4):267-276.
On translations of complete first order theories.Seyed Mohammad Bagheri - 2003 - Mathematical Logic Quarterly 49 (1):87-91.
Characterizing Second Order Logic with First Order Quantifiers.David Harel - 1979 - Mathematical Logic Quarterly 25 (25‐29):419-422.
Probabilistic Semantics for First‐Order Logic.Hugues Leblanc - 1979 - Mathematical Logic Quarterly 25 (32):497-509.
A Note On The Interpolation Theorem In First Order Logic.George Weaver - 1982 - Mathematical Logic Quarterly 28 (14-18):215-218.
Universal First‐Order Definability in Modal Logic.R. E. Jennings, D. K. Johnston & P. K. Schotch - 1980 - Mathematical Logic Quarterly 26 (19-21):327-330.
Universal First‐Order Definability in Modal Logic.R. E. Jennings, D. K. Johnston & P. K. Schotch - 1980 - Mathematical Logic Quarterly 26 (19‐21):327-330.
A Note on the Compactness Theorem in First Order Logic.George Weaver - 1980 - Mathematical Logic Quarterly 26 (7-9):111-113.
Analytics
Added to PP
2015-12-02
Downloads
20 (#758,044)
6 months
1 (#1,721,226)
2015-12-02
Downloads
20 (#758,044)
6 months
1 (#1,721,226)
Historical graph of downloads
References found in this work
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
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
Server: philpapers-web-6686886f5-kkm7k uwo