Isabelle Formalization of Set Theoretic Structures and Set Comprehensions

DOI10.1007/978-3-319-72453-9_12zbMath1497.68547OpenAlexW2777315468WikidataQ108482127 ScholiaQ108482127MaRDI QIDQ4628488

Karol Pąk, Cezary Kaliszyk

Publication date: 14 March 2019

Published in: Mathematical Aspects of Computer and Information Sciences (Search for Journal in Brave)

Full work available at URL: https://zenodo.org/record/1475059

zbMATH Keywords

MizarIsabellemultiple inheritanceset comprehensionset-theoretic structure

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Set theory (03E99) Formalization of mathematics in connection with theorem provers (68V20)

Related Items (3)

Combining higher-order logic with set theory formalizations ⋮ Higher-Order Tarski Grothendieck as a Foundation for Formal Proof. ⋮ Semantics of Mizar as an Isabelle object logic

Uses Software

• Isabelle
• Mizar

This page was built for publication: Isabelle Formalization of Set Theoretic Structures and Set Comprehensions