Hierarchical logical consequence

DOI10.1093/JIGPAL/JZP093zbMath1248.03048OpenAlexW2156713614MaRDI QIDQ3119162

Paula Gouveia, Jaime Ramos, Carlos Caleiro

Publication date: 7 March 2012

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

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

zbMATH Keywords

semanticsdeductionconsequence operatorhierarchical latticefibred logics

Mathematics Subject Classification ID

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

This page was built for publication: Hierarchical logical consequence