A. Yu. Muravitskij

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
https://portal.mardi4nfdi.de/entity/Q3358710	1988-01-01	Paper
AN ALGEBRAIC PROOF OF THE SEPARATION PROPERTY FOR AN INTUITIONISTIC PROVABILITY CALCULUS	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: A. Yu. Muravitskij