Related papers: Deduction modulo theory

Dedukti is a Logical Framework based on the $\lambda$$\Pi$-Calculus Modulo Theory. We show that many theories can be expressed in Dedukti: constructive and classical predicate logic, Simple type theory, programming languages, Pure type…

Modal dependence logics are modal logics defined on the basis of team semantics and have the downward closure property. In this paper, we introduce sound and complete deduction systems for the major modal dependence logics, especially those…

We give here a general, best-possible, and smoothly-derived form of the Master Theorem for divide-and-conquer recurrences.

We investigate a conjecture of Robert Coleman concerning the module of circular distributions.

In this paper some new ways of generalizing perfect numbers are investigated, numerical results are presented and some conjectures are established.

This is an overview and a preview of the theory of "mixed motives of level 1" explaining some results, projects, ideas and indicating a bunch of problems.

This is my dissertation about digraphs ordered by pp-constructability. We study in particular smooth digraphs, i.e., digraphs without sources or sinks, tournaments and semicomplete digraphs, orientations of paths and cycles, digraphs with…

The subfactor approach to modular invariants gives insight into the fusion rule structure of the modular invariants.

In this article we survey some of the recent developments in the structure theory of set addition.

Deduction systems and graph rewriting systems are compared within a common categorical framework. This leads to an improved deduction method in diagrammatic logics.

Deduction is the one of the major forms of inferences and commonly used in formal logic. This kind of inference has the feature of monotonicity, which can be problematic. There are different types of inferences that are not monotonic, e.g.…

This text is a survey of derived algebraic geometry. It covers a variety of general notions and results from the subject with a view on the recent developments at the interface with deformation quantization.

The paper is devoted to the introduction of natural deduction systems for some weak subintuitionistic logics, along with proofs of normalization theorems for these systems.

This paper is primarily intended as an introduction for the mathematically inclined to some of the rich algebraic combinatorics arising in for instance CFT. It is essentially self-contained, apart from some of the background motivation and…

This is a survey paper on Alegbraic Geometry over Lie Algebras

This paper surveys some results and methods in topological transformation groups.

We develop the theory of versal deformations of dialgebras and describe a method for constructing a miniversal deformation of a dialgebra.

This is an expository survey on the theory of Bernstein-Sato polynomials with special emphasis in its recent developments and its importance in commutative algebra.

Let D be a divisor in a complex analytic manifold X. A natural problem is to determine when the de Rham complex of meromorphic forms on X with poles along D is quasi-isomorphic to its subcomplex of logarithmic forms. In this mostly…

An observation on Hall-Littlewood polynomials.