On the logic of unification

DOI10.1016/S0747-7171(89)80024-0zbMATH Open0682.03033MaRDI QIDQ1823935FDOQ1823935

Philippe le Chenadec

Publication date: 1989

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Recommendations

• On the unity of logic
• On the logic of UNITY
• Unification in modal logic
• Unification in epistemic logics
• Algebraic and logical aspects of unification
• Unification in intuitionistic logic
• scientific article
• UNIFICATION IN INTERMEDIATE LOGICS
• Unification types in logic

zbMATH Keywords

normalizationelimination ruleoperational semanticsconstructive type theoryrewriting systemequational logicmodel-theoretic semanticshigher-order unificationunification logic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Mechanization of proofs and logical operations (03B35) Second- and higher-order arithmetic and fragments (03F35)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Linear logic
• Linear unification
• On the sequential nature of unification
• An Efficient Unification Algorithm
• A Machine-Oriented Logic Based on the Resolution Principle
• Fundamental properties of infinite trees
• Title not available (Why is that?)
• The lambda calculus, its syntax and semantics
• Title not available (Why is that?)
• The calculus of constructions
• Title not available (Why is that?)
• Resolution in type theory
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Title not available (Why is that?)
• Sequential algorithms on concrete data structures
• A unification algorithm for typed \(\overline\lambda\)-calculus
• The undecidability of the second-order unification problem
• Title not available (Why is that?)
• New Classes for Parallel Complexity: A Study of Unification and Other Complete Problems for P
• Solving functional equations at higher types; some examples and some theorems
• Unifiability is complete for co-N Log Space
• Title not available (Why is that?)
• Finite Definability of Number‐Theoretic Functions and Parametric Completeness of Equational Calculi

Cited In (10)

• Source-tracking unification
• Type inference in polymorphic type discipline
• Natural Deduction for Equality: The Missing Entity
• The unity of a Tractarian fact
• The logic of unification in grammar
• Unirationality of Ueno-Campana's threefold
• Algebraic and logical aspects of unification
• The Functional Interpretation of Direct Computations
• Unification and Logarithmic Space
• On the logic of UNITY

This page was built for publication: On the logic of unification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1823935)