Composition-nominative logics as institutions

DOI10.1007/s11787-018-0191-xzbMath1456.03054OpenAlexW2795547222MaRDI QIDQ1653557

Mykola Nikitchenko, Alexey Chentsov

Publication date: 6 August 2018

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-018-0191-x

zbMATH Keywords

first-order logicinstitutionpartial predicatequasiary predicatecomposition-nominative logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30) Classical first-order logic (03B10) Abstract model theory (03C95)

Related Items

Universal logic: evolution of a project

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Event-based proof of the mutual exclusion property of Peterson's algorithm
• Foundations of algebraic specification and formal software development.
• Institution morphisms
• Universal logic: An anthology. From Paul Hertz to Dov Gabbay
• Semantic properties of \(T\)-consequence relation in logics of quasiary predicates
• Many-sorted first-order composition-nominative logic as institution
• What is a logic translation?
• The locally nameless representation
• Satisfiability in composition-nominative logics
• Institution-independent model theory
• Basics of intensionalized data: presets, sets, and nominats

This page was built for publication: Composition-nominative logics as institutions