The following pages link to Sergei P. Odintsov (Q454379):
Displaying 40 items.
- (Q385068) (redirect page) (← links)
- Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\) (Q385070) (← links)
- \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics (Q454381) (← links)
- Priestley duality for paraconsistent Nelson's logic (Q708928) (← links)
- The class of extensions of Nelson's paraconsistent logic (Q813085) (← links)
- Routley star and hyperintensionality (Q830371) (← links)
- Combining intuitionistic connectives and Routley negation (Q890788) (← links)
- Glivenko theorem for \(N^\ast\)-extensions (Q890887) (← links)
- Finite model property for negative modalities (Q890969) (← links)
- Sergeĭ Il'ich Mardaev (6.04.1962--10.04.2013) (Q891064) (← links)
- Unification problem in Nelson's logic \(\mathbf{N4}\) (Q892014) (← links)
- Arithmetic hierarchy and ideals of enumerated Boolean algebras (Q922530) (← links)
- Constructive negations and paraconsistency (Q932098) (← links)
- Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\) (Q946573) (← links)
- On axiomatizing Shramko-Wansing's logic (Q1015493) (← links)
- Atom-free ideals of constructive Boolean algebras (Q1079562) (← links)
- Lattice of recursively enumerable subalgebras of a recursive Boolean algebra (Q1113895) (← links)
- Recursive Boolean algebras with a hyperhyperimmune set of atoms (Q1119571) (← links)
- Nonstandard analysis and axiom of determinateness (Q1346918) (← links)
- Hintikka's independence-friendly logic meets Nelson's realizability (Q1653658) (← links)
- Disentangling \textsf{FDE}-based paraconsistent modal logics (Q1685570) (← links)
- Negative equivalence of extensions of minimal logic (Q1770621) (← links)
- On the structure of paraconsistent extensions of Johansson's logic (Q1775862) (← links)
- On the representation of \(\mathbf{N4}\)-lattices (Q1826936) (← links)
- Computability issues for adaptive logics in multi-consequence standard format (Q2016057) (← links)
- Inference rules in Nelson's logics, admissibility and weak admissibility (Q2342802) (← links)
- The logic of generalized truth values and the logic of bilattices (Q2350215) (← links)
- Intrinsically recursively enumerable subalgebras of a recursive Boolean algebra (Q2366358) (← links)
- 9th Asian Logic Conference, Novosibirsk, Russia, 16--19 August 2005 (Q2498136) (← links)
- On strong equivalence theorem for answer set semantics with strong negation (Q2630548) (← links)
- (Q2751817) (← links)
- (Q2770968) (← links)
- (Q2885196) (← links)
- (Q2901198) (← links)
- The lattice of Belnapian modal logics: Special extensions and counterparts (Q2987755) (← links)
- The lattice of extensions of the minimal logic (Q3115345) (← links)
- (Q3367330) (← links)
- On Definability of Connectives and Modal Logics over FDE (Q3387896) (← links)
- Transfer theorems for extensions of the paraconsistent Nelson logic (Q5294718) (← links)
- An algebraic investigation of the connexive logic \(\mathsf{C}\) (Q6127184) (← links)
