| Publication | Date of Publication | Type |
|---|
On Finite Domains Based Slices in the Structure of Superintuitionistic Predicate Logics, Preview
Logical Investigations | 2023-09-20 | Paper |
| A remark on the superintuitionistic predicate logic of Kripke frames of finite height with constant domains: a simpler Kripke complete logic that is not strongly complete | 2019-07-24 | Paper |
| A remark on a peculiarity in the functor semantics for superintuitionistic predicate logics with (or without) equality | 2014-06-11 | Paper |
Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle
Studia Logica | 2012-10-01 | Paper |
| A remark on propositional Kripke frames sound for intuitionistic logics | 2012-08-05 | Paper |
A remark on superintuitionistic predicate logics of Kripke frames with constant and with nested domains
Journal Of Logic And Computation | 2011-10-21 | Paper |
Quantification in nonclassical logic. Volume I.
Studies in Logic and the Foundations of Mathematics | 2009-10-08 | Paper |
On Non-axiomatizability of Superintuitionistic Predicate Logics of Some Classes of Well-founded and Dually Well-founded Kripke Frames
Journal Of Logic And Computation | 2007-04-13 | Paper |
On the predicate logic of linear Kripke frames and some of its extensions
Studia Logica | 2006-03-17 | Paper |
The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable
Journal of Symbolic Logic | 2006-01-16 | Paper |
| scientific article; zbMATH DE number 2196603 (Why is no real title available?) | 2005-08-22 | Paper |
| scientific article; zbMATH DE number 2174389 (Why is no real title available?) | 2005-06-08 | Paper |
On intermediate predicate logics of some finite Kripke frames. I: Levelwise uniform trees
Studia Logica | 2005-04-07 | Paper |
| scientific article; zbMATH DE number 1975411 (Why is no real title available?) | 2003-09-04 | Paper |
| scientific article; zbMATH DE number 1948155 (Why is no real title available?) | 2003-07-10 | Paper |
Remark on a finite axiomatization of finite intermediate propositional logics
Journal of Applied Non-Classical Logics | 2002-07-02 | Paper |
| scientific article; zbMATH DE number 1303437 (Why is no real title available?) | 2001-12-03 | Paper |
On some Kripke complete and Kripke incomplete intermediate predicate logics
Studia Logica | 2001-09-30 | Paper |
On the existence of continua of logics between some intermediate predicate logics
Studia Logica | 2001-06-18 | Paper |
Not every ``tabular predicate logic is finitely axiomatizable
Studia Logica | 1998-03-16 | Paper |
| scientific article; zbMATH DE number 937394 (Why is no real title available?) | 1998-02-01 | Paper |
Non-axiomatizable second order intuitionistic propositional logic
Annals of Pure and Applied Logic | 1997-07-23 | Paper |
On the predicate logics of finite Kripke frames
Studia Logica | 1995-02-22 | Paper |
Maximal Kripke-type semantics for modal and superintuitionistic predicate logics
Annals of Pure and Applied Logic | 1994-08-28 | Paper |
| scientific article; zbMATH DE number 218502 (Why is no real title available?) | 1993-06-29 | Paper |
| scientific article; zbMATH DE number 56623 (Why is no real title available?) | 1992-09-26 | Paper |
On axiomatization of many-valued logics associated with formalization of plausible reasonings
Studia Logica | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4120150 (Why is no real title available?) | 1988-01-01 | Paper |
On the question of “how many”: Definition of the notion of cardinality of finite sets in some arithmetical systems
Eleven Papers Translated from the Russian | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4045249 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4066397 (Why is no real title available?) | 1987-01-01 | Paper |
Logics of some Kripke frames connected with Medvedev notion of informational types
Studia Logica | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4045248 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3999890 (Why is no real title available?) | 1986-01-01 | Paper |
One superintuitionistic calculus of propositions
Algebra and Logic | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3972252 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3963824 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3930377 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3807604 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3758295 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3788582 (Why is no real title available?) | 1981-01-01 | Paper |
On the connection of finitary general validity of certain propositional formulas with derivability in the Kreisel-Putnam logic
Moscow University Mathematics Bulletin | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3683553 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3685452 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3683552 (Why is no real title available?) | 1979-01-01 | Paper |
Realizability and finite validity of propositional formulas with restrictions on the occurrence of implication
Mathematical Notes | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3648684 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3722627 (Why is no real title available?) | 1979-01-01 | Paper |
The occurrence of an implication in finitely valid, intuitively unprovable formulas of propositional logic
Mathematical Notes | 1977-01-01 | Paper |
