- 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
Trees and diagrams of decomposition
Studia Logica 44 (2):139 - 158 (1985)
Abstract
We introduce here and investigate the notion of an alternative tree of decomposition. We show (Theorem 5) a general method of finding out all non-alternative trees of the alternative tree determined by a diagram of decomposition.Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
Sheaf recursion and a separation theorem.Nathanael Leedom Ackerman - 2014 - Journal of Symbolic Logic 79 (3):882-907.
The Uniqueness Of The Decomposition Of Distributive Lattices Into Sums Of Boolean Lattices.Joanna Grygiel & Piotr Wojtylak - 1997 - Reports on Mathematical Logic:93-102.
Feferman–Vaught Decompositions for Prefix Classes of First Order Logic.Abhisekh Sankaran - 2023 - Journal of Logic, Language and Information 32 (1):147-174.
An Alternative Construction of Internodons: The Emergence of a Multi-level Tree of Life.Samuel Allen Alexander, Arie de Bruin & D. J. Kornet - 2015 - Bulletin of Mathematical Biology 77 (1):23-45.
The binary expansion and the intermediate value theorem in constructive reverse mathematics.Josef Berger, Hajime Ishihara, Takayuki Kihara & Takako Nemoto - 2019 - Archive for Mathematical Logic 58 (1-2):203-217.
Further notes on cell decomposition in closed ordered differential fields.Cédric Rivière - 2009 - Annals of Pure and Applied Logic 159 (1-2):100-110.
Two-Sided Trees for Sentential Logic, Predicate Logic, and Sentential Modal Logic.Jesse Fitts & David Beisecker - 2019 - Teaching Philosophy 42 (1):41-56.
Mycielski among trees.Marcin Michalski, Robert Rałowski & Szymon Żeberski - 2021 - Mathematical Logic Quarterly 67 (3):271-281.
On the existence of regular types.Saharon Shelah & Steven Buechler - 1989 - Annals of Pure and Applied Logic 45 (3):277-308.
Analytics
Added to PP
2009-01-28
Downloads
43 (#519,360)
6 months
11 (#347,933)
2009-01-28
Downloads
43 (#519,360)
6 months
11 (#347,933)
Historical graph of downloads
Author's Profile
References found in this work
A Gentzen- or Beth-type system, a practical decision procedure and a constructive completeness proof for the counterfactual logics VC and VCS.H. C. M. de Swart - 1983 - Journal of Symbolic Logic 48 (1):1-20.
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-fcc9b7db9-hmqz7 uwo