Mollusc: A General Proof-Development Shell for Sequent-Based Logics.

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

Published in: CADE (1994)

Keyphrases

modal logic
special case
inference rules
case study
st century
sequent calculi
software engineering
information processing
natural deduction
development process
cut elimination
proof theory
rapid development
data sets
expressive power
closely related
decision support
information systems