| Publication | Date of Publication | Type |
|---|
On consequence and rejection as operators
Logica Universalis | 2024-01-10 | Paper |
Rejection: a historico-epistemological view
Logica Universalis | 2024-01-10 | Paper |
The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond
Outstanding Contributions to Logic | 2023-04-05 | Paper |
| Two Modes of Nonmonotonic Consequence | 2022-12-26 | Paper |
| Consequence Relations | 2022-10-24 | Paper |
On nonmonotonic consequence relations
Logica Universalis | 2021-08-11 | Paper |
| Consequence Relations An Introduction to the Tarski-Lindenbaum Method | 2021-06-21 | Paper |
| On Matrix Consequence (Extended Abstract) | 2020-06-29 | Paper |
Lattice NExtS4 from the embedding theorem viewpoint
Larisa Maksimova on Implication, Interpolation, and Definability | 2020-02-05 | Paper |
| Lindenbaum Method | 2019-01-16 | Paper |
Interconnection of the lattices of extensions of four logics
Logica Universalis | 2017-08-24 | Paper |
| On one embedding of Heyting algebras | 2017-05-07 | Paper |
| On the Equipollence of the Calculi Int and KM | 2017-01-31 | Paper |
| On Some Syntactic Properties of the Modalized Heyting Calculus | 2016-12-15 | Paper |
| Lindenbaum method (propositional language) | 2016-09-23 | Paper |
Domains as models for semantic information
Fundamenta Informaticae | 2016-05-11 | Paper |
Logic KM: A Biography
Leo Esakia on Duality in Modal and Intuitionistic Logics | 2015-06-19 | Paper |
Beyond Rasiowan systems: unital deductive systems
Logica Universalis | 2015-02-05 | Paper |
Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach
Logic, Language, and Computation | 2009-04-24 | Paper |
The embedding theorem: its further developments and consequences. I
Notre Dame Journal of Formal Logic | 2007-08-01 | Paper |
Knowledge representation as domain
Journal of Applied Non-Classical Logics | 1998-05-25 | Paper |
| scientific article; zbMATH DE number 1138232 (Why is no real title available?) | 1998-04-28 | Paper |
A framework for knowledge-based systems
Journal of Applied Non-Classical Logics | 1996-01-01 | Paper |
A knowledge representation based on the Belnap's four-valued logic
Journal of Applied Non-Classical Logics | 1995-10-18 | Paper |
Magari and \(\Delta\)-pseudo-Boolean algebras
Siberian Mathematical Journal | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4168676 (Why is no real title available?) | 1989-01-01 | Paper |
AN ALGEBRAIC PROOF OF THE SEPARATION PROPERTY FOR AN INTUITIONISTIC PROVABILITY CALCULUS
Mathematics of the USSR-Sbornik | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4210107 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4045717 (Why is no real title available?) | 1987-01-01 | Paper |
On superintuitionistic logics as fragments of proof logic extensions
Studia Logica | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4006236 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3963789 (Why is no real title available?) | 1985-01-01 | Paper |
A result on the completeness of superintuitionistic logics
Mathematical Notes | 1984-01-01 | Paper |
Superintuitionistic logics approximated by algebras with the descending chain condition
Mathematical Notes | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3861126 (Why is no real title available?) | 1984-01-01 | Paper |
Extensions of the provability logic
Mathematical Notes | 1983-01-01 | Paper |
Comparison of the topological and relational semantics of superintuitionistic logics
Algebra and Logic | 1983-01-01 | Paper |
Strong equivalence on an intuitionistic Kripke model and assertorically equivolumetric logics
Algebra and Logic | 1982-01-01 | Paper |
Finite approximability of the \(I^\delta\) calculus and the existence of an extension having no model
Mathematical Notes | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3763911 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3849201 (Why is no real title available?) | 1980-01-01 | Paper |
