scientific article; zbMATH DE number 3666758
zbMATH Open0428.03009MaRDI QIDQ3864488FDOQ3864488
Authors:
Publication date: 1979
Title of this publication is not available (Why is that?)
semantic tableauxcompactness theoremsequentLISPKönig's lemmaclausal transformHerbrand mapmechanization of deductive reasoningvaluation of sentences
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03) Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)
Cited In (22)
- Gentzen-type systems, resolution and tableaux
- The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning
- A (machine-oriented) logic based on pattern matching
- Resolution theorem proving in reified modal logics
- Monads for the formalization of a pattern matching procedure
- Simplification in a satisfiability checker for VLSI applications
- A cube of opposition for predicate logic
- Implementing the `Fool's model' of combinatory logic
- Intuitionistic hybrid logic: introduction and survey
- Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic
- Guest editor's introduction: JvH100
- Jean van Heijenoort's contributions to proof theory and its history
- Relevant logic programming
- History and basic features of the critical-pair/completion procedure
- Grammatical unification
- Frege and the resolution calculus
- Condensed detachment as a rule of inference
- Completeness results for inequality provers
- Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic
- On the relation between default and autoepistemic logic
- Solving problems with automated reasoning, expert systems and neural networks
- Completeness of resolution revisited
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 Q3864488)
