Logic and reasoning
From MaRDI portal
Publication:5403635
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
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)
Recommendations
Cited in
(11)- An introduction to formal logic
- scientific article; zbMATH DE number 6787691 (Why is no real title available?)
- scientific article; zbMATH DE number 47956 (Why is no real title available?)
- scientific article; zbMATH DE number 837700 (Why is no real title available?)
- scientific article; zbMATH DE number 5840915 (Why is no real title available?)
- scientific article; zbMATH DE number 1923157 (Why is no real title available?)
- scientific article; zbMATH DE number 50432 (Why is no real title available?)
- 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)
