Mathematical logic. Foundations for information science

From MaRDI portal

Publication:5920721

Jump to:navigation, search

zbMath1185.03001MaRDI QIDQ5920721

Publication date: 26 January 2009

Published in: Progress in Computer Science and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

representability first-order predicate logic inductive inference computability mathematical logic Gödel's theorems formal axiomatic theory formal inference system meta-language environment revision calculus sequence of formal theories version sequence workflow of scientific research.

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Mathematics for nonmathematicians (engineering, social sciences, etc.) (00A06) Classical propositional logic (03B05) Other applications of logic (03B80)

Related Items (6)

\textbf{R}-calculus without the cut rule ⋮ A general framework for computing maximal contractions ⋮ The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\) ⋮ An algorithm to compute maximal contractions for Horn clauses ⋮ Decidable subsets of open logic and an algorithm for R-calculus ⋮ A formal semantics for debugging synchronous message passing-based concurrent programs

This page was built for publication: Mathematical logic. Foundations for information science

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5920721&oldid=15234987"