Aucher, Guillaume On the universality of atomic and molecular logics via protologics. (English) Zbl 07580920 Log. Univers. 16, No. 1-2, 285-322 (2022). MSC: 03-XX 03Bxx 03Cxx PDFBibTeX XMLCite \textit{G. Aucher}, Log. Univers. 16, No. 1--2, 285--322 (2022; Zbl 07580920) Full Text: DOI
Diaconescu, Răzvan Introducing \(H\), an institution-based formal specification and verification language. (English) Zbl 1484.68106 Log. Univers. 14, No. 2, 259-277 (2020). MSC: 68Q65 03B45 03C98 03G30 PDFBibTeX XMLCite \textit{R. Diaconescu}, Log. Univers. 14, No. 2, 259--277 (2020; Zbl 1484.68106) Full Text: DOI arXiv
Chentsov, Alexey; Nikitchenko, Mykola Composition-nominative logics as institutions. (English) Zbl 1456.03054 Log. Univers. 12, No. 1-2, 221-238 (2018). MSC: 03B70 03B10 03C95 03G30 68Q65 PDFBibTeX XMLCite \textit{A. Chentsov} and \textit{M. Nikitchenko}, Log. Univers. 12, No. 1--2, 221--238 (2018; Zbl 1456.03054) Full Text: DOI
Găină, Daniel Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally. (English) Zbl 1338.03056 Log. Univers. 8, No. 3-4, 469-498 (2014). MSC: 03C25 03C95 03G30 PDFBibTeX XMLCite \textit{D. Găină}, Log. Univers. 8, No. 3--4, 469--498 (2014; Zbl 1338.03056) Full Text: DOI
Diaconescu, Răzvan; Mossakowski, Till; Tarlecki, Andrzej The institution-theoretic scope of logic theorems. (English) Zbl 1338.03073 Log. Univers. 8, No. 3-4, 393-406 (2014). MSC: 03C95 03C40 03B70 03G30 PDFBibTeX XMLCite \textit{R. Diaconescu} et al., Log. Univers. 8, No. 3--4, 393--406 (2014; Zbl 1338.03073) Full Text: DOI
Duval, Dominique Deduction as reduction, from a categorical point of view. (English) Zbl 1286.03186 Log. Univers. 7, No. 3, 275-289 (2013). MSC: 03G27 03G30 18C30 68Q42 PDFBibTeX XMLCite \textit{D. Duval}, Log. Univers. 7, No. 3, 275--289 (2013; Zbl 1286.03186) Full Text: DOI
Kutz, Oliver; Mossakowski, Till; Lücke, Dominik Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design. (English) Zbl 1255.68153 Log. Univers. 4, No. 2, 255-333 (2010). MSC: 68T30 68Q65 68T27 PDFBibTeX XMLCite \textit{O. Kutz} et al., Log. Univers. 4, No. 2, 255--333 (2010; Zbl 1255.68153) Full Text: DOI
Aiguier, Marc; Longuet, Delphine Some general results about proof normalization. (English) Zbl 1255.03050 Log. Univers. 4, No. 1, 1-29 (2010). MSC: 03F05 03B22 03F07 PDFBibTeX XMLCite \textit{M. Aiguier} and \textit{D. Longuet}, Log. Univers. 4, No. 1, 1--29 (2010; Zbl 1255.03050) Full Text: DOI
Mossakowski, Till; Diaconescu, Răzvan; Tarlecki, Andrzej What is a logic translation? (English) Zbl 1255.03023 Log. Univers. 3, No. 1, 95-124 (2009). MSC: 03B22 03B70 03G30 68Q65 PDFBibTeX XMLCite \textit{T. Mossakowski} et al., Log. Univers. 3, No. 1, 95--124 (2009; Zbl 1255.03023) Full Text: DOI