Analysis and synthesis of logics. How to cut and paste reasoning systems
From MaRDI portal
Publication:2469685
zbMath1137.03001MaRDI QIDQ2469685
Paula Gouveia, Dov M. Gabbay, Cristina Sernadas, Marcelo E. Coniglio, Walter Alexandre Carnielli
Publication date: 7 February 2008
Published in: Applied Logic Series (Search for Journal in Brave)
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Abstract deductive systems (03B22)
Related Items
Towards resolution-based reasoning for connected logics, Interpolation via translations, Birkhoff style calculi for hybrid logics, New dimensions on translations between logics, Two semantical approaches to paraconsistent modalities, LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT, JUXTAPOSITION: A NEW WAY TO COMBINE LOGICS, Deciding Theoremhood in Fibred Logics Without Shared Connectives, Conservative translations revisited, The single-minded pursuit of consistency and its weakness, Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support, Synchronized linear-time temporal logic, Combining and automating classical and non-classical logics in classical higher-order logics, A survey on categories of logics and algebraizable logics, CafeOBJ Traces, Inconsistency-tolerant temporal reasoning with hierarchical information, Probabilization of logics: completeness and decidability, Encoding hybridized institutions into first-order logic, Combining linear-time temporal logic with constructiveness and paraconsistency, Fibring argumentation frames, Modal translation of substructural logics, Possible-translations semantics for some weak classically-based paraconsistent logics, Combining fragments of classical logic: when are interaction principles needed?, What is a non-truth-functional logic?, REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION
