We stand with Ukraine  

Alexei Y. Muravitsky

According to our database1, Alexei Y. Muravitsky authored at least 16 papers between 1986 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Rejection: A Historico-Epistemological View.
[BibTeX]
[DOI]
Alexei Y. Muravitsky
Logica Universalis, December, 2023

On Consequence and Rejection as Operators.
[BibTeX]
[DOI]
Alexei Y. Muravitsky
Logica Universalis, December, 2023

Preface to the Rejection Special Issue.
[BibTeX]
[DOI]
Alex Citkin
,
Alexei Y. Muravitsky
Logica Universalis, December, 2023

2021
On Nonmonotonic Consequence Relations.
[BibTeX]
[DOI]
Alexei Y. Muravitsky
Logica Universalis, 2021

2017
Interconnection of the Lattices of Extensions of Four Logics.
[BibTeX]
[DOI]
Alexei Y. Muravitsky
Logica Universalis, 2017

2015
Domains as Models for Semantic Information.
[BibTeX]
[DOI]
Alexei Y. Muravitsky
Fundam. Informaticae, 2015

2014
Beyond Rasiowan Systems: Unital Deductive Systems.
[BibTeX]
[DOI]
Alexei Y. Muravitsky
Logica Universalis, 2014

2013
On modal components of the S4-logics.
[BibTeX]
[DOI]
Alexei Y. Muravitsky
Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

2011
A New Foundation For Knowledge Systems.
[BibTeX]
[DOI]
Alexei Y. Muravitsky
Comput. Sci. J. Moldova, 2011

2008
Information Systems via Epistemic States.
[BibTeX]
[DOI]
Alexei Y. Muravitsky
Proceedings of the Innovations and Advances in Computer Sciences and Engineering, 2008

2007
Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach.
[BibTeX]
[DOI]
Alexei Y. Muravitsky
Proceedings of the Logic, 2007

2006
The Embedding Theorem: Its Further Developments and Consequences. Part 1.
[BibTeX]
[DOI]
Alexei Y. Muravitsky
Notre Dame J. Formal Log., 2006

1997
Knowledge Representation as Domains.
[BibTeX]
[DOI]
Alexei Yu. Muravitsky
J. Appl. Non Class. Logics, 1997

1996
A Framework for Knowledge-Based Systems.
[BibTeX]
[DOI]
Alexei Yu. Muravitsky
J. Appl. Non Class. Logics, 1996

1993
A knowledge representation based on the Belnap's four-valued logic.
[BibTeX]
[DOI]
Yuri Kaluzhny
,
Alexei Yu. Muravitsky
J. Appl. Non Class. Logics, 1993

1986
On superintuitionistic logics as fragments of proof logic extensions.
[BibTeX]
[DOI]
A. V. Kuznetsov
,
Alexei Yu. Muravitsky
Stud Logica, 1986


  Loading...