Composition-nominative logics as institutions
type: Item
instance of: scholarly article
title: Composition-nominative logics as institutions
zbMATH Open document ID: 1456.03054
author: Alexey Chentsov
author: M. S. Nikitchenko
published in: Logica Universalis
publication date: 2018-08-06T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03B10
Mathematics Subject Classification ID: 03C95
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 6913954
zbMATH Keywords: institution
zbMATH Keywords: first-order logic
zbMATH Keywords: partial predicate
zbMATH Keywords: quasiary predicate
zbMATH Keywords: composition-nominative logic
MaRDI profile type: Publication
full work available at URL: s11787-018-0191-x
OpenAlex ID: W2795547222
cites work: Semantic properties of \(T\)-consequence relation in logics of quasiary predicates
cites work: Basics of intensionalized data: presets, sets, and nominats
cites work: Satisfiability in composition-nominative logics
cites work: Event-based proof of the mutual exclusion property of Peterson's algorithm
cites work: Q5460172
cites work: Universal logic: An anthology. From Paul Hertz to Dov Gabbay
cites work: Q3520841
cites work: Institution-independent model theory
cites work: Types and programing languages
cites work: Q4040030
cites work: Many-sorted first-order composition-nominative logic as institution
cites work: What is a logic translation?
cites work: Institution morphisms
cites work: Foundations of algebraic specification and formal software development.
cites work: The locally nameless representation
Wikidata QID: Q130030934
DOI: 10.1007/S11787-018-0191-X
description: scientific article; zbMATH DE number 6913954