Computational aspects of an order-sorted logic with term declarations
From MaRDI portal
(Redirected from Publication:1801289)
Recommendations
Cited in
(48)- A note on assumptions about Skolem functions
- An order-sorted logic for knowledge representation systems
- scientific article; zbMATH DE number 517007 (Why is no real title available?)
- Strict coherence of conditional rewriting modulo axioms
- Solving divergence in Knuth--Bendix completion by enriching signatures
- A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics
- Symbolic computation in Maude: some tapas
- scientific article; zbMATH DE number 217097 (Why is no real title available?)
- A typed resolution principle for deduction with conditional typing theory
- An order-sorted resolution in theory and practice
- Higher-order unification, polymorphism, and subsorts
- Reasoning with preorders and dynamic sorts using free variable tableaux
- The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning
- Currying of order-sorted term rewriting systems
- Order-sorted logic programming with predicate hierarchy
- Automatic synthesis of logical models for order-sorted first-order theories
- Fuzzy types: A framework for handling uncertainty about types of objects
- A First Class Boolean Sort in First-Order Theorem Proving and TPTP
- The calculus of context relations
- scientific article; zbMATH DE number 3887106 (Why is no real title available?)
- Unification in an extensional lambda calculus with ordered function sorts and constant overloading
- scientific article; zbMATH DE number 1231543 (Why is no real title available?)
- Unification in pseudo-linear sort theories is decidable
- A simple abstract semantics for equational theories
- Unification in a combination of arbitrary disjoint equational theories
- Unique-sort order-sorted theories : A description as monad morphisms
- Regular expression order-sorted unification and matching
- Unification in sort theories and its applications
- scientific article; zbMATH DE number 67965 (Why is no real title available?)
- Projection: a unification procedure for tableaux in conceptual graphs
- Dynamically-typed computations for order-sorted equational presentations
- An algebraic semantics of higher-order types with subtypes
- Order-sorted equational unification revisited
- Equality and disequality constraints on direct subterms in tree automata
- On the Completeness of Context-Sensitive Order-Sorted Specifications
- scientific article; zbMATH DE number 67964 (Why is no real title available?)
- Tableau methods for a logic with term declarations
- Reduction and unification in lambda calculi with a general notion of subtype
- Another look at parameterization for oder-sorted algebraic specifications
- Semantics of order-sorted specifications
- A resolution principle for constrained logics
- A mechanization of strong Kleene logic for partial functions
- Regular substitution sets: A means of controlling E-unification
- Order-Sorted Rewriting and Congruence Closure
- A rewrite-based type discipline for a subset of computer algebra
- scientific article; zbMATH DE number 7680806 (Why is no real title available?)
- On Skolemization in constrained logics
- Logics in Artificial Intelligence
This page was built for publication: Computational aspects of an order-sorted logic with term declarations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1801289)
