S. S. Shkil'nyak

Available identifiers

zbMath Open shkilnyak.stepan-sMaRDI QIDQ1146531

List of research outcomes

Publication	Date of Publication	Type
Systems of logical reasoning in logics of free-quantifier functional levels	2017-07-11	Paper
Free-quantifier functional logics of partial quasi-ary predicates	2016-09-27	Paper
Renominative composition-nominative logics with predicates of equality	2015-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q2933402	2014-12-10	Paper
Semantic properties of logics of partial predicates with extended renominations	2014-02-17	Paper
Logics of partial predicates with extended renominations and quantifiers	2014-02-17	Paper
Composition-nominative logics of quasi-ary predicates: semantic aspects	2013-09-26	Paper
Sequent calculi for logics of partial and multi-valued quasi-ary predicates	2013-09-26	Paper
Sequent calculi construction for pure first-order composition-nominative logics of single-valued partial predicates	2013-09-26	Paper
Two-valued and many-valued composition-nominative logics	2013-01-08	Paper
First-order composition-nominative logics	2012-07-16	Paper
Construction of modal logics of temporal and epistemic type on the basis of the composition-nominative approach	2012-07-16	Paper
Composition nominative logics of quasi-ary predicates	2006-05-24	Paper
https://portal.mardi4nfdi.de/entity/Q4676766	2005-05-20	Paper
https://portal.mardi4nfdi.de/entity/Q4675225	2005-05-20	Paper
https://portal.mardi4nfdi.de/entity/Q4675325	2005-05-20	Paper
https://portal.mardi4nfdi.de/entity/Q4675376	2005-05-20	Paper
https://portal.mardi4nfdi.de/entity/Q4455512	2004-03-16	Paper
https://portal.mardi4nfdi.de/entity/Q4418118	2003-08-07	Paper
https://portal.mardi4nfdi.de/entity/Q4798384	2003-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4798426	2003-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4798464	2003-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4782525	2002-12-01	Paper
https://portal.mardi4nfdi.de/entity/Q4782555	2002-12-01	Paper
https://portal.mardi4nfdi.de/entity/Q4529959	2002-05-07	Paper
Composition nominative first order logics	2001-10-09	Paper
Investigation of properties of pure neoclassical calculi	2001-10-09	Paper
Composition nominative first order calculi	2001-10-09	Paper
Pure composition nominative calculi	2001-09-11	Paper
Composition nominative logics of equitone predicates	2001-09-11	Paper
https://portal.mardi4nfdi.de/entity/Q5753527	1989-01-01	Paper
Syntactic structure of programming languages	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4131696	1977-01-01	Paper
Syntactic analysis of programming languages using the involution method	1976-01-01	Paper

Research outcomes over time

This page was built for person: S. S. Shkil'nyak