Alexei Y. Muravitsky

Available identifiers

zbMath Open muravitsky.alexei-yuMaRDI QIDQ793005

List of research outcomes

Publication	Date of Publication	Type
On consequence and rejection as operators	2024-01-10	Paper
Rejection: a historico-epistemological view	2024-01-10	Paper
The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond	2023-04-05	Paper
Two Modes of Nonmonotonic Consequence	2022-12-26	Paper
Consequence Relations	2022-10-24	Paper
On nonmonotonic consequence relations	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	2020-02-05	Paper
Lindenbaum Method	2019-01-16	Paper
Interconnection of the lattices of extensions of four logics	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	2016-05-11	Paper
Logic KM: A Biography	2015-06-19	Paper
Beyond Rasiowan systems: unital deductive systems	2015-02-05	Paper
Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach	2009-04-24	Paper
The embedding theorem: its further developments and consequences. I	2007-08-01	Paper
Knowledge representation as domain	1998-05-25	Paper
https://portal.mardi4nfdi.de/entity/Q4383498	1998-04-28	Paper
A framework for knowledge-based systems	1996-01-01	Paper
A knowledge representation based on the Belnap's four-valued logic	1995-10-18	Paper
Magari and \(\Delta\)-pseudo-Boolean algebras	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3495352	1989-01-01	Paper
AN ALGEBRAIC PROOF OF THE SEPARATION PROPERTY FOR AN INTUITIONISTIC PROVABILITY CALCULUS	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3358710	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3783274	1987-01-01	Paper
On superintuitionistic logics as fragments of proof logic extensions	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3757894	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3731572	1985-01-01	Paper
A result on the completeness of superintuitionistic logics	1984-01-01	Paper
Superintuitionistic logics approximated by algebras with the descending chain condition	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3329444	1984-01-01	Paper
Extensions of the provability logic	1983-01-01	Paper
Comparison of the topological and relational semantics of superintuitionistic logics	1983-01-01	Paper
Strong equivalence on an intuitionistic Kripke model and assertorically equivolumetric logics	1982-01-01	Paper
Finite approximability of the \(I^\delta\) calculus and the existence of an extension having no model	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3946151	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3318750	1980-01-01	Paper

Research outcomes over time

This page was built for person: Alexei Y. Muravitsky