Zobrazeno 1 - 10 of 43 pro vyhledávání: '"Maksimova, Larisa"'
1
Akademický článek
Complexity of Interpolation and Related Problems in Positive Calculi
Autor: Maksimova, Larisa
Publikováno v: The Journal of Symbolic Logic, 2002 Mar 01. 67(1), 397-408.
Externí odkaz: https://www.jstor.org/stable/2695017
Zobrazit plný text záznamu
3
Akademický článek
Interpolation and Definability over the Logic G1
Autor: Maksimova, Larisa
Publikováno v: Studia Logica: An International Journal for Symbolic Logic, 2011 Oct 01. 99(1/3), 249-267.
Externí odkaz: https://www.jstor.org/stable/41475203
Zobrazit plný text záznamu
4
Akademický článek
Projective Beth Property in Extensions of Grzegorczyk Logic
Autor: Maksimova, Larisa
Publikováno v: Studia Logica: An International Journal for Symbolic Logic, 2006 Jun 01. 83(1/3), 365-391.
Externí odkaz: https://www.jstor.org/stable/20016810
Zobrazit plný text záznamu
5
Akademický článek
Definability and Interpolation in Non-Classical Logics
Autor: Maksimova, Larisa
Publikováno v: Studia Logica: An International Journal for Symbolic Logic, 2006 Mar 01. 82(2), 271-291.
Externí odkaz: https://www.jstor.org/stable/20016779
Zobrazit plný text záznamu
6
Akademický článek
On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic
Autor: Maksimova, Larisa
Publikováno v: In Electronic Notes in Theoretical Computer Science 22 November 2006 165:107-119
Zobrazit plný text záznamu
7
Review
Entailment. The Logic of Relevance and Necessity Alan Ross Anderson
Autor: Maksimova, Larisa
Publikováno v: The Journal of Symbolic Logic, 1996 Mar 01. 61(1), 338-341.
Externí odkaz: https://www.jstor.org/stable/2275617
Zobrazit plný text záznamu
8
Akademický článek
Intuitionistic logic and implicit definability
Autor: Maksimova, Larisa
Publikováno v: In Annals of Pure and Applied Logic 2000 105(1):83-102
Zobrazit plný text záznamu
9
Akademický článek
On Modal Grzegorczyk Logic.
Autor: Maksimova, Larisa1 lmaksi@math.nsc.ru
Publikováno v: Fundamenta Informaticae. 2007, Vol. 81 Issue 1-3, p203-210. 8p.
Zobrazit plný text záznamu
10
Akademický článek
On Variable Separation in Modal and Superintuitionistic Logics
Autor: Maksimova, Larisa
Publikováno v: Studia Logica: An International Journal for Symbolic Logic, 1995 Jul 01. 55(1), 99-112.
Externí odkaz: https://www.jstor.org/stable/20015809
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje