DOCSLIB.ORG
  • Sign Up
  • Log In
  • Upload
  • Sign Up
  • Log In
  • Upload
  • Home
  • »  Tags
  • »  Extension (semantics)

Extension (semantics)

  • A General Framework for the Semantics of Type Theory

    A General Framework for the Semantics of Type Theory

  • Frege's Theory of Sense

    Frege's Theory of Sense

  • A Formal Mereology of Potential Parts

    A Formal Mereology of Potential Parts

  • Challenging the Principle of Compositionality in Interpreting Natural Language Texts Françoise Gayral, Daniel Kayser, François Lévy

    Challenging the Principle of Compositionality in Interpreting Natural Language Texts Françoise Gayral, Daniel Kayser, François Lévy

  • Difference Between Sense and Reference

    Difference Between Sense and Reference

  • The Logic of Sense and Reference

    The Logic of Sense and Reference

  • Intension, Extension, and the Model of Belief and Knowledge in Economics

    Intension, Extension, and the Model of Belief and Knowledge in Economics

  • The Limits of Classical Extensional Mereology for the Formalization of Whole–Parts Relations in Quantum Chemical Systems

    The Limits of Classical Extensional Mereology for the Formalization of Whole–Parts Relations in Quantum Chemical Systems

  • Algebraic Type Theory and the Gluing Construction 2

    Algebraic Type Theory and the Gluing Construction 2

  • Strategic Brand Ambiguity, the Gateway to Perceived Product Fit? a Brand Extension Study

    Strategic Brand Ambiguity, the Gateway to Perceived Product Fit? a Brand Extension Study

  • Sense and Reference a Picture of the Grammar a Picture of the Grammar

    Sense and Reference a Picture of the Grammar a Picture of the Grammar

  • HISTORY of LOGICAL CONSEQUENCE 1. Introduction

    HISTORY of LOGICAL CONSEQUENCE 1. Introduction

  • WORKING PAPER Trading Ambiguity

    WORKING PAPER Trading Ambiguity

  • An Extension of the Stable Semantics Via Lukasiewicz Logic

    An Extension of the Stable Semantics Via Lukasiewicz Logic

  • LOGIC and INTENSIONALITY the Most Distinctive Feature of a Great

    LOGIC and INTENSIONALITY the Most Distinctive Feature of a Great

  • What Do We Mean by Logical Consequence? Jesse Endo Jenks University of Puget Sound, Jjenks@Pugetsound.Edu

    What Do We Mean by Logical Consequence? Jesse Endo Jenks University of Puget Sound, [email protected]

  • Two-Dimensionalism and the Social Character of Meaning Derek Ball University of St Andrews

    Two-Dimensionalism and the Social Character of Meaning Derek Ball University of St Andrews

  • Holistic Type Extension for Classical Propositional Logic in Quantum Computation

    Holistic Type Extension for Classical Propositional Logic in Quantum Computation

Top View
  • Impacts of Ambiguity Shocks
  • Epistemic Two-Dimensionalism
  • Mereology.Pdf
  • Compositionality Problems and How to Solve Them Thomas Ede Zimmermann, Goethe-Universität Frankfurt Hyderabad Cogsci Colloquium, March 09
  • Proposition 400 Extension Tasks Management Committee September 11, 2019 © 2019, All Rights Reserved
  • A Type Theory for Synthetic ∞-Categories
  • Concepts Are Kan Extensions”: Kan Extensions As the Most Universal of the Universal Constructions
  • 2001 Logical Consequence Blackwell
  • Type Isomorphisms and Proof Reuse in Dependent Type Theory
  • Comparing Two Unique Extension Semantics for Formal Argumentation: Ideal and Eager
  • More Than You Ever Wanted to Know About Epistemic Two-Dimensionalism
  • One-Word Solecisms and the Limits of Syntax
  • Phase Extension
  • Extension, Intension, Character, and Beyond David Braun University at Buffalo
  • REFERENCE and EXTENSION Reference and Extension In
  • 6 Grundgesetze and the Sense/Reference Distinction
  • Mereological Algebras As Mechanisms for Reasoning About Sounds
  • Proposition 55: Tax Extension to Fund Education and Healthcare Anam Hasan University of the Pacific, Mcgeorge School of Law


© 2024 Docslib.org    Feedback