scientific article

zbMATH Open0768.08003MaRDI QIDQ4028345FDOQ4028345

Giuseppe Scollo, Vincenzo Manca, Antonino Salibra

Publication date: 28 March 1993

Title of this publication is not available (Why is that?)

zbMATH Keywords

equational type logicextensions of equational logicequational order-sorted logicHorn clausal logiclogics of partial algebrasreasoning with equations and type assignments

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Subsystems of classical logic (including intuitionistic logic) (03B20) Equational logic, Mal'tsev conditions (08B05) Abstract data types; algebraic specification (68Q65) Partial algebras (08A55) Applications of universal algebra in computer science (08A70) Foundations, relations to logic and deductive systems (18A15) Axiomatic model classes (08C10)

Cited In (12)

• Equivalences between pure type systems and systems of illative combinatory logic
• Syntactic Descriptions: A Type System for Solving Matching Equations in the Linear λ-Calculus
• Title not available (Why is that?)
• \(\text{BTL}_{2}\) and the expressive power of \(\text{ECTL}^{+}\)
• Variadic equational matching in associative and commutative theories
• The \(HOL\) logic extended with quantification over type variables
• Dynamically-typed computations for order-sorted equational presentations
• Type introduction for equational rewriting
• Equational Reasoning with Applicative Functors
• Title not available (Why is that?)
• On equivalence and canonical forms in the LF type theory
• Equational type logic

This page was built for publication:

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