Elementary categorial logic, predicates of variable degree, and theory of quantity (Q1121258): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q3714043 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The logical study of science / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Anadic logic and English / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Completeness in the theory of types / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Foundational aspects of theories of measurement / rank | |||
Normal rank |
Latest revision as of 15:32, 19 June 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