Hierarchical logical consequence

DOI10.1093/JIGPAL/JZP093MaRDI QIDQ3119162zbMATH OpenOpenAlexFDO

Authors Paula Gouveia, Jaime Ramos, Carlos Caleiro

Publication date 7 March 2012

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/afecd24465835f838f63a713361e26f0e81f270f

zbMATH Keywords

consequence operatordeductionfibred logicshierarchical latticesemantics

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Combined logics (03B62)

Recommendations

• Hierarchical deduction
• A theory of hierarchical consequence and conditionals
• Hierarchical propositions
• Logical Consequence
• scientific article; zbMATH DE number 1749191
• Dialetheism, logical consequence and hierarchy
• Hierarchies in Dependence Logic
• On hierarchical propositions
• Hierarchical hybrid logic
• scientific article; zbMATH DE number 1267265

Cited in

(2)

• Hierarchical deduction
• scientific article; zbMATH DE number 3894800 (Why is no real title available?)

This page was built for publication: Hierarchical logical consequence

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