RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
 
Yashin, Aleksandr Danilovich

Statistics Math-Net.Ru
Total publications: 26
Scientific articles: 25
Presentations: 1

Number of views:
This page:827
Abstract pages:4062
Full texts:1467
References:400
Professor
Doctor of physico-mathematical sciences
E-mail: , , ,

http://www.mathnet.ru/eng/person19692
List of publications on Google Scholar
List of publications on ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/206245

Publications in Math-Net.Ru
2018
1. A. D. Yashin, A. G. Makarov, “Irreflexive modality, the Dummett logic, and continual chains”, Sibirsk. Mat. Zh., 59:2 (2018),  468–476  mathnet  elib; Siberian Math. J., 59:2 (2018), 368–374  isi  scopus
2014
2. A. D. Yashin, “Irreflexive modality as a new logical connective in the Dummett logic”, Sibirsk. Mat. Zh., 55:1 (2014),  228–234  mathnet  mathscinet; Siberian Math. J., 55:1 (2014), 185–190  isi  scopus
2013
3. A. D. Yashin, A. K. Koshcheeva, “New Constants in the Superintuitionistic Logic $L2$”, Mat. Zametki, 94:6 (2013),  918–932  mathnet  mathscinet  zmath  elib; Math. Notes, 94:6 (2013), 938–950  isi  elib  scopus
2011
4. A. D. Yashin, “New constants in two pretabular superintuitionistic logics”, Algebra Logika, 50:2 (2011),  246–267  mathnet  mathscinet  zmath; Algebra and Logic, 50:2 (2011), 171–186  isi  scopus
5. V. K. Zakharov, A. D. Yashin, “Finite Axiomatizability of Local Set Theory”, Mat. Zametki, 90:1 (2011),  70–86  mathnet  mathscinet; Math. Notes, 90:1 (2011), 64–78  isi  scopus
2010
6. A. D. Yashin, “An algebraic model of three-dimensional synchronized switch scheme”, Vestn. Udmurtsk. Univ. Mat. Mekh. Komp. Nauki, 2010, 1,  112–122  mathnet
2008
7. A. D. Yashin, “Branching-time type operators on finite pseudo-Boolean algebras”, Algebra Logika, 47:4 (2008),  509–519  mathnet  mathscinet  zmath; Algebra and Logic, 47:4 (2008), 289–294  isi  scopus
2004
8. A. D. Yashin, “Novikov Complete Logics: Translation Techniques”, Algebra Logika, 43:3 (2004),  364–378  mathnet  mathscinet  zmath; Algebra and Logic, 43:3 (2004), 205–214  scopus
2003
9. A. D. Yashin, “Classification of Novikov Complete Logics with Extra Logical Constants”, Algebra Logika, 42:3 (2003),  366–383  mathnet  mathscinet  zmath; Algebra and Logic, 42:3 (2003), 207–216  scopus
2002
10. A. D. Yashin, “Interpreting Intuitionistic Propositional Logic in Terms of Intuitionistic Protothetics”, Algebra Logika, 41:1 (2002),  104–113  mathnet  mathscinet  zmath; Algebra and Logic, 41:1 (2002), 59–64  scopus
1999
11. A. D. Yashin, “On a new constant in intuitionistic propositional logic”, Fundam. Prikl. Mat., 5:3 (1999),  903–926  mathnet  mathscinet  zmath
1998
12. A. D. Yashin, “On an extension of Gabbay's logic”, Sibirsk. Mat. Zh., 39:1 (1998),  224–235  mathnet  mathscinet  zmath; Siberian Math. J., 39:1 (1998), 198–208  isi
13. A. D. Yashin, “Modified neighborhood semantics for Kaminski logic”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1998, 2,  8–11  mathnet  mathscinet  zmath
1997
14. A. D. Yashin, “Continuality of a family of logics that are complete in the sense of Novikov with a new monadic connective”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1997, 3,  22–25  mathnet  mathscinet  zmath
15. A. D. Yashin, “On the number of new logical constants in intuitionistic propositional calculus”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1997, 1,  7–10  mathnet  mathscinet  zmath
1996
16. A. D. Yashin, “On the completeness of a new intuitionistic connective”, Mat. Zametki, 60:3 (1996),  423–433  mathnet  mathscinet  zmath; Math. Notes, 60:3 (1996), 313–320  isi
17. A. D. Yashin, “A new regular constant in intuitionistic propositional logic”, Sibirsk. Mat. Zh., 37:6 (1996),  1413–1432  mathnet  mathscinet  zmath; Siberian Math. J., 37:6 (1996), 1242–1258  isi
1994
18. A. D. Yashin, “The Smetanich logic $T^{\Phi}$ and two definitions of a new intuitionistic connective”, Mat. Zametki, 56:1 (1994),  135–142  mathnet  mathscinet  zmath; Math. Notes, 56:1 (1994), 745–750  isi
1989
19. A. D. Yashin, “Semantic characterization of certain sets of intuitionistic logical connectives”, Mat. Zametki, 45:5 (1989),  103–113  mathnet  mathscinet  zmath; Math. Notes, 45:5 (1989), 420–428  isi
1986
20. A. D. Yashin, “The semantic characterization of modal logical connectives”, Mat. Zametki, 40:4 (1986),  519–526  mathnet  mathscinet  zmath; Math. Notes, 40:4 (1986), 799–803  isi
1985
21. A. D. Yashin, “Semantic characterization of intuitionistic logical connectives”, Mat. Zametki, 38:1 (1985),  157–166  mathnet  mathscinet  zmath; Math. Notes, 38:1 (1985), 600–606  isi
1984
22. A. D. Yashin, “Intuitionistic logical connectives on linear structures”, Mat. Zametki, 35:5 (1984),  663–675  mathnet  mathscinet  zmath; Math. Notes, 35:5 (1984), 348–355  isi
23. A. D. Yashin, “Nishimura's formulas as one-place logical connectives in the elementary theory of Kripke models”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1984, 5,  12–15  mathnet  mathscinet  zmath
24. A. D. Yashin, “Completeness of the intuitionistic predicate calculus with the bar notion”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1984, 4,  67–69  mathnet  mathscinet  zmath
1982
25. A. D. Yashin, “Intuitionistic predicate logic with the connective “tomorrow””, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1982, 4,  19–22  mathnet  mathscinet  zmath

2019
26. A. P. Beltyukov, A. A. Gryzlov, D. V. Dyugurov, V. A. Zaitsev, N. N. Petrov, S. N. Popova, V. I. Rodionov, Yu. M. Smetanin, A. D. Yashin, “Nikolai Nikolaevich Nepeivoda. To anniversary”, Vestn. Udmurtsk. Univ. Mat. Mekh. Komp. Nauki, 29:2 (2019),  295–298  mathnet  zmath  elib

Presentations in Math-Net.Ru
1. The Smetanich constant and finite canonical model method
A. D. Yashin
International workshop "Syntax and semantics of logical systems"

Organisations
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2020