Semantic properties of \(T\)-consequence relation in logics of quasiary predicates

zbMath1390.03031MaRDI QIDQ1650326

Stepan Shkilniak, Mykola Nikitchenko

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/v23-n2/11950/

zbMATH Keywords

first-order logicpartial predicatenon-deterministic predicatequasiary predicate

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (2)

Composition-nominative logics as institutions ⋮ Kleene algebra of partial predicates

This page was built for publication: Semantic properties of \(T\)-consequence relation in logics of quasiary predicates