Fibring Labelled Deduction Systems
From MaRDI portal
Publication:4542941
DOI10.1093/logcom/12.3.443zbMath1011.03002OpenAlexW2154319800MaRDI QIDQ4542941
Luca Viganò, Cristina Sernadas, João Rasga, Amílcar Sernadas
Publication date: 29 May 2003
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/070177bfcd81430f39b0c5a7b0ea9d75966b5089
Related Items (3)
Deciding Theoremhood in Fibred Logics Without Shared Connectives ⋮ Truth-values as labels: a general recipe for labelled deduction ⋮ Hybridizing a Logical Framework
This page was built for publication: Fibring Labelled Deduction Systems