A resolution principle for a logic with restricted quantifiers
From MaRDI portal
(Redirected from Publication:1596540)
Recommendations
Cited in
(18)- A resolution principle for constrained logics
- Strategies of the search for derivation of statements with restricted quantifiers
- A typed resolution principle for deduction with conditional typing theory
- Theorem proving in cancellative abelian monoids (extended abstract)
- Theorem proving modulo
- Combination of constraint solving techniques: An algebraic point of view
- Refutational theorem proving for hierarchic first-order theories
- A hybrid reasoning system for terminologies and first-order clauses in knowledge bases
- Strict coherence of conditional rewriting modulo axioms
- scientific article; zbMATH DE number 77919 (Why is no real title available?)
- Programming in metric temporal logic
- Linear and unit-resulting refutations for Horn theories
- scientific article; zbMATH DE number 1761416 (Why is no real title available?)
- A practical integration of first-order reasoning and decision procedures
- Resolution principles in possibilistic logic
- On the complexity of Boolean unification
- Combination of constraint solvers for free and quasi-free structures
- scientific article; zbMATH DE number 7680806 (Why is no real title available?)
This page was built for publication: A resolution principle for a logic with restricted quantifiers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1596540)
