We provide a set of syntactic tools for structuring large collections of logical theories. Their use is demonstrated by a formalisation of algebras that are used in describing the semantics of concepts in programming languages, but also of more general systems
This paper is the first chapter of a cognitive, didactic and computational theory of algebra that pr...
My aim in this short article is to provide an impression of some of the ideas emerging at the inter...
International audienceThis paper is the first chapter of a cognitive, didactic and computational the...
We provide a set of syntactic tools for structuring large collections of logical theories. Their use...
Syntactic approaches in the philosophy of science, which are based on formalizations in predicate lo...
AbstractCategory theory provides an excellent foundation for studying structured specifications and ...
AbstractCategory theory provides an excellent foundation for studying structured specifications and ...
AbstractWe present a Language Prototyping System that facilitates the modular development of interpr...
This book addresses the logical aspects of the foundations of scientific theories. Even though the r...
The purpose of a logical framework such as LF is to provide a language for dening logical systems su...
According to the structural paradigm of knowledge representation, knowledgebases are built by organi...
According to the structural paradigm of knowledge representation, knowledgebases are built by organi...
A theory system is a collection of interdependent theories, some if which stand in a meta/object rel...
To help encourage the wide use of a variety of logic-based languages, we advocate the identification...
Type logical grammar presents a paradigm of linguistic description based on what we may refer to as ...
This paper is the first chapter of a cognitive, didactic and computational theory of algebra that pr...
My aim in this short article is to provide an impression of some of the ideas emerging at the inter...
International audienceThis paper is the first chapter of a cognitive, didactic and computational the...
We provide a set of syntactic tools for structuring large collections of logical theories. Their use...
Syntactic approaches in the philosophy of science, which are based on formalizations in predicate lo...
AbstractCategory theory provides an excellent foundation for studying structured specifications and ...
AbstractCategory theory provides an excellent foundation for studying structured specifications and ...
AbstractWe present a Language Prototyping System that facilitates the modular development of interpr...
This book addresses the logical aspects of the foundations of scientific theories. Even though the r...
The purpose of a logical framework such as LF is to provide a language for dening logical systems su...
According to the structural paradigm of knowledge representation, knowledgebases are built by organi...
According to the structural paradigm of knowledge representation, knowledgebases are built by organi...
A theory system is a collection of interdependent theories, some if which stand in a meta/object rel...
To help encourage the wide use of a variety of logic-based languages, we advocate the identification...
Type logical grammar presents a paradigm of linguistic description based on what we may refer to as ...
This paper is the first chapter of a cognitive, didactic and computational theory of algebra that pr...
My aim in this short article is to provide an impression of some of the ideas emerging at the inter...
International audienceThis paper is the first chapter of a cognitive, didactic and computational the...
DOI
Add to ORKG