scientific article; zbMATH DE number 7178362
From MaRDI portal
zbMath1431.03026MaRDI QIDQ5219927
Publication date: 9 March 2020
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items
Variants of Gödel's ontological proof in a natural deduction calculus, Interacting with Modal Logics in the Coq Proof Assistant, Para-Disagreement Logics and Their Implementation Through Embedding in Coq and SMT, Distilling the requirements of Gödel's incompleteness theorems with a proof assistant
Uses Software
