Application des γ‐operateurs au Calcul Logique du Premier Echelon

Mathematical Logic Quarterly 2 (5-7):76-92 (1956)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19560020504

Links

PhilArchive



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

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

Review: Roland Fraisse, Sur une Extension de la Polyrelation et des Parentes Tirant son Origine du Calcul Logique de keme Echelon; Rene de Possel, Roland Fraisse, Hypotheses de la Theorie des Relations qui Permettent d'Associer, a un bon ordre d'un ensemble, un bon ordre, defini sans ambiguite, de l'ensemble de ses parties; A. Tarski, A. Mostowski, Interventions. [REVIEW]Martin Davis - 1960 - Journal of Symbolic Logic 25 (3):285-286.
Sur une Extension de la Polyrelation et des Parentés Tirant son Origine du Calcul Logique de kème Échelon.A. Tarski & A. Mostowski - 1960 - Journal of Symbolic Logic 25 (3):285-286.
Calcul en logique du premier ordre Yves Bouchard montréal, presses de l’université du québec, 2015, 288 P.Yvon Gauthier - 2016 - Dialogue 55 (1).
Die Sonderstellung der Logik-Kalküle im Bereich der elementaren logistischen Kalkülforschung.Heinrich Scholz - 1937 - Travaux du IXe Congrès International de Philosophie 6:40-42.
Sur les « opérateurs rétrogrades ».Tero Tulenheimo - 2004 - Philosophia Scientiae 8 (2):145-160.
Logique Mathématique. Éléments de Base: Calcul Propositionnel, Calcul des Prédicats.Daniel Ponasse - 1970 - Journal of Symbolic Logic 35 (4):579-580.
Review: Daniel Ponasse, Logique Mathematique. Elements de Base: Calcul Propositionnel, Calcul des Predicats. [REVIEW]Alfons Borgers - 1970 - Journal of Symbolic Logic 35 (4):579-580.
HEGEL, Georg Wilhelm Friedrich, Science de la Logique. Premier tome, premier livre : L'Être. Édition de 1812. Premier tome, deuxième livre : La Doctrine de l'Essence. Deuxième tome : La Logique subjective ou Doctrine du Concept. [REVIEW]Lionel Ponton - 1982 - Laval Théologique et Philosophique 38 (3):327-329.
Bayart A.. Correction de la logique modale du premier et du second ordre S5, Logique et analyse, n.s. vol. 1 , pp. 28–45. . p. 54.)Bayart A.. Quasi-adéquation de la logique modale du second ordre S5 et adéquation de la logique modale du premier ordre S5. Logique et analyse, n.s. vol. 2 , pp. 99–121. [REVIEW]Kazuo Matsumoto - 1965 - Journal of Symbolic Logic 30 (3):373-374.
Calcul des séquents pour logique non-alethique.Jean-Yves Béziau - 1989 - Logique Et Analyse 125 (25):143-155.
Review: Jacques Riguet, Sur l'Extension du Calcul des Relations Binaires au Calcul des Matrices a Elements dans une Algebre de Boole Complete. [REVIEW]Roland Fraïssé - 1956 - Journal of Symbolic Logic 21 (4):397-398.
La Zérologie, une Recherche aux Frontières de la Logique et de l'Art; Application à la Logique des Relations de Base Vide.R. FraÏssÉ - 1982 - International Logic Review 26:67.
Riguet Jacques. Sur l'extension du calcul des relations binaires au calcul des matrices à éléments dans une algèbre de Boole complète. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , t. 238 , p. 2382–2385. [REVIEW]Roland Fraïssé - 1956 - Journal of Symbolic Logic 21 (4):397-398.
Science de la logique. Premier Tome, Premier Livre : l'Être, Édition de 1812. Hegel, P. J. Labarrière & Gwendoline Jarczyk - 1973 - Tijdschrift Voor Filosofie 35 (3):649-649.
Correction de la logique modale du premier et du second ordre S5.Arnould Bayart - 1958 - Logique Et Analyse 1 (1):28-45.

Analytics

Added to PP
2013-11-24

Downloads
34 (#466,590)

6 months
1 (#1,469,469)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Complexity of Bounded Quantifiers in Some Ordered Abelian Groups.Philip Scowcroft - 2007 - Notre Dame Journal of Formal Logic 48 (4):521-550.

Add more citations

References found in this work

No references found.

Add more references