Search results for: Dmitry Zaitsev

Items from 1 to 9 out of 9 results

article

A Variant of Material Connexive Logic

Alexander Belikov, Dmitry Zaitsev

Bulletin of the Section of Logic > 2022 > 51 > 2

The relationship between formal (standard) logic and informal (common-sense, everyday) reasoning has always been a hot topic. In this paper, we propose another possible way to bring it up inspired by connexive logic. Our approach is based on the following presupposition: whatever method of formalizing informal reasoning you choose, there will always be some classically acceptable deductive principles...

article

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

Yaroslav Shramko, Dmitry Zaitsev, Alexander Belikov

Journal of Philosophical Logic > 2019 > 48 > 5 > 787-808

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 corresponding binary consequence systems we introduce a specific proof-theoretic formalism, which allows us to deal simultaneously with two consequence relations within one logical system. These...

article

First-Degree Entailment and its Relatives

Yaroslav Shramko, Dmitry Zaitsev, Alexander Belikov

Studia Logica > 2017 > 105 > 6 > 1291-1317

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. a proof system dealing with the expressions of the form $$\varphi \vdash \psi $$ φ ⊢ ψ , where both $$\varphi $$ φ and $$\psi $$ ψ are single formulas. We generalize...

article

Sequential composition of linear systems’ clans

Dmitry Zaitsev

Information Sciences > 2016 > 363 > C > 292-307

When using Petri nets to investigate deadlock control, structural analysis techniques are applied, which are based on solving systems of linear algebraic equations. To gain an extra computational speed-up when solving sparse linear systems, we examine a sequential clan-composition process, represented by a weighted graph. The system decomposition into clans is represented by a weighted graph. The...

article

Bi-facial Truth: a Case for Generalized Truth Values

Dmitry Zaitsev, Yaroslav Shramko

Studia Logica > 2013 > 101 > 6 > 1299-1318

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 outcome is four generalized classical truth values implemented by Cartesian product of two sets of classical truth values, where each generalized value comprises both ontological and epistemic components...

article

Relevant generalization starts here (and here = 2)

Dmitry Zaitsev, Oleg Grigoriev

Logic and Logical Philosophy > 2010 > 19 > 4 > 329–340

There is a productive and suggestive approach in philosophical logic based on the idea of generalized truth values. This idea, which stems essentially from the pioneering works by J.M. Dunn, N. Belnap, and which has recently been developed further by Y. Shramko and H. Wansing, is closely connected to the power-setting formation on the base of some initial truth values. Having a set of generalized...

article

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

Dmitry Zaitsev

Studia Logica > 1-16

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 specific algebraic structure — the trilattice SIXTEEN 3 with three orderings: information, truth and falsity. In this paper, a slightly different way of generalization is presented. As a base for...

article

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

Dmitry Zaitsev

Studia Logica > 2009 > 92 > 2 > 265-280

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 specific algebraic structure — the trilattice SIXTEEN ₃ with three orderings: information, truth and falsity. In this paper, a slightly different way of generalization is presented. As a base for...

article

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

Peter Ebenfelt, Bernhard Lamel, Dmitry Zaitsev

Geometric and Functional Analysis > 2003 > 13 > 3 > 546-573

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 is not Levi-flat near p. This seems to be the first necessary and sufficient result on finite jet determination and the first result of this kind in the infinite type case. If M is of finite type...

Filter options

Publication date

Last 3 years (1)

Close

Date range setting

Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.

From:

To:
Set your own date range

INFONA - science communication portal

Search results for: Dmitry Zaitsev

A Variant of Material Connexive Logic

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

First-Degree Entailment and its Relatives

Sequential composition of linear systems’ clans

Bi-facial Truth: a Case for Generalized Truth Values

Relevant generalization starts here (and here = 2)

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

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

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

Filter options

Publication date

Content availability

Keywords

Data set

Journal

INFONA - science communication portal

Search results for: Dmitry Zaitsev

Add recipient

Sending message cancelled

Are you sure you want to cancel sending this message?

Send message

Filter options

Publication date

Date range setting

Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.

Content availability

Keywords

Data set

Journal

Reporting an error / abuse

Sending the report failed

Accessibility options