- 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
Works by T. Traczyk
7 found
Order:
Disambiguations
Disambiguations:
| Tadeusz Traczyk [6] | T. Traczyk [5] | Tadeuz Traczyk [1] |
- Semantical Considerations on Floyd-Hoare Logic.Vaughan R. Pratt, Michael J. Fischer, Richard E. Ladner, Krister Segerberg, Tadeuz Traczyk & Rohit Parikh - 1986 - Journal of Symbolic Logic 51 (1):225-227.
- Chen Chung Chang and Alfred Horn. Prime ideal characterization of generalized Post algebras. Lattice theory, Proceedings of symposia in pure mathematics, vol. 2 , pp. 43–48. [REVIEW]Tadeusz Traczyk - 1969 - Journal of Symbolic Logic 34 (3):512.
- Dwinger Ph.. Notes on Post algebras. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 69 , pp. 462–478; also Indagationes mathematicae, vol. 28 , pp. 462–478. [REVIEW]Tadeusz Traczyk - 1969 - Journal of Symbolic Logic 33 (4):626-626.
- George Epstein. The lattice theory of Post algebras. Transactions of the American Mathematical Society, vol. 95 , pp. 300–317. [REVIEW]Tadeusz Traczyk - 1969 - Journal of Symbolic Logic 33 (4):626.
- Review: Chen Chung Chang, Alfred Horn, Prime Ideal Characterization of Generalized Post Algebras. [REVIEW]Tadeusz Traczyk - 1969 - Journal of Symbolic Logic 34 (3):512-512.
- Review: George Epstein, The Lattice Theory of Post Algebras. [REVIEW]Tadeusz Traczyk - 1968 - Journal of Symbolic Logic 33 (4):626-626.
- Review: Ph. Dwinger, Notes on Post Algebras. [REVIEW]Tadeusz Traczyk - 1968 - Journal of Symbolic Logic 33 (4):626-626.
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-6d9b7f7c4c-sqt28 uwo