- 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
Works by Jean Porte
12 found
Order:
- Sur les Algèbres de Hilbert.Antonio Diego, Jean Porte & Luisa Iturrioz - 1970 - Journal of Symbolic Logic 35 (1):139-139.
- Recherches sur la théorie générale des systèmes formels et sur les systèmes connectifs.Jean Porte - 1965 - Paris,: Gauthier-Villars.
- The $\Omega $-system and the Ł-system of modal logic.Jean Porte - 1979 - Notre Dame Journal of Formal Logic 20 (4):915-920.
- The deducibilities of S.Jean Porte - 1981 - Journal of Philosophical Logic 10 (4):409 - 422.
- Congruences In Lemmon'S So:.Jean Porte - 1980 - Notre Dame Journal of Formal Logic 21 (October):672-678.
- (1 other version)Schémas pour le calcul Des propositions fondé sur la conjonction et la négation.Jean Porte - 1958 - Journal of Symbolic Logic 23 (4):421-431.
- Simplifying the axioms of the predicate calculus.Jean Porte - 1980 - Notre Dame Journal of Formal Logic 21 (2):346-350.
- Antitheses in systems of relevant implication.Jean Porte - 1983 - Journal of Symbolic Logic 48 (1):97-99.
- Quelques Pseudo-Paradoxes de la "Calculabilité Effective.".Jean Porte & Elliott Mendelson - 1968 - Journal of Symbolic Logic 33 (3):471-472.
- Systémes de Post, Algorithmes de Markov.Jean Porte - 1959 - Journal of Symbolic Logic 24 (3):239-240.
- Un Systeme de Postulats pour le Calcul des Predicats.Jean Porte - 1958 - Journal of Symbolic Logic 23 (1):41-41.
- Une Simplification de la Theorie de Turing.Jean Porte - 1960 - Journal of Symbolic Logic 25 (2):162-162.
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-667477cd97-jhg8z dc2