- 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
Lukasiewicz and Symmetrical Heyting Algebras
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (7-12):131-136 (1977)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Lukasiewicz and Symmetrical Heyting Algebras.Luisa Iturrioz - 1976 - Mathematical Logic Quarterly 23 (7‐12):131-136.
A Formalisation of The χ0-Valued ŁUkasiewicz Propositional Calculus With Variable Functors.Alan Rose - 1967 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 13 (19-20):289-292.
A Formalisation Of TheM-Valued ŁUkasiewicz Propositional Calculus With Super-Designated Truth-Values.Alan Rose - 1967 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 13 (19-20):295-298.
A-Minimal Lattices.John L. Hickman - 1980 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 26 (10-12):181-191.
Variable truth.M. E. Szabo - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (26‐29):401-414.
Funktionen-Algorithmen und Graphschemata.Günter Asser - 1961 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (1-5):20-27.
A Result for π‐Groups.C. H. Applebaum - 1973 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 19 (3‐6):33-35.
Undecidability and recursive inseparability.Raymond M. Smullyan - 1958 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 4 (7-11):143-147.
Zeitschrift für mathematische Logik und Grundlagen der Mathematik.Alan Rose - 1964 - Journal of Symbolic Logic 29 (4):213-213.
A Note on Transitive Equivalence.John Hickman - 1986 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (13‐16):193-196.
Analytics
Added to PP
2016-02-04
Downloads
27 (#609,703)
6 months
5 (#710,311)
2016-02-04
Downloads
27 (#609,703)
6 months
5 (#710,311)
Historical graph of downloads
Citations of this work
Proper n-valued łukasiewicz algebras as s-algebras of łukasiewicz n-valued prepositional calculi.Roberto Cignoli - 1982 - Studia Logica 41 (1):3 - 16.
An Alternative Definition of Quantifiers on Four-Valued Łukasiewicz Algebras.L. J. González, M. B. Lattanzi & A. G. Petrovich - 2017 - Logica Universalis 11 (4):439-463.
Symmetrical Heyting algebras with a finite order type of operators.Luisa Iturrioz - 1995 - Studia Logica 55 (1):89 - 98.
Some Operators in Kripke Models with an Involution.A. Galli & M. Sagastume - 1999 - Journal of Applied Non-Classical Logics 9 (1):107-120.
References found in this work
An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
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
Server: philpapers-web-68866f4b87-dxklk uwo