11 research outputs found
Analytic Tableaux for Simple Type Theory and its First-Order Fragment
We study simple type theory with primitive equality (STT) and its first-order
fragment EFO, which restricts equality and quantification to base types but
retains lambda abstraction and higher-order variables. As deductive system we
employ a cut-free tableau calculus. We consider completeness, compactness, and
existence of countable models. We prove these properties for STT with respect
to Henkin models and for EFO with respect to standard models. We also show that
the tableau system yields a decision procedure for three EFO fragments
Economic Analysis of Knowledge: The History of Thought and the Central Themes
Following the development of knowledge economies, there has been a rapid expansion of economic analysis of knowledge, both in the context of technological knowledge in particular and the decision theory in general. This paper surveys this literature by identifying the main themes and contributions and outlines the future prospects of the discipline. The wide scope of knowledge related questions in terms of applicability and alternative approaches has led to the fragmentation of research. Nevertheless, one can identify a continuing tradition which analyses various aspects of the generation, dissemination and use of knowledge in the economy
The Secular State and Religious Conflict: Liberal Neutrality and the Indian Case of Pluralism
Evert Willem Beth. La sémantique et sa portée philosophique. Semantica – Archivio di jilosofia, 1955 no. 3, Fratelli Bocca Editori, Rome 1955, pp. 41–62.
An exploratory design workshop to elicit what feels natural when interacting with an automobile’s secondary controls
The Design Journa