Skip to main content

9 Result(s)

within Dmitry Zaitsev Remove this filter

and

  1. No Access

    Book

    Many-valued Semantics and Modal Logics: Essays in Honour of Yuriy Vasilievich Ivlev

    Marcelo Esteban Coniglio… in Synthese Library (2024)

  2. No Access

    Article

    The Fmla-Fmla Axiomatizations of the Exactly True and Non-falsity Logics and Some of Their Cousins

    In this paper we present a solution of the axiomatization problem for the Fmla-Fmla versions of the Pietz and Rivieccio exactly true logic and the non-falsity logic dual to it. To prove the completeness of the co...

    Yaroslav Shramko, Dmitry Zaitsev, Alexander Belikov in Journal of Philosophical Logic (2019)

  3. No Access

    Article

    First-Degree Entailment and its Relatives

    We consider a family of logical systems for representing entailment relations of various kinds. This family has its root in the logic of first-degree entailment formulated as a binary consequence system, i.e. ...

    Yaroslav Shramko, Dmitry Zaitsev, Alexander Belikov in Studia Logica (2017)

  4. No Access

    Book

    The Logical Legacy of Nikolai Vasiliev and Modern Logic

    Vladimir Markin, Dmitry Zaitsev in Synthese Library (2017)

  5. No Access

    Chapter

    Generalized Vasiliev-Style Propositions

    This paper promotes a generalization approach applied to Vasiliev-style propositions. In so doing, I start with clarification of Vasiliev’s conception of propositions originated in his early writings. Secondly...

    Dmitry Zaitsev in The Logical Legacy of Nikolai Vasiliev and Modern Logic (2017)

  6. No Access

    Chapter and Conference Paper

    Categorization in Intentional Theory of Concepts

    The recent rapid growth of empirical results in neuroscience has widened a proverbial explanatory gap between a first-person introspective experience and objective third-person data. Given different competing ...

    Dmitry Zaitsev, Natalia Zaitseva in Advances in Neural Networks – ISNN 2016 (2016)

  7. No Access

    Article

    Bi-facial Truth: a Case for Generalized Truth Values

    We explore a possibility of generalization of classical truth values by distinguishing between their ontological and epistemic aspects and combining these aspects within a joint semantical framework. The outco...

    Dmitry Zaitsev, Yaroslav Shramko in Studia Logica (2013)

  8. No Access

    Article

    A Few More Useful 8-valued Logics for Reasoning with Tetralattice EIGHT 4

    In their useful logic for a computer network Shramko and Wansing generalize initial values of Belnap’s 4-valued logic to the set 16 to be the power-set of Belnap’s 4. This generalization results in a very spec...

    Dmitry Zaitsev in Studia Logica (2009)

  9. No Access

    Article

    Finite jet determination of local analytic CR automorphisms and their parametrization by 2-jets in the finite type case

    We show that germs of local real-analytic CR automorphisms of a real-analytic hypersurface M in $\mathbb{C}$2 at a point p ∈ M are uniquelydetermined by their jets of some finite order at p if and only if M i...

    Peter Ebenfelt, Bernhard Lamel, Dmitry Zaitsev in Geometric & Functional Analysis GAFA (2003)