scientific article
From MaRDI portal
Publication:3864488
zbMath0428.03009MaRDI QIDQ3864488
No author found.
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
compactness theoremsemantic tableauxsequentLISPKönig's lemmaclausal transformHerbrand mapmechanization of deductive reasoningvaluation of sentences
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) History of mathematical logic and foundations (03-03) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)
Related Items
Completeness results for inequality provers ⋮ Resolution theorem proving in reified modal logics ⋮ History and basic features of the critical-pair/completion procedure ⋮ On the relation between default and autoepistemic logic ⋮ Solving problems with automated reasoning, expert systems and neural networks ⋮ A (machine-oriented) logic based on pattern matching ⋮ Guest editor's introduction: JvH100 ⋮ Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic ⋮ Jean van Heijenoort's contributions to proof theory and its history ⋮ Completeness of resolution revisited ⋮ Relevant logic programming ⋮ Implementing the `Fool's model' of combinatory logic ⋮ The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning ⋮ Frege and the resolution calculus ⋮ Monads for the formalization of a pattern matching procedure ⋮ A cube of opposition for predicate logic ⋮ Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic ⋮ Intuitionistic hybrid logic: introduction and survey ⋮ Grammatical unification ⋮ Condensed detachment as a rule of inference ⋮ Gentzen-type systems, resolution and tableaux ⋮ Simplification in a satisfiability checker for VLSI applications
This page was built for publication:
