Hybridizing a logical framework

DOI10.1016/J.ENTCS.2006.11.030MaRDI QIDQ2867954zbMATH OpenOpenAlexFDO

Authors Jason Reed

Publication date 20 December 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2006.11.030

zbMATH Keywords

hybrid logiclogical frameworkssubstructural logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logic in computer science (03B70)

Recommendations

• Canonical HybridLF: extending Hybrid with dependent types
• An open logical framework
• A Conditional Logical Framework
• A linear logical framework
• Logic representation in LF

Cites work

• A coverage checking algorithm for LF
• A framework for defining logics
• A Hybrid Intuitionistic Logic: Semantics and Decidability
• A linear logical framework
• A relevant analysis of natural deduction
• Fibring Labelled Deduction Systems
• scientific article; zbMATH DE number 1749009 (Why is no real title available?)
• scientific article; zbMATH DE number 1568685 (Why is no real title available?)
• Hybrid logics: Characterization, interpolation and complexity
• Intuitionistic hybrid logic
• Linear logic
• Logic Programming with Focusing Proofs in Linear Logic
• On equivalence and canonical forms in the LF type theory
• Programming Languages and Systems
• Propositions as [Types]
• Representation, reasoning, and relational structures: a hybrid logic manifesto
• Semantic Labelled Tableaux for Propositional BI
• The Logic of Bunched Implications
• Types for Proofs and Programs

Cited in

(11)

• A linear logical framework
• Canonical HybridLF: extending Hybrid with dependent types
• Hybrid and subexponential linear logics
• A unified display proof theory for bunched logic
• scientific article; zbMATH DE number 1086718 (Why is no real title available?)
• Hybrid Categorial Logics
• The -framework
• scientific article; zbMATH DE number 7204444 (Why is no real title available?)
• Hybrid linear logic, revisited
• A Conditional Logical Framework
• Domain-aware session types

Describes a project that uses

Uses Software

• Twelf

This page was built for publication: Hybridizing a logical framework

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