Heterogeneous fibring of deductive systems via abstract proof systems (2005)

by Luís Cruz-filipe , Amílcar Sernadas , Cristina Sernadas
Citations:3 - 1 self

Documents Related by Co-Citation

571 1934-1935), “Untersuchungen Uber das logische Schliessen – Gerhard Gentzen
186 Fresh Logic – Murdoch J. Gabbay, Aad Mathijssen - 2007
308 Introduction to Mathematical Logic – E Mendelson - 1978
45 Fibring: Completeness Preservation – Alberto Zanardo, Amilcar Sernadas, Cristina Sernadas - 2000
35 Fibred semantics and the weaving of logics: part 1 – D Gabbay - 1996
20 Modulated Fibring and the Collapsing Problem – Cristina Sernadas, João Rasga, Walter A. Carnielli - 2001
107 Display logic – N D Belnap - 1982
83 Quantales and (noncommutative) linear logic – D N Yetter - 1990
78 An Introduction to Proof Theory – Samuel R. Buss - 1998