e-mail: vrybakov [at] sfu-kras [dot] ru
телефон: +7 (391) 206-20-76
адрес: пр. Свободный, 79, стр. 3, ауд. 34-17
Google Scholar: scholar.google.ru/citations
анкета на другом сайте: math.sfu-kras.ru/node/303
степень: доктор физико-математических наук
звание: профессор
Место работы
- Кафедра алгебры и математической логики, профессор.
Образование
- Новосибирский государственный университет, математика.
Преподаваемые дисциплины
- Элементы теории нестандартной логики;
- Математическая логика;
- Дискретная математика;
- Алгебра.
Стаж работы
- общий — 43 года
- по специальности — 43 года
Публикации
- Formulas Expressing Totally Nonstable Truth Values of Formulas : научное издание [статья из журнала]2023, Известия Иркутского государственного университета. Серия: Математика
- Satisfiability Problem in Interval FP-logic : научное издание [статья из журнала]2023, Известия Иркутского государственного университета. Серия: Математика
- Logic with permanently unstable information : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2022
- Satisfiability problem in interval FP-logic : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2022
- Multi-Agent Logics with Dynamic Accessibly Relations, Projective Unifiers : научное издание [статья из журнала]2022, Algebra and Logic
- Многоагентные временные логики, проблемы унификации и допустимости : научное издание [статья из журнала]2022, Сибирский математический журнал
- Temporal Multi-Agents' Logics Modelling Dynamic Temporal Accessibility Relations [доклад, тезисы доклада, статья из сборника материалов конференций]2022, Procedia Computer Science
- Temporal Logic in Multi-agent Environment [доклад, тезисы доклада, статья из сборника материалов конференций]2022, Smart Innovation, Systems and Technologies
- Multiagent Temporal Logics, Unification Problems, and Admissibilities [статья из журнала]2022, Siberian Mathematical Journal
- Многоагентные логики с динамическими отношениями достижимости, проективные унификаторы : научное издание [статья из журнала]2022, Алгебра и логика
Показать все публикации
- Multi-Agents' Temporal Logic using Operations of Static Agents' Knowledge : научное издание [статья из журнала]2022, JOURNAL OF SIBERIAN FEDERAL UNIVERSITY-MATHEMATICS & PHYSICS
- ОПРЕДЕЛЕНИЕ ТРЕБУЕМОГО КОЛИЧЕСТВА СВЕТИЛЬНИКОВ С УЧЁТОМ СРОКА ОКУПАЕМОСТИ : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2021, ПРОБЛЕМЫ ОБЕСПЕЧЕНИЯ ФУНКЦИОНИРОВАНИЯ И РАЗВИТИЯ НАЗЕМНОЙ ИНФРАСТРУКТУРЫ КОМПЛЕКСОВ СИСТЕМ ВООРУЖЕНИЯ
- Satisfiability in Boolean Logic (SAT problem) is Polynomial : научное издание [статья из журнала]2021, Журнал Сибирского федерального университета. Серия: Математика и физика
- Quantitative modalities, possible applications to information analysis [доклад, тезисы доклада, статья из сборника материалов конференций]2021, Procedia Computer Science
- Temporal Multi-Agent’s Logic, Knowledge, Uncertainty, and Plausibility [доклад, тезисы доклада, статья из сборника материалов конференций]2021, Smart Innovation, Systems and Technologies
- BRANCHING TIME LOGICS WITH MULTIAGENT TEMPORAL ACCESSIBILITY RELATIONS : научное издание [статья из журнала]2021, SIBERIAN MATHEMATICAL JOURNAL
- Логики ветвящегося временис мультиагентными отношениями временной достижимости : научное издание [статья из журнала]2021, Сибирский математический журнал
- A short essay towards if p not equal np [статья из журнала]2021, Journal of Siberian Federal University - Mathematics and Physics
- A Note on Computation MTs with Time in Instructions or with Tapes of Fixed Length : научное издание [статья из журнала]2021, Журнал Сибирского федерального университета. Серия: Математика и физика
- Temporal logic with agents' temporal relations generated by time states : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2020
- Мультиагентные временные нетранзитивные линейные логики, проблема допустимости : научное издание [статья из журнала]2020, Алгебра и логика
- Multi-agent logic's modelling non-monotonic information and reasoning [доклад, тезисы доклада, статья из сборника материалов конференций]2020, Procedia Computer Science
- Representation of information and satisfiability, algorithms for multi-agent logics [доклад, тезисы доклада, статья из сборника материалов конференций]2020, Procedia Computer Science
- TEMPORAL LOGIC WITH OVERLAP TEMPORAL RELATIONS GENERATED BY TIME STATES THEMSELVES : научное издание [статья из журнала]2020, SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA
- Multi-Agent Logics with Multi-Valuations and Intensional Logical Operations : научное издание [статья из журнала]2020, LOBACHEVSKII JOURNAL OF MATHEMATICS
- Multi-Agent Temporal Nontransitive Linear Logics and the Admissibility Problem [статья из журнала]2020, Algebra and Logic
- К ВОПРОСУ ОБОСНОВАНИЯ ТРЕБОВАНИЙ К ЗНАЧЕНИЯМ ПОКАЗАТЕЛЕЙ НАДЕЖНОСТИ СИСТЕМ ЭЛЕКТРОСНАБЖЕНИЯ В СОСТАВЕ СПЕЦИАЛЬНОГО ОБЪЕКТА : научное издание [статья из журнала]2019, Труды Военно-космической академии имени А.Ф.Можайского
- Chance Discovery and Analysis of Data via Multi-Agent Logics : материалы временных коллективов [доклад, тезисы доклада, статья из сборника материалов конференций]2019, KNOWLEDGE-BASED AND INTELLIGENT INFORMATION & ENGINEERING SYSTEMS (KES 2019)
- BRANCHING TIME AGENT'S LOGIC, SATISFIABILITY PROBLEM BY RULES IN REDUCED FORM : научное издание [статья из журнала]2019, SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA
- Non-classical multi-agent logics with multi-valuations : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2018
- Временные мультиагентные логики с мультиозначиваниями : научное издание [статья из журнала]2018, Сибирский математический журнал
- MANY-VALUED MULTI-MODAL LOGICS, SATISFIABILITY PROBLEM : научное издание [статья из журнала]2018, SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA
- Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility : материалы временных коллективов [доклад, тезисы доклада, статья из сборника материалов конференций]2018, Larisa Maksimova on implication, interpolation, and definability
- Multiagent Temporal Logics with Multivaluations [статья из журнала]2018, Siberian Mathematical Journal
- TEMPORAL MULTI-VALUED LOGIC WITH LOST WORLDS IN THE PAST : сборник научных трудов [статья из журнала]2018, SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA
- Unification for multi-agent temporal logics with universal modality : научное издание [статья из журнала]2017, JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS
- Унификация во временных многоагентных логиках с универсальной модальностью : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2017, Математика в современном мире
- Унификация во временных многоагентных логиках с универсальной модальностью : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2017, Математика в современном мире
- Линейные транзитивные логики знания и времени, унификация и проективные формулы : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2017, МАК: Математики - Алтайскому краю
- Интранзитивные временные многоагентные логики, информация и знание, разрешимость : научное издание [статья из журнала]2017, Сибирский математический журнал
- Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms : научное издание [статья из журнала]2017, Siberian Mathematical Journal
- Unification through the projective formulas in linear discrete temporal logics of knowledge : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2016
- On unification and passive rules in multi-modal temporal logic of linear time and knowledge LFPK : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2016, Алгебра и логика: теория и приложения
- Unification through the projective formulas in linear discrete temporal logics of knowledge : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2016, Мальцевские чтения
- PROJECTIVE FORMULAS AND UNIFICATION IN LINEAR DISCRETE TEMPORAL MULTI-AGENT LOGICS [статья из журнала]2016, SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA
- Non-transitive linear temporal logic and logical knowledge operations : научное издание [статья из журнала]2016, Journal of Logic and Computation
- NON-UNIFIABILITY IN LINEAR TEMPORAL LOGIC OF KNOWLEDGE WITH MULTI-AGENT RELATIONS : научное издание [статья из журнала]2016, Сибирские электронные математические известия
- Intransitive Temporal Multi-agent's Logic, Knowledge and Uncertainty, Plausibility [доклад, тезисы доклада, статья из сборника материалов конференций]2016, LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2016)
- Inference Rules in Nelson’s Logics, Admissibility and Weak Admissibility : научное издание [статья из журнала]2015, Logica Universalis
- Допустимые правила вывода линейной логики знания и времени LTK r с интранзитивным отношением времени [статья из журнала]2015, Сибирский математический журнал
- Admissible inference rules in the linear logic of knowledge and time LTK (r) with intransitive time relation [статья из журнала]2015, SIBERIAN MATHEMATICAL JOURNAL
- UNIFICATION PROBLEM IN NELSON’S LOGIC N4 : научное издание [статья из журнала]2014, Сибирские электронные математические известия
- Multi-agent non-linear temporal logic with embodied agent describing uncertainty [статья из журнала (материалы конференций, опубликованные в журналах)]2014, Advances in Intelligent Systems and Computing
- Projective formulas and unification in linear temporal logic LTLU [статья из журнала]2014, LOGIC JOURNAL OF THE IGPL
- Temporal logics modeling logical uncertainty, local and global chance discovery : научное издание [статья из журнала]2013, Studies in Computational Intelligence
- Computing Truth of Logical Statements in Multi-Agents’ Environment : научное издание [статья из журнала]2013, Журнал Сибирского федерального университета. Серия: Математика и физика
- Unification and admissible rules for paraconsistent minimal johanssons' logic J and positive intuitionistic logic IPC+ : научное издание [статья из журнала]2013, Annals of Pure and Applied Logic
- СЕРГЕЙ ИЛЬИЧ МАРДАЕВ (6.04.1962 — 10.04.2013) [статья из журнала]2013, Сибирские электронные математические известия
- Multi-agent temporary logic TS4KnU based at non-linear time and imitating uncertainty via agents' interaction [статья из журнала (материалы конференций, опубликованные в журналах)]2013, (9 June 2013 through 13 June 2013, Zakopane
- Unifiers in transitive modal logics for formulas with coefficients (meta-variables) [статья из журнала]2013, LOGIC JOURNAL OF THE IGPL
- Writing out unifiers for formulas with coefficients in intuitionistic logic [статья из журнала]2013, LOGIC JOURNAL OF THE IGPL
- Writing out unifiers in linear temporal logic : научное издание [статья из журнала]2012, Journal of Logic and Computation
- Multi-agent logic with distances, uncertainty and interaction based on linear temporal frames [статья из журнала (материалы конференций, опубликованные в журналах)]2012, Frontiers in Artificial Intelligence and Applications
- Multi-agent logic based on temporary logic TS4Kn serving web search [статья из журнала (материалы конференций, опубликованные в журналах)]2012, ADVANCES IN KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS
- Logical analysis for chance discovery in multi-agents' environment [статья из журнала (материалы конференций, опубликованные в журналах)]2012, Advances in knowledge-based and intelligent information and engineering systems
- Одномоментные вмешательства у больных с инфраренальной аневризмой брюшного отдела аорты : научное издание [статья из журнала]2011, Хирургия. Журнал им. Н.И. Пирогова
- Agents' logics with common knowledge and uncertainty: Unification problem, algorithm for construction solutions [статья из журнала (материалы конференций, опубликованные в журналах)]2011, (12 September 2011 through 14 September 2011, Kaiserslautern
- Representation of knowledge and uncertainty in temporal logic LTL with since on frames Z of integer numbers [статья из журнала (материалы конференций, опубликованные в журналах)]2011, (12 September 2011 through 14 September 2011, Kaiserslautern
- Chance discovery and unification in linear modal logic [статья из журнала (материалы конференций, опубликованные в журналах)]2011, (12 September 2011 through 14 September 2011, Kaiserslautern
- Linear Temporal Logic LTL: Basis for Admissible Rules [статья из журнала]2011, JOURNAL OF LOGIC AND COMPUTATION
- Best Unifiers in Transitive Modal Logics [статья из журнала]2011, STUDIA LOGICA
- Unification in linear temporal logic LTL [статья из журнала]2011, ANNALS OF PURE AND APPLIED LOGIC
- Inference Rules in Multi-agents' Temporal Logics : монография [глава из книги]2011, TRANSACTIONS ON COMPUTATIONAL COLLECTIVE INTELLIGENCE IV
- CОЧЕТАННЫЕ И КОМБИНИРОВАННЫЕ ОПЕРАЦИИ У БОЛЬНЫХ С ИНФРАРЕНАЛЬНЫМИ АНЕВРИЗМАМИ БРЮШНОЙ АОРТЫ : научное издание [статья из журнала]2010, Ангиология и сосудистая хирургия
- Algorithm for decision procedure in temporal logic treating uncertainty, plausibility, knowledge and interacting agents : научное издание [статья из журнала]2010, International Journal of Intelligent Information Technologies
- A tableau method for checking rule admissibility in S4 : научное издание [статья из журнала]2010, Electronic Notes in Theoretical Computer Science
- Multi-agent logic with distances based on linear temporal frames : научное издание [статья из журнала]2010, Lecture Notes in Computer Science
- Rules admissible in transitive temporal logic TS4, sufficient condition : научное издание [статья из журнала]2010, Theoretical Computer Science
- Temporal logic TLZDU modeling local and global discovery with logical uncertainty : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2010, Proceedings - IEEE International Conference on Data Mining, ICDM
- A Framework to Compute Inference Rules Valid in Agents' Temporal Logics [доклад, тезисы доклада, статья из сборника материалов конференций]2010, KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT I
- Reasoning and inference rules in basic linear temporal logic ??script T? [статья из журнала (материалы конференций, опубликованные в журналах)]2010, (8 September 2010 through 10 September 2010, Cardiff
- Modelling of Chance Discovery in variations of Linear Temporal Logic implementing agents' interaction [статья из журнала]2010, International Journal of Advanced Intelligence Paradigms
- Logical Analysis of Multi-agent Kripke Structures [доклад, тезисы доклада, статья из сборника материалов конференций]2010, AGENT AND MULTI-AGENT TECHNOLOGY FOR INTERNET AND ENTERPRISE SYSTEMS
- Logic of discovery and knowledge. Decision algorithm : научное издание [статья из журнала]2009, Intelligent Decision Technologies
- Temporal logic for modeling discovery and logical uncertainty : научное издание [статья из журнала]2009, Lecture Notes in Computer Science
- Describing Evolutions of Multi-Agent Systems [доклад, тезисы доклада, статья из сборника материалов конференций]2009, KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT I, PROCEEDINGS
- Logic of knowledge and discovery via interacting agents - Decision algorithm for true and satisfiable statements [статья из журнала]2009, INFORMATION SCIENCES
- Linear Temporal Logic LTLK extended by Multi-Agent Logic K-n with Interacting Agents [статья из журнала]2009, JOURNAL OF LOGIC AND COMPUTATION
- Logic of discovery and knowledge: Decision algorithm : материалы временных коллективов [доклад, тезисы доклада, статья из сборника материалов конференций]2008, KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS
- Temporal logic with interacting agents Decidability: Theorems and admissible rules : научное издание [статья из журнала]2008, Journal of Applied Non-Classical Logics
- Multi-modal and temporal logics with universal formula-reduction of admissibility to validity and unification : научное издание [статья из журнала]2008, Journal of Logic and Computation
- Branching time logics BT L U,SN,N-1 ()? with operations until and since based on bundles of integer numbers, logical consecutions, deciding algorithms : научное издание [статья из журнала]2008, Theory of Computing Systems
- A Hybrid of Tense Logic S4T and Multi-Agent Logic with Interacting Agents [статья из журнала]2008, Journal of Siberian Federal University. Серия: Математика и физика
- Decidability of hybrid logic with local common knowledge based on linear temporal logic LTL [статья из журнала (материалы конференций, опубликованные в журналах)]2008, (15 June 2008 through 20 June 2008, Athens
- Multi-agent logics with interacting agents based on linear temporal logic: Deciding algorithms [статья из журнала (материалы конференций, опубликованные в журналах)]2008, (22 June 2008 through 26 June 2008, Zakopane
- Logic of plausibility for discovery in multi-agent environment deciding algorithms [статья из журнала (материалы конференций, опубликованные в журналах)]2008, (3 September 2008 through 5 September 2008, Zagreb
- Logic of discovery and knowledge: Decision algorithm [статья из журнала (материалы конференций, опубликованные в журналах)]2008, (3 September 2008 through 5 September 2008, Zagreb
- Linear temporal logic with until and next, logical consecutions [статья из журнала]2008, ANNALS OF PURE AND APPLIED LOGIC
- Logics with the universal modality and admissible consecutions : научное издание [статья из журнала]2007, Journal of Applied Non-Classical Logics
- An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK [статья из журнала]2007, Interest Group in Pure and Applied Logics. Logic Journal
- Decidability w.r.t. logical consecutions of linear temporal logic extended by since and previous : научное издание [статья из журнала]2007, Fundamenta Informaticae
- Logic of discovery in uncertain situations-deciding algorithms : научное издание [статья из журнала]2007, Lecture Notes in Computer Science
- Until-since temporal logic based on parallel time with common past. Deciding algorithms : научное издание [статья из журнала]2007, Lecture Notes in Computer Science
- Linear temporal logic with until and before on integer numbers, deciding algorithms : научное издание [статья из журнала]2006, Lecture Notes in Computer Science
- A note on globally admissible inference rules for modal and superintuitionistic logics : научное издание [статья из журнала]2005, Bulletin of the Section of Logic
- Logical consecutions in discrete linear temporal logic : научное издание [статья из журнала]2005, Journal of Symbolic Logic
- Logical consecutions in intransitive temporal linear logic of finite intervals [статья из журнала]2005, Journal of Logic and Computation
- Logic of visibility, perception, and knowledge and admissible inference rules [статья из журнала]2005, LOGIC JOURNAL OF THE IGPL
- Клиническая ангиология : руководство для врачей: в 2 томах [монография]2004
- Tabular Logics with no Finite Bases for Inference Rules [статья из журнала]2004, Interest Group in Pure and Applied Logics. Logic Journal
- A necessary condition for rules to be admissible in temporal tomorrow-logic [статья из журнала]2003, Bulletin of the Section of Logic
- Barwise's information frames and modal logics : научное издание [статья из журнала]2003, Archive for Mathematical Logic
- Refined common knowledge logics or logics of common information : научное издание [статья из журнала]2003, Archive for Mathematical Logic
- Информационные фреймы Барвайса и модальные логики : научное издание [статья из журнала]2002, Алгебра и логика
- Preservation of Admissibility of Inference Rules in the Logics Similar to S4.2 : научное издание [статья из журнала]2002, Siberian Mathematical Journal
- Residual Finiteness for Admissible Inference Rules : научное издание [статья из журнала]2001, Algebra and Logic
- Construction of an explicit basis for rules admissible in modal system S4 [статья из журнала]2001, MATHEMATICAL LOGIC QUARTERLY
- Independent bases for admissible rules in pretable logics : научное издание [статья из журнала]2000, Algebra and Logic
- Faces of monotonicity and wisdom formulas problem [статья из журнала]2000, Bulletin of the Section of Logic
- On self-admissible quasicharacterizing inference rules [статья из журнала]2000, Studia Logica
- Unification and passive inference rules for modal logics : научное издание [статья из журнала]2000, Journal of Applied Non-Classical Logics
- Describing a Basis in Semireduced Form for Inference Rules of Intuitionistic Logic : научное издание [статья из журнала]2000, Algebra and Logic
- A basis in semi-reduced form for the admissible rules of the intuitionistic logic IPC [статья из журнала]2000, MATHEMATICAL LOGIC QUARTERLY
- An explicit basis for rules admissible in modal system s4 [статья из журнала]1999, Bulletin of the Section of Logic
- An essay on unification and inference rules for modal logics : научное издание [статья из журнала]1999, Bulletin of the Section of Logic
- Description of modal logics inheriting admissible rules for S4 [статья из журнала]1999, Interest Group in Pure and Applied Logics. Logic Journal
- Independent bases for rules admissible in pretabular logics [статья из журнала]1999, Interest Group in Pure and Applied Logics. Logic Journal
- On finite model property for admissible rules [статья из журнала]1999, MATHEMATICAL LOGIC QUARTERLY
- The structure of rigid frames of restricted depth [статья из журнала]1998, Bulletin of the Section of Logic
- Description of self-admissible quasi-characterizing inference rules : научное издание [статья из журнала]1998, Bulletin of the Section of Logic
- Нестандартные логические системы и правила вывода [отчёт о НИР]1998
- Axiomatizing the next-interior fragment of dynamic topological logic : научное издание [статья из журнала]1997, Bulletin of Symbolic Logic
- Preface and acknowledgments [статья из журнала (материалы конференций, опубликованные в журналах)]1997, Studies in Logic and the Foundations of Mathematics
- Quasi-characteristic inference rules for modal logics : научное издание [статья из журнала]1997, Lecture Notes in Computer Science
- Нестандартные логические системы и правила вывода [отчёт о НИР]1996
- Elementary theories of free algebras for varieties corresponding to non-classical logics [доклад, тезисы доклада, статья из сборника материалов конференций]1996, ALGEBRA
- HEREDITARILY STRUCTURALLY COMPLETE MODAL-LOGICS [статья из журнала]1995, JOURNAL OF SYMBOLIC LOGIC
- Modal logics preserving admissible for S4 inference rules [доклад, тезисы доклада, статья из сборника материалов конференций]1995, COMPUTER SCIENCE LOGIC
- Preserving of admissible inference rules in modal logic : научное издание [статья из журнала]1994, Lecture Notes in Computer Science (см. в книгах)
- Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property [статья из журнала]1994, Studia Logica
- INTERMEDIATE LOGICS PRESERVING ADMISSIBLE INFERENCE RULES OF HEYTING CALCULUS [статья из журнала]1993, MATHEMATICAL LOGIC QUARTERLY
- A modal analog for Glivenko’s theorem and its applications : научное издание [статья из журнала]1992, Notre Dame Journal of Formal Logic
- RULES OF INFERENCE WITH PARAMETERS FOR INTUITIONISTIC LOGIC : научное издание [статья из журнала]1992, JOURNAL OF SYMBOLIC LOGIC
- SEMANTIC ADMISSIBILITY CRITERIA FOR DEDUCTION RULES IN S4 AND INT [статья из журнала]1991, MATHEMATICAL NOTES
- Logical equations and admissible rules of inference with parameters in modal provability logics : научное издание [статья из журнала]1990, Studia Logica
- Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus : научное издание [статья из журнала]1990, Annals of Pure and Applied Logic
- CRITERIA FOR ADMISSIBILITY OF RULES OF INFERENCE WITH PARAMETERS IN THE INTUITIONISTIC PROPOSITIONAL CALCULUS [статья из журнала]1990, MATHEMATICS OF THE USSR-IZVESTIYA
- ADMISSION OF THE INHERENCE RULES WITH PARAMETERS FOR THE INTUITIONISTIC LOGICS AND THE INTUITIONISTIC KRIPKE MODELS [статья из журнала]1990, DOKLADY AKADEMII NAUK SSSR
- Problems of Admissibility and Substitution, Logical Equations and Restricted Theories of free Algebras : научное издание [статья из журнала]1989, Studies in Logic and the Foundations of Mathematics
- DECIDABILITY OF ADMISSIBILITY IN THE MODAL SYSTEM GRZ AND IN INTUITIONISTIC LOGIC [статья из журнала]1986, MATHEMATICS OF THE USSR-IZVESTIYA
- EQUATIONS IN FREE CLOSURE ALGEBRA AND THE SUBSTITUTION PROBLEM [статья из журнала]1986, DOKLADY AKADEMII NAUK SSSR
- The bases for admissible rules of logics S4 and int [статья из журнала]1985, Algebra and Logic
- BASES OF ADMISSIBLE RULES OF THE MODAL SYSTEM GRZ AND OF INTUITIONISTIC LOGIC [статья из журнала]1985, MATHEMATICS OF THE USSR-SBORNIK
- CRITERION OF ADMISSIBILITY FOR THE DEDUCTION RULES IN MODAL AND INTUITIONISTIC LOGIC [статья из журнала]1985, DOKLADY AKADEMII NAUK SSSR
- ELEMENTARY THEORIES OF FREE TOPO-BOOLEAN AND PSEUDO-BOOLEAN ALGEBRAS [статья из журнала]1985, MATHEMATICAL NOTES
- A Criterion for Admissibility of Rules in the Modal System S4 and the Intuitionistic Logic [статья из журнала]1984, Algebra and Logic
- COMPLETENESS OF MODAL-LOGICS WITH PREFINITE WIDTH [статья из журнала]1982, MATHEMATICAL NOTES
Список публикаций выше сформирован в автоматическом режиме. Сообщите, если заметили неточности.