Logical operations (Q5961450): Difference between revisions
From MaRDI portal
Created a new Item |
Created claim: Wikidata QID (P12): Q55970204, #quickstatements; #temporary_batch_1711504539957 |
||
| (2 intermediate revisions by 2 users not shown) | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| Property / Wikidata QID | |||
| Property / Wikidata QID: Q55970204 / rank | |||
Normal rank | |||
| links / mardi / name | links / mardi / name | ||
Latest revision as of 05:07, 27 March 2024
scientific article; zbMATH DE number 980786
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Logical operations |
scientific article; zbMATH DE number 980786 |
Statements
Logical operations (English)
0 references
1 July 1997
0 references
Tarski and Mautner proposed to characterize the ``logical'' operations on a given domain as those invariant under arbitrary permutations. These operations are shown to be the ones that can be obtained as combinations of the operations on the following list: identity; substitution of variables; negation; finite or infinite disjunction; and existential quantification with respect to a finite or infinite block of variables. Inasmuch as every operation on this list is intuitively ``logical'', this lends support to the Tarski-Mautner proposal.
0 references
infinitary logic
0 references
logical operations
0 references
invariance under permutations
0 references
