×

zbMATH — the first resource for mathematics

Yashin, Aleksandr D.

Compute Distance To:
Author ID: yashin.aleksandr-d Recent zbMATH articles by "Yashin, Aleksandr D."
Published as: Yashin, A. D.; Yashin, A.; Yashin, Alexander; Yashin, Aleksandr D.
Documents Indexed: 39 Publications since 1982

Publications by Year

Citations contained in zbMATH Open

13 Publications have been cited 24 times in 13 Documents Cited by Year
New intuitionistic logical constants and Novikov completeness. Zbl 0945.03010
Yashin, Alexander
3
1999
New constants in two pretabular superintuitionistic logics. Zbl 1271.03043
Yashin, A. D.
3
2011
Irreflexive modality in the intuitionistic propositional logic and Novikov completeness. Zbl 0976.03021
Yashin, A. D.
3
1999
New solutions to Novikov’s problem for intuitionistic connectives. Zbl 0914.03007
Yashin, A. D.
2
1998
On a new constant in intuitionistic propositional logic. Zbl 0982.03005
Yashin, A. D.
2
1999
The Smetanich logic \(T^ \Phi\) and two definitions of a new intuitionistic connective. Zbl 0837.03006
Yashin, A. D.
2
1994
Intuitionistic predicate logic with connective ”tomorrow”. Zbl 0494.03017
Yashin, A. D.
2
1982
A new regular constant in intuitionistic propositional logic. Zbl 0876.03005
Yashin, A. D.
2
1996
Classification of Novikov complete logics with extra logical constants. Zbl 1034.03009
Yashin, A. D.
1
2003
Novikov-complete logics: translation techniques. Zbl 1061.03021
Yashin, A. D.
1
2004
Semantic characterization of intuitionistic logical connectives. Zbl 0658.03006
Yashin, A. D.
1
1985
New intuitionistic logical constants: Undecidability of the conservativeness problem. Zbl 0881.03007
Yashin, A. D.
1
1997
Dummett logic, irreflexive modality and Novikov completeness. Zbl 1429.03061
Yashin, Alexander
1
2018
Dummett logic, irreflexive modality and Novikov completeness. Zbl 1429.03061
Yashin, Alexander
1
2018
New constants in two pretabular superintuitionistic logics. Zbl 1271.03043
Yashin, A. D.
3
2011
Novikov-complete logics: translation techniques. Zbl 1061.03021
Yashin, A. D.
1
2004
Classification of Novikov complete logics with extra logical constants. Zbl 1034.03009
Yashin, A. D.
1
2003
New intuitionistic logical constants and Novikov completeness. Zbl 0945.03010
Yashin, Alexander
3
1999
Irreflexive modality in the intuitionistic propositional logic and Novikov completeness. Zbl 0976.03021
Yashin, A. D.
3
1999
On a new constant in intuitionistic propositional logic. Zbl 0982.03005
Yashin, A. D.
2
1999
New solutions to Novikov’s problem for intuitionistic connectives. Zbl 0914.03007
Yashin, A. D.
2
1998
New intuitionistic logical constants: Undecidability of the conservativeness problem. Zbl 0881.03007
Yashin, A. D.
1
1997
A new regular constant in intuitionistic propositional logic. Zbl 0876.03005
Yashin, A. D.
2
1996
The Smetanich logic \(T^ \Phi\) and two definitions of a new intuitionistic connective. Zbl 0837.03006
Yashin, A. D.
2
1994
Semantic characterization of intuitionistic logical connectives. Zbl 0658.03006
Yashin, A. D.
1
1985
Intuitionistic predicate logic with connective ”tomorrow”. Zbl 0494.03017
Yashin, A. D.
2
1982

Citations by Year