Systems of sentence logic with trans-atomic units (Q1094405)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Systems of sentence logic with trans-atomic units |
scientific article; zbMATH DE number 4025400
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Systems of sentence logic with trans-atomic units |
scientific article; zbMATH DE number 4025400 |
Statements
Systems of sentence logic with trans-atomic units (English)
0 references
1986
0 references
The author sketches some extended systems of propositional logic. The core idea is to add partial connectives resp. truth functions (in the sense that for some arguments don't-care conditions are fixed). Essentially, just one such additional connective is added here which, yet, is not allowed to be iterated. The intuitive background is to get means for formalizing dispositional predicates in such a way.
0 references
truth functions
0 references
extended systems of propositional logic
0 references
partial connectives
0 references
don't-care conditions
0 references
