Haskell B. Curry
Abstract
Contents A. Definition of a Formal System B. An Example from Group Theory C. Representation and Interpretation D. Some Semiotical Concepts. The U-Language E. An Attempt at Mathematical Grammatics F. Semiotical Aspect of a Formal System. The A-Language G. Modifications of a Formal System H. The System G
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
Contents A. Definition of a Formal System B. An Example from Group Theory C. Representation and Interpretation D. Some Semiotical Concepts. The U-Language E. An Attempt at Mathematical Grammatics F. Semiotical Aspect of a Formal System. The A-Language G. Modifications of a Formal System H. The System G
Key concepts: Formal system, Formal language, Grammar systems theory, Formal methods, Object language, Computer science, Interpretation (philosophy), Formal verification