scientific article; zbMATH DE number 139986
From MaRDI portal
Publication:4028345
equational order-sorted logicequational type logicextensions of equational logicHorn clausal logiclogics of partial algebrasreasoning with equations and type assignments
Subsystems of classical logic (including intuitionistic logic) (03B20) Partial algebras (08A55) Applications of universal algebra in computer science (08A70) Equational logic, Mal'tsev conditions (08B05) Axiomatic model classes (08C10) Foundations, relations to logic and deductive systems (18A15) Grammars and rewriting systems (68Q42) Abstract data types; algebraic specification (68Q65)
Recommendations
Cited in
(14)- The \(HOL\) logic extended with quantification over type variables
- Type introduction for equational rewriting
- Variadic equational matching in associative and commutative theories
- \(\text{BTL}_{2}\) and the expressive power of \(\text{ECTL}^{+}\)
- Equivalences between pure type systems and systems of illative combinatory logic
- Equational Reasoning with Applicative Functors
- Adding equations to System F types
- scientific article; zbMATH DE number 6680163 (Why is no real title available?)
- Syntactic Descriptions: A Type System for Solving Matching Equations in the Linear λ-Calculus
- scientific article; zbMATH DE number 17814 (Why is no real title available?)
- Dynamically-typed computations for order-sorted equational presentations
- scientific article; zbMATH DE number 6399373 (Why is no real title available?)
- 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)
