Fibring Labelled Deduction Systems

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

zbMATH Keywords

natural deductioncategory theorylabelled deductive systemsgeneral semanticsfibring of logics

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Abstract deductive systems (03B22)

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