Mathematics of totalities: An alternative to mathematics of sets (Q1117207): Difference between revisions
From MaRDI portal
Changed an Item |
Set OpenAlex properties. |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5734410 / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf00671563 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2062388670 / rank | |||
Normal rank |
Latest revision as of 12:14, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Mathematics of totalities: An alternative to mathematics of sets |
scientific article |
Statements
Mathematics of totalities: An alternative to mathematics of sets (English)
0 references
1988
0 references
A propositional logic TT with the connectives \(\wedge\), \(\vee\), \(\cap\), {\#}, \(\neg\) is considered. As truth-values the collection of nonempty subsets of some set \(\Omega\) are taken. They are called totalities. (A possible interpretation is the ``volume'' of the notion.) The connective {\#} is called plexis. \(\sigma\) {\#}\(\tau\) is true (equal to \(\Omega)\) iff any element of totality \(\sigma\) has a nonempty intersection with any elementy of \(\tau\). If not, \(\sigma\) {\#}\(\tau\) \(=\emptyset\). An imbedding of first-order classical predicate logic in TT is described.
0 references
totality
0 references
propositional logic TT
0 references
imbedding of first-order classical predicate logic
0 references