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

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