Odincov, Sergej Pavlovič.
Odincov, Sergej P.
Odintsov, Sergei P.
VIAF ID: 15989870 ( Personal )
Permalink: http://viaf.org/viaf/15989870
Preferred Forms
- 100 1 _ ‡a Odincov, Sergej P.
- 100 1 _ ‡a Odincov, Sergej P.
-
-
-
- 100 1 _ ‡a Odintsov, Sergei P.
-
4xx's: Alternate Name Forms (5)
Works
Title | Sources |
---|---|
BK- lattcies : algebraic semantics for Belnapian model logics | |
Computability issues for adaptive logics in multi-consequence standard format | |
Constructive negation and paraconsistency | |
Larisa Maksimova on implication, interpolation, and definability | |
The lattice of Belnapian modal logics : special extensions and counterparts | |
On algorithmic properties of propositional inconsistency-adaptive logics | |
On axiomatizing Shramko-Wansing's logic | |
On deductive bases for partial equilibrium logic | |
Priestley duality for paraconsistent Nelson's logic | |
To the memory of Alexander Vladimirovich Kuznetsov (1926-1984) : special issue |