On the semantics for the language MLν based on a type system, and those for the type-free language ML∞

Journal of Philosophical Logic 3 (3):171 - 194 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00247221

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,297

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Modeling Unicorns and Dead Cats: Applying Bressan’s ML ν to the Necessary Properties of Non-existent Objects.Tyke Nunez - 2018 - Journal of Philosophical Logic 47 (1):95–121.
The Semantics of Contemporary Essentialism.Lawrence R. Poncinie - 1980 - Dissertation, University of Illinois at Chicago
Stability and Paradox in Algorithmic Logic.Wayne Aitken & Jeffrey A. Barrett - 2007 - Journal of Philosophical Logic 36 (1):61-95.
Nominalization, predication and type containment.Fairouz Kamareddine & Ewan Klein - 1993 - Journal of Logic, Language and Information 2 (3):171-215.
An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics.Chris Fox & Shalom Lappin - 2004 - Logic Journal of the Interest Group in Pure and Applied Logics 12 (2):135--168.
A Single-Type Semantics for Natural Language.Kristina Liefke - 2014 - Dissertation, Tilburg University
Quantitative Global Memory.Sandra Alves, Delia Kesner & Miguel Ramos - 2023 - In Helle Hvid Hansen, Andre Scedrov & Ruy J. G. B. De Queiroz (eds.), Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings. Springer Nature Switzerland. pp. 53-68.
A Language for Type‐Free Algebra.William S. Hatcher - 1978 - Mathematical Logic Quarterly 24 (25‐30):385-397.
Foundations of intensional semantics.Chris Fox - 2005 - Malden MA: Blackwell. Edited by Shalom Lappin.
A Strong and Rich 4-Valued Modal Logic Without Łukasiewicz-Type Paradoxes.José M. Méndez & Gemma Robles - 2015 - Logica Universalis 9 (4):501-522.

Analytics

Added to PP
2009-01-28

Downloads
48 (#461,675)

6 months
5 (#1,059,814)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

On the Usefulness of Modal Logic in Axiomatizations of Physics.Aldo Bressan - 1972 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1972:285 - 303.
Intensional Descriptions and Relative Completeness in the General Interpreted Modal Calculus MCv.Aldo Bressan - 1973 - In Radu J. Bogdan & Ilkka Niiniluoto (eds.), Logic, language, and probability. Dordrecht: D. Reidel Pub. Co.. pp. 29--40.

Add more references