Related papers: Deduction modulo theory

The lambda-Pi-calculus modulo theory is a logical framework in which many type systems can be expressed as theories. We present such a theory, the theory U, where proofs of several logical systems can be expressed. Moreover, we identify a…

This paper is devoted to a discussion of specific properties of invariants in the theory of forms.

In this paper, we give a survey of the recent develpoments of the DDVV conjecture.

This article presents a survey of computability logic: its philosophy and motivations, main concepts and most significant results obtained so far. A continuously updated online version of this article is maintained at…

This paper is devoted to derivations in bimodules over group rings using previously proposed methods which are related to character spaces over groupoids. The theorem describing the arising spaces of derivations is proved. We consider some…

This is a survey paper of the developments on the geometric Bogomolov conjecture. We explain the recent results by the author as well as previous works concerning the conjecture. This paper also includes an introduction to the height theory…

Mutation of {\tau}-tilting modules is a basic operation to construct a new support {\tau}-tilting module from a given one by replacing a direct summand. The aim of this paper is to give a positive answer to the question posed in [AIR,…

This note gives an informal overview of the proof in our paper "Borel Conjecture and Dual Borel Conjecture", see arXiv:1105.0823.

This is a survey paper based on my talk at the Workshop on Orbifolds and String Theory, the goal of which was to explain the role of groupoids and their classifying spaces as a foundation for the theory of orbifolds.

This is a survey on coarse geometry with an emphasis on coarse homology theories.

An algebraic deformation theory of coalgebra morphisms is constructed.

In deduction modulo, a theory is not represented by a set of axioms but by a congruence on propositions modulo which the inference rules of standard deductive systems---such as for instance natural deduction---are applied. Therefore, the…

This article surveys the mathematics of the cut and project method as applied to point sets, called here {\em model sets}. It covers the geometric, arithmetic, and analytical sides of this theory as well as diffraction and the connection…

This is a survey article for the mathematical theory of Witten's Gauged Linear Sigma Model, as developed recently by the authors. Instead of developing the theory in the most general setting, in this paper we focus on the description of the…

This article gives a brief survey of the theory and applications of anomalies.

This paper studies function theory on periodic and aperiodic inflationary tessellations.

The present note sketches a theory of constructs.

This survey contains the main results in rational homotopy, from the beginning to the most recent ones. It makes the status of the art, gives a short presentation of some areas where rational homotopy has been used, and contains a lot of…

We propose a method that allows us to develop tableaux modulo theories using the principles of superdeduction, among which the theory is used to enrich the deduction system with new deduction rules. This method is presented in the framework…

A program for categorifying measure theory is outlined.