Logic and reasoning

zbMATH Open1294.03001MaRDI QIDQ5403635FDOQ5403635

Authors: João Pavão Martins 

Publication date: 27 March 2014

Recommendations

• scientific article; zbMATH DE number 47956
• Logic for computer scientists
• scientific article; zbMATH DE number 992300
• scientific article; zbMATH DE number 605797
• scientific article; zbMATH DE number 50432

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) Classical propositional logic (03B05) Logic programming (68N17) Classical first-order logic (03B10) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Cited In (11)

• An introduction to formal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Elementary logic. For software development
• Reasoning with logical bilattices
• Logic as a tool. A concise guide to logical reasoning
• Logical reasoning. A first course

This page was built for publication: Logic and reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5403635)