Hybridizing a Logical Framework

DOI10.1016/j.entcs.2006.11.030zbMath1278.03049OpenAlexW2137722421MaRDI QIDQ2867954

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 logicsubstructural logicslogical frameworks

Mathematics Subject Classification ID

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

Related Items

A Unified Display Proof Theory for Bunched Logic, Unnamed Item, Hybrid and subexponential linear logics, Unnamed Item, Hybrid linear logic, revisited

Uses Software

• Twelf

Cites Work

• Linear logic
• A linear logical framework
• Intuitionistic hybrid logic
• Hybrid logics: characterization, interpolation and complexity
• A Coverage Checking Algorithm for LF
• Logic Programming with Focusing Proofs in Linear Logic
• A framework for defining logics
• A relevant analysis of natural deduction
• The Logic of Bunched Implications
• Semantic Labelled Tableaux for Propositional BI
• Representation, reasoning, and relational structures: a hybrid logic manifesto
• Fibring Labelled Deduction Systems
• Propositions as [Types]
• On equivalence and canonical forms in the LF type theory
• Programming Languages and Systems
• A Hybrid Intuitionistic Logic: Semantics and Decidability
• Types for Proofs and Programs
• Unnamed Item
• Unnamed Item