On equivalents of well-foundedness. An experiment in MIZAR
From MaRDI portal
Publication:1961913
DOI10.1023/A:1006218513245zbMath0944.68168MaRDI QIDQ1961913
Piotr Rudnicki, Andrzej Trybulec
Publication date: 27 March 2000
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
03B35: Mechanization of proofs and logical operations
03E30: Axiomatics of classical set theory and its fragments
03-04: Software, source code, etc. for problems pertaining to mathematical logic and foundations
Related Items
Interfacing external CA systems for Gröbner bases computation in M<scp>izar</scp>proof checking, Commutative algebra in the Mizar system, Mathematical method and proof, MizarMode -- an integrated proof assistance tool for the Mizar way of formalizing mathematics, MPTP 0.2: Design, implementation, and initial experiments, Adapting functional programs to higher order logic, Computer proofs about finite and regular sets: The unifying concept of subvariance.
Uses Software