Mathematics of totalities: An alternative to mathematics of sets (Q1117207): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Q1115415 / rank | |||
Property / reviewed by | |||
Property / reviewed by: Serguei V. Solov'ev / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5734410 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 14:30, 19 June 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