scientific article

zbMath0744.03002MaRDI QIDQ3363695

Gabriele Lolli

Publication date: 1991

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

undecidabilitymodal logicarithmeticdecidabilityunificationnatural deductioncompleteness theoremfour-valued logicintuitionistic logicsecond-order logiclogic programminghalting problemclassical logicHoare logicsemantic tableauxr.e. setspartial recursive functionsparamodulationfirst-order resolutionHerbrand-Gödel equation calculusmonadic calculusprositional resolution

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Related Items (2)

Herbrand's theorem as higher order recursion ⋮ Unnamed Item

This page was built for publication: