Dimitrij Skvortsov

Available identifiers

zbMath Open skvortsov.dmitrijMaRDI QIDQ731483

List of research outcomes

Publication	Date of Publication	Type
On Finite Domains Based Slices in the Structure of Superintuitionistic Predicate Logics, Preview	2023-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q5224588	2019-07-24	Paper
https://portal.mardi4nfdi.de/entity/Q5419896	2014-06-11	Paper
Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle	2012-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q2904065	2012-08-05	Paper
A Remark on Superintuitionistic Predicate Logics of Kripke Frames with Constant and with Nested Domains	2011-10-21	Paper
Quantification in nonclassical logic. Volume I.	2009-10-08	Paper
On Non-axiomatizability of Superintuitionistic Predicate Logics of Some Classes of Well-founded and Dually Well-founded Kripke Frames	2007-04-13	Paper
On the predicate logic of linear Kripke frames and some of its extensions	2006-03-17	Paper
The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable	2006-01-16	Paper
https://portal.mardi4nfdi.de/entity/Q5311050	2005-08-22	Paper
https://portal.mardi4nfdi.de/entity/Q4681892	2005-06-08	Paper
On intermediate predicate logics of some finite Kripke frames. I: Levelwise uniform trees	2005-04-07	Paper
https://portal.mardi4nfdi.de/entity/Q4424654	2003-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q4411816	2003-07-10	Paper
Remark on a finite axiomatization of finite intermediate propositional logics	2002-07-02	Paper
https://portal.mardi4nfdi.de/entity/Q4250046	2001-12-03	Paper
On some Kripke complete and Kripke incomplete intermediate predicate logics	2001-09-30	Paper
On the existence of continua of logics between some intermediate predicate logics	2001-06-18	Paper
Not every ``tabular predicate logic is finitely axiomatizable	1998-03-16	Paper
https://portal.mardi4nfdi.de/entity/Q4896535	1998-02-01	Paper
Non-axiomatizable second order intuitionistic propositional logic	1997-07-23	Paper
On the predicate logics of finite Kripke frames	1995-02-22	Paper
Maximal Kripke-type semantics for modal and superintuitionistic predicate logics	1994-08-28	Paper
https://portal.mardi4nfdi.de/entity/Q4694215	1993-06-29	Paper
https://portal.mardi4nfdi.de/entity/Q4005426	1992-09-26	Paper
On axiomatization of many-valued logics associated with formalization of plausible reasonings	1989-01-01	Paper
On the question of “how many”: Definition of the notion of cardinality of finite sets in some arithmetical systems	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4733853	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3782858	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3799665	1987-01-01	Paper
Logics of some Kripke frames connected with Medvedev notion of informational types	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3782857	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4726224	1986-01-01	Paper
One superintuitionistic calculus of propositions	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3731599	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3738617	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3703317	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4750637	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3941383	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3966105	1981-01-01	Paper
On the connection of finitary general validity of certain propositional formulas with derivability in the Kreisel-Putnam logic	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3879217	1980-01-01	Paper
Realizability and finite validity of propositional formulas with restrictions on the occurrence of implication	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3206930	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3879216	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3880811	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3912782	1979-01-01	Paper
The occurrence of an implication in finitely valid, intuitively unprovable formulas of propositional logic	1977-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: Dimitrij Skvortsov