Elementary categorial logic, predicates of variable degree, and theory of quantity (Q1121258): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q591511 |
Changed an Item |
||
Property / reviewed by | |||
Property / reviewed by: Siegfried Johannes Gottwald / rank | |||
Normal rank |
Revision as of 20:24, 19 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Elementary categorial logic, predicates of variable degree, and theory of quantity |
scientific article |
Statements
Elementary categorial logic, predicates of variable degree, and theory of quantity (English)
0 references
1989
0 references
The basic categorial structure of classical predicate logic is given by the distinction of predicates (of a fixed arity or type) and individuals. The author first discusses much more general systems of categorial structures which analogously can be basic for logical systems with a metatheory quite similar to the ``usual'' one. Among them he gives special attention to categorial structures involving predicates of variable arity. This generalization is not aimed as l'art pour l'art: the paper presents a relatively simple and quite interesting approach toward a logical theory of physical quantities which, unquestionably, deserves a deeper investigation.
0 references
nonstandard categorial systems
0 references
modelling physical magnitudes
0 references
general systems of categorial structures
0 references
predicates of variable arity
0 references
logical theory of physical quantities
0 references