Matrices de Morgan caractéristiques pour le calcul propositionnel classique: Algèbres monadiques

Bahía Blanca, Argentina: Instituto de Matemática, Universidad Nacional de Sur (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

QA9.3.M66

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

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.
Monteiro António. Matrices de Morgan caractéristiques pour le calcul propositionnel classique. Anais da Academia Brasileira de Ciencias, vol. 32 , pp. 1–7. [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.
Review: Alan Rose, Formalisation du Calcul Propositionnel implicatif a $aleph_0$-Valued Lukasiewicz Propositional Calculus with Varible Functors. [REVIEW]B. Scarpellini - 1970 - Journal of Symbolic Logic 35 (1):142-142.
Propositional logic for topology-like matrices: a calculus with restricted substitution.Thomas M. Leschine - 1978 - Studia Logica 37 (2):161-165.
Belnap's four-valued logic and De Morgan lattices.Josep Maria Font - 1997 - Logic Journal of the IGPL 5 (1):1--29.
Belnap's Four-Valued Logic and De Morgan Lattices.Josep Font - 1997 - Logic Journal of the IGPL 5 (3):105-134.
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.
Le Degré de Saturation du Calcul Propositionnel Implicatif à m Valeurs de Łukasiewicz.Alan Rose - 1957 - Journal of Symbolic Logic 22 (4):379-380.

Analytics

Added to PP
2023-06-17

Downloads
8 (#1,332,410)

6 months
8 (#506,524)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references