Notas de lógica matemática

• 資料種別: 図書
• タイトル: Notas de lógica matemática
• 出版事項: Universidad Nacional del Sur, Instituto de Matemática
• 出版地（国名コード）: ag
• 対象利用者: 一般
• 関連情報: A characterisation of Morgan lattices; https://cir.nii.ac.jp/crid/1130000793811652352; Monadic symmetric Boolean algebras; https://cir.nii.ac.jp/crid/1130000793811741440; A characterization of Morgan lattices; https://cir.nii.ac.jp/crid/1130000794037954944; Matrices de Morgan caractéristiques pour le calcul propositionnel classiques ; Algèbres monadiques; https://cir.nii.ac.jp/crid/1130000794196599424; Estructuras ciclica y monadica de un algebra de Lukasiewicz n-valente; https://cir.nii.ac.jp/crid/1130000794389975808; Les algebres de Morgan libres; https://cir.nii.ac.jp/crid/1130000795197185536; Algèbres de Heyting trivalentes involutives; https://cir.nii.ac.jp/crid/1130000795208181888; L'arithmétique des filtres et les espaces topologiques 1-2; https://cir.nii.ac.jp/crid/1130000795442535552; Teorías matemáticas formalizadas; https://cir.nii.ac.jp/crid/1130000796251089792; Sobre algebras de Hilbert; https://cir.nii.ac.jp/crid/1130000796591456896; Moisil algebras; https://cir.nii.ac.jp/crid/1130000796755481984; Sur la definition des algebres de Lukasiewicz trivalentes; https://cir.nii.ac.jp/crid/1130000796961984128; Algebras de lukasiewicz trivalentes monadicas; https://cir.nii.ac.jp/crid/1130000797107044736; Aspectos de la logica modal; https://cir.nii.ac.jp/crid/1130000797948967040; Topological representation of Lukasiewicz and Post algebras; https://cir.nii.ac.jp/crid/1130282268967943296; Sur les algebres de Heyting trivalentes; https://cir.nii.ac.jp/crid/1130282269268998784; Axiomes independants pour les algebres de Lukasiewicz trivalentes; https://cir.nii.ac.jp/crid/1130282269472858496; Unpublished papers; https://cir.nii.ac.jp/crid/1130282269833051648; Sur une construction des algebres de Lukasiewich trivalentes; https://cir.nii.ac.jp/crid/1130282270994811520; Algebres de Heyting monadiques . Normalite dans les algebres de Heyting monadiques . Quantifiers and equivalence relations; https://cir.nii.ac.jp/crid/1130282271270579328; Caracterisation des algebres de Nelson par des egalites; https://cir.nii.ac.jp/crid/1130282271525372032; Notes on n-valued post algebras . On free L-algebras; https://cir.nii.ac.jp/crid/1130282271684590720; Equational characterization of Nelson algebras . Generalisation d'un theoreme de R. Sikorski sur les algebres de Boole . Construction des algebres de Lukasiewicz trivalentes dans les algebres de Boole monadiques-1; https://cir.nii.ac.jp/crid/1130282271895431424; Construction des algebres de Nelson finies; https://cir.nii.ac.jp/crid/1130282272334331136; Proceedings of the IX Latin American Symposium on Mathematical Logic : INMABB-CONICET, 1993-1994, Universidad Nacional del Sur, Bahia Blanca, Argentina; https://cir.nii.ac.jp/crid/1130282272708495744; Algebras de Boole; https://cir.nii.ac.jp/crid/1130282272740807552; Sur un theoreme de Skolem; https://cir.nii.ac.jp/crid/1130282272905183872; La logique mathématique et le calcul mécanique; https://cir.nii.ac.jp/crid/1130282273093598848; Les reticules de morgan et l'operation de sheffer; https://cir.nii.ac.jp/crid/1130282273112641152; Two sets of axioms for Boolean algebras; https://cir.nii.ac.jp/crid/1130282273262136960; https://cir.nii.ac.jp/crid/1130288280440463375
• 関連情報（URI）: https://ci.nii.ac.jp/ncid/BA42419062#entity
• 連携機関・データベース: 国立情報学研究所 : CiNii Research
• 提供元機関・データベース: CiNii Books; https://ci.nii.ac.jp/books
• NACSIS書誌ID（NCID）: https://ci.nii.ac.jp/ncid/BA42419062 : BA42419062

目次

A characterisation of Morgan lattices

Monadic symmetric Boolean algebras

A characterization of Morgan lattices

Matrices de Morgan caractéristiques pour le calcul propositionnel classiques ; Algèbres monadiques

Estructuras ciclica y monadica de un algebra de Lukasiewicz n-valente