Mollusc a general proof-development shell for sequent-based logics

DOI10.1007/3-540-58156-1_69zbMath1433.68564OpenAlexW1604313107MaRDI QIDQ5210817

Geraint A. Wiggins, Ina Kraan, Bradley L. Richards, Alan Smaill

Publication date: 21 January 2020

Published in: Automated Deduction — CADE-12 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-58156-1_69

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Middle-out reasoning for synthesis and induction

Uses Software

• Nuprl
• CLAM
• Oyster
• Mollusc

Cites Work

• Unnamed Item
• Edinburgh LCF. A mechanized logic of computation
• The foundation of a generic theorem prover
• A framework for defining logics

This page was built for publication: Mollusc a general proof-development shell for sequent-based logics