Mathematical logic. Foundations for information science

zbMath1185.03001MaRDI QIDQ5920721

Wei Li

Publication date: 26 January 2009

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

zbMATH Keywords

representabilityfirst-order predicate logicinductive inferencecomputabilitymathematical logicGödel's theoremsformal axiomatic theoryformal inference systemmeta-language environmentrevision calculussequence of formal theoriesversion sequenceworkflow 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