scientific article; zbMATH DE number 4092734

MaRDI QIDQ3819967zbMATH OpenFDO

Authors Furio Honsell, Rod Burstall

Publication date 1988

zbMATH Keywords

Edinburgh logical frameworknatural deductionoperational semanticsprogramming languages

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Artificial intelligence (68T99)

Recommendations

• scientific article; zbMATH DE number 65532
• Logical frameworks
• A natural deduction approach to dynamic logic
• A natural extension of natural deduction
• scientific article; zbMATH DE number 4074517

Cited in

(5)

• Encoding transition systems in sequent calculus
• scientific article; zbMATH DE number 65532 (Why is no real title available?)
• The expressive power of Structural Operational Semantics with explicit assumptions
• Forum: A multiple-conclusion specification logic
• Rod Burstall: in memoriam (1934--2025)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3819967)