A Conditional Logical Framework

DOI10.1007/978-3-540-89439-1_10MaRDI QIDQ5505549zbMATH OpenOpenAlexFDO

Authors Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto

Publication date 27 January 2009

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/hal-00909574/file/lpar-08.pdf

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Recommendations

• An open logical framework
• A framework for defining logical frameworks
• L ax F: Side Conditions and External Evidence as Monads
• Hybridizing a logical framework
• scientific article; zbMATH DE number 2110615

Cited in

(10)

• Reasoning with conditional axioms
• An open logical framework
• A framework for defining logical frameworks
• Hybridizing a logical framework
• A Suggested Conditional Modus Ponens
• scientific article; zbMATH DE number 1032007 (Why is no real title available?)
• Explicit Conditionals in the Framework of Classical Conditional Logic
• LF+ in Coq for "fast and loose" reasoning
• \(\mathsf{LLF}_{\mathcal{P}}\): a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads
• Foundations of conditional logic

This page was built for publication: A Conditional Logical Framework

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