Type Theory and the Theory of Meaning

Annals of the Japan Association for Philosophy of Science
doi 10.4288/jafpos1956.14.113
Full Text
Abstract

Available in full text

Date
Authors
Publisher

The Japan Association for Philosophy of Science

Related search

Expressivism, Inferentialism and the Theory of Meaning

2011English

A Theory of Practical Meaning

Philosophical Topics
Philosophy
2017English

Speech Act Theory and the Problem of Meaning

Kansas Working Papers in Linguistics
1979English

Saving Incommensurability: Semantic Theory of Meaning or Semantic Theory of Science?

Philosophia Scientiae
Philosophy of ScienceHistory
2004English

Meaning in a Theory of Pragmatics

Annual Meeting of the Berkeley Linguistics Society
1994English

Decidability of Conversion for Type Theory in Type Theory

Proceedings of the ACM on Programming Languages
2018English

Behavior and Stimulation: Discussion on the Naturalized Theory of Meaning

2018English

Type Theory and Homotopy

2012English

The Meaning of the Form Calculus in Classical Ideal Theory

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1960English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy