scientific article; zbMATH DE number 6274941

zbMath1294.03001MaRDI QIDQ5403635

João Pavão Martins

Publication date: 27 March 2014

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

zbMATH Keywords

logic programmingPrologalgorithms for logical systemsformal semantics for first-order logicformal semantics for propositional logicnatural deduction system for first-order logicnatural deduction system for propositional logic

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Classical propositional logic (03B05) Logic programming (68N17)

This page was built for publication: