Monteiro António. Matrices de Morgan caractéristiques pour le calcul propositionnel classique. Anais da Academia Brasileira de Ciencias, vol. 32 , pp. 1–7 [Book Review]

Journal of Symbolic Logic 28 (2):174-175 (1963)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271615

Links

PhilArchive



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

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: Antonio Monteiro, Matrices de Morgan Caracteristiques pour le Calcul Propositionnel Classique. [REVIEW]Leon Henkin - 1963 - Journal of Symbolic Logic 28 (2):174-175.
Matrices de Morgan Caracteristiques pour le Calcul Propositionnel Classique.Antonio Monteiro - 1963 - Journal of Symbolic Logic 28 (2):174-175.
Porte Jean. Un système logistique très faible pour le calcul propositionnel classique. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 254 , pp. 2500–2502. [REVIEW]Gene F. Rose - 1962 - Journal of Symbolic Logic 27 (2):248-248.
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.
Comportamento ingestivo de vacas em lactação submetidas a restrição alimentar In: Reunião Anual da Sociedade Brasileira de Zootecnia, 40, 2003, Santa Maria-RS, Anais..., São Paulo: Sociedade Brasileira de Zootecnia. [REVIEW]M. Balbinotti, L. T. Marques & V. Fischer - forthcoming - Gnosis.
Sur l'Extension du Calcul des Relations Binaires au Calcul des Matrices à Éléments dans une Algèbre de Boole Complète.Jacques Riguet - 1956 - Journal of Symbolic Logic 21 (4):397-398.
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.
Axiomes Indépendants pour les Algèbres de Brouwer.Antonio Monteiro - 1958 - Journal of Symbolic Logic 23 (4):444-444.
Une Propriete du Calcul Propositionnel Intuitionniste.J. Porte - 1959 - Journal of Symbolic Logic 24 (1):68-69.
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.
Review: Antonio Monteiro, Axiomes Independants pour les Algebres de Brouwer. [REVIEW]Helmuth Gericke - 1958 - Journal of Symbolic Logic 23 (4):444-444.
Review: J. Porte, Une Propriete du Calcul Propositionnel Intuitionniste. [REVIEW]T. Thacher Robinson - 1959 - Journal of Symbolic Logic 24 (1):68-69.
Le Degré de Saturation du Calcul Propositionnel Implicatif à m Valeurs de Łukasiewicz.Alan Rose - 1957 - Journal of Symbolic Logic 22 (4):379-380.
Review: Alan Rose, Formalisation du Calcul Propositionnel Implicatif a m Valeurs de Lukasiewicz. [REVIEW]Eugen Mihailescu - 1971 - Journal of Symbolic Logic 36 (3):546-546.

Analytics

Added to PP
2016-06-30

Downloads
9 (#1,154,504)

6 months
2 (#1,015,942)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references