- 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
Les algèbres de Heyting et de Lukasiewicz trivalentes
Notre Dame Journal of Formal Logic 11 (4):453-466 (1970)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Les algèbres de Heyting-Brouwer et de Ł ukasiewicz trivalentes.Luisa Iturrioz - 1976 - Notre Dame Journal of Formal Logic 17 (1):119-126.
Algèbres de Heyting, algèbres de Brouwer et algèbres trivalentes de Lukasiewicz.Denise Becchio - 1978 - Logique Et Analyse 21 (82):237.
Sur les definitions des algebres trivalentes de Lukasiewicz donnees par A. Monteiro.D. Becchio - 1973 - Logique Et Analyse 16 (63):339-344.
Review: Antonio Monteiro, Sur la Definition des Algebres de Lukasiewicz Trivalentes. [REVIEW]Eugen Mihailescu - 1967 - Journal of Symbolic Logic 32 (3):398-399.
Monteiro Luiz F. T.. Axiomes indépendants pour les algèbres de Lukasiewicz trivalentes. Notas de lógica matemática n° 22, Instituto de Matemática, Universidad Nacional del sur, Bahía Blanca 1964, 7 P.; aussi Bulletin mathématique de la Société des Sciences Mathématiques et Physiques de la République Populaire Roumaine, n.S. vol. 7 n° 3–4 , p. 199–202. [REVIEW]Eugen Mihailescu - 1967 - Journal of Symbolic Logic 32 (3):399-399.
Luiz F. T. Monteiro et Lorenzo González Coppola. Sur une construction des algèbres de Lukasiewicz trivalentes. Notas de lógica matemática n° 17, Instituto de Matemática, Universidad Nacional del sur, Bahia Blanca 1964, 17 P.; zussi Portugaliae mathematica, vol. 23 n° 3–4 , p. 157–167. [REVIEW]Eugen Mihăilescu - 1967 - Journal of Symbolic Logic 32 (3):397-398.
Extension d'Homomorphismes dans les Algèbres de Lukasiewicz Trivalentes.L. Monteiro - 1970 - International Logic Review 2:193.
Sur la Définition des Algèbres de Lukasiewicz Trivalentes.Antonio Monteiro - 1967 - Journal of Symbolic Logic 32 (3):398-399.
Algébres de Post et de Moisil trivalentes monadiques libres.L. Monteiro - 1977 - Logique Et Analyse 79 (79):329-337.
Łukasiewicz, Leibniz, and the arithmetization of the syllogism.David Marshall - 1977 - Notre Dame Journal of Formal Logic 18 (2):235-242.
Analytics
Added to PP
2010-08-24
Downloads
103 (#490,501)
6 months
26 (#381,563)
2010-08-24
Downloads
103 (#490,501)
6 months
26 (#381,563)
Historical graph of downloads
Citations of this work
An abstract algebraic logic approach to tetravalent modal logics.Josep Font & Miquel Rius - 2000 - Journal of Symbolic Logic 65 (2):481-518.
Algebras of intervals and a logic of conditional assertions.Peter Milne - 2004 - Journal of Philosophical Logic 33 (5):497-548.
Algebraic structures formalizing the logic with unsharp implication and negation.Ivan Chajda & Helmut Länger - 2023 - Logic Journal of the IGPL 33 (1):36-48.
An axiom system for three-valued Ł ukasiewicz propositional calculus.Luisa Iturrioz - 1977 - Notre Dame Journal of Formal Logic 18 (4):616-620.
Lukasiewicz and Symmetrical Heyting Algebras.Luisa Iturrioz - 2006 - Mathematical Logic Quarterly 23 (7‐12):131-136.
References found in this work
Grundlagen der mathematik.David Hilbert & Paul Bernays - 1934 - Berlin,: J. Springer. Edited by Paul Bernays.
A propositional calculus with denumerable matrix.Michael Dummett - 1959 - Journal of Symbolic Logic 24 (2):97-106.
Finite limitations on Dummet's LC.Ivo Thomas - 1962 - Notre Dame Journal of Formal Logic 3 (3):170-174.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
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