Results 1  10
of
12,932
Glue logic vs. spreading architecture in LFG
 In C. Mostovsky (Ed.), Proceedings of the 2003 Conference of the Australian Linguistics Society. URL: http://www.als.asn.au
"... Although the fstructures of LFG look like an intuitively clear representation of many aspects of meaning, it has proved somewhat more difficult than one might have expected to connect them to conventional logical forms, over which entailment and other semantic properties and relations can be define ..."
Abstract

Cited by 11 (6 self)
 Add to MetaCart
Although the fstructures of LFG look like an intuitively clear representation of many aspects of meaning, it has proved somewhat more difficult than one might have expected to connect them to conventional logical forms, over which entailment and other semantic properties and relations can
Synthesis of Glue Logic, Transactors, Multiplexors and Serialisors from Protocol Specifications.
"... Abstract—Today’s systemonchip (SoC) systems must be designed as quickly as possible by integrating IP blocks from diverse suppliers. In this paper, we present a new automatabased algorithm that automatically synthesizes glue logic for SoC fabrication and Transactionlevel modelling (TLM) transacto ..."
Abstract
 Add to MetaCart
Abstract—Today’s systemonchip (SoC) systems must be designed as quickly as possible by integrating IP blocks from diverse suppliers. In this paper, we present a new automatabased algorithm that automatically synthesizes glue logic for SoC fabrication and Transactionlevel modelling (TLM
Unificational Glue
, 2005
"... draft; comments welcome In this paper I will describe a tentative proposal for using unification rather than lambdacalculus to effect semantic assembly in LFG glue logic. Some motivations for trying this out are: (1) a. The resulting relationship between fstructures and ‘logical forms ’ is more in ..."
Abstract
 Add to MetaCart
draft; comments welcome In this paper I will describe a tentative proposal for using unification rather than lambdacalculus to effect semantic assembly in LFG glue logic. Some motivations for trying this out are: (1) a. The resulting relationship between fstructures and ‘logical forms ’ is more
Glueing of Algebras for Substructural Logics
, 1995
"... $\dot{\mathrm{W}}\mathrm{e} $ will introduce the notion of the glueing of algebras for substructural logics and prove the disjunction and existence properties for them, by using the glueing. First, we will introduce the glueing of algebras for intuitionistic substructural propositional logics and pr ..."
Abstract
 Add to MetaCart
$\dot{\mathrm{W}}\mathrm{e} $ will introduce the notion of the glueing of algebras for substructural logics and prove the disjunction and existence properties for them, by using the glueing. First, we will introduce the glueing of algebras for intuitionistic substructural propositional logics
Superposition as a logical glue
"... The typical mathematical language systematically exploits notational and logical abuses whose resolution requires not just the knowledge of domain specific notation and conventions, but not trivial skills in the given mathematical discipline. A large part of this background knowledge is expressed in ..."
Abstract

Cited by 3 (3 self)
 Add to MetaCart
The typical mathematical language systematically exploits notational and logical abuses whose resolution requires not just the knowledge of domain specific notation and conventions, but not trivial skills in the given mathematical discipline. A large part of this background knowledge is expressed
Glueing and Orthogonality for Models of Linear Logic
 Theoretical Computer Science
, 2003
"... We present the general theory of the method of glueing and associated technique of orthogonality for constructing categorical models of all the structure of linear logic: in particular we treat the exponentials in detail. We indicate simple applications of the methods and show that they cover famili ..."
Abstract

Cited by 38 (6 self)
 Add to MetaCart
We present the general theory of the method of glueing and associated technique of orthogonality for constructing categorical models of all the structure of linear logic: in particular we treat the exponentials in detail. We indicate simple applications of the methods and show that they cover
Prefab Glue
, 2007
"... Here I will develop a formulation of LFG’s ‘glue semantics ’ that I hope might be more accessible to syntacticians than the standard ones are. Before starting out, I want to emphasize the point that the ‘intuitionistic implicational linear logic ’ (IILL) that glue is based on is a mathematical syste ..."
Abstract
 Add to MetaCart
Here I will develop a formulation of LFG’s ‘glue semantics ’ that I hope might be more accessible to syntacticians than the standard ones are. Before starting out, I want to emphasize the point that the ‘intuitionistic implicational linear logic ’ (IILL) that glue is based on is a mathematical
Input and Glue in OTLFG *
, 2005
"... reasonably stable but developing method for connecting syntactic structures to formal semantic intepretation. However current formulations of glue logic make the rather unsatisfactory move of divorcing grammatical features from any intrinsic connection with what are usually regarded as their meaning ..."
Abstract
 Add to MetaCart
reasonably stable but developing method for connecting syntactic structures to formal semantic intepretation. However current formulations of glue logic make the rather unsatisfactory move of divorcing grammatical features from any intrinsic connection with what are usually regarded
Categorical Glueing and Logical Predicates for Models of Linear Logic
, 1999
"... We give a series of glueing constructions for categorical models of fragments of linear logic. Specifically, we consider the glueing of (i) symmetric monoidal closed categories (models of Multiplicative Intuitionistic Linear Logic), (ii) symmetric monoidal adjunctions (for interpreting the modality ..."
Abstract

Cited by 6 (3 self)
 Add to MetaCart
We give a series of glueing constructions for categorical models of fragments of linear logic. Specifically, we consider the glueing of (i) symmetric monoidal closed categories (models of Multiplicative Intuitionistic Linear Logic), (ii) symmetric monoidal adjunctions (for interpreting the modality
Results 1  10
of
12,932