Many-sorted first-order composition-nominative logic as institution

zbMATH Open1390.03030MaRDI QIDQ1650348FDOQ1650348

Authors: Alexey Chentsov 

Publication date: 3 July 2018

Published in: Computer Science Journal of Moldova (Search for Journal in Brave)

Full work available at URL: http://www.math.md/publications/csjm/issues/v24-n1/12089/

Recommendations

• First-order composition-nominative logics
• Composition nominative first order logics
• Composition-nominative logics as institutions
• Institutionalising many-sorted coalgebraic modal logic
• Two-valued and many-valued composition-nominative logics
• scientific article; zbMATH DE number 2169314
• Composition nominative logics of quasi-ary predicates
• scientific article; zbMATH DE number 604878
• Satisfiability in composition-nominative logics
• A more expressive formulation of many sorted logic

zbMATH Keywords

institution theoryirrefutabilitymany-sorted nominative data

Mathematics Subject Classification ID

Logic in computer science (03B70) Categorical logic, topoi (03G30) General topics in the theory of data (68P01)

Cited In (2)

• Title not available (Why is that?)
• Composition-nominative logics as institutions

This page was built for publication: Many-sorted first-order composition-nominative logic as institution

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1650348)