Author:
Sernadas C.,Rasga J.,Sernadas A.
Funder
FCT and EU FEDER
European Unionʼs Seventh Framework Programme for Research (FP7)
Subject
Applied Mathematics,Logic
Reference21 articles.
1. Interpolation, definability and fixed points in interpretability logics;Areces,2001
2. Interpolation in practical formal development;Bicarregui;Logic Journal of the IGPL,2001
3. The Craig interpolation theorem for schematic systems;Carbone,1996
4. Preservation of interpolation features by fibring;Carnielli;Journal of Logic and Computation,2008
5. Linear reasoning. A new form of the Herbrand–Gentzen theorem;Craig;The Journal of Symbolic Logic,1957
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Event-Based Time-Stamped Claim Logic;Journal of Logical and Algebraic Methods in Programming;2021-06
2. Time-stamped claim logic;Logic Journal of the IGPL;2020-03-18
3. PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS;The Review of Symbolic Logic;2016-08-17
4. Craig Interpolation in the Presence of Unreliable Connectives;Logica Universalis;2014-04-02