( en | de | ru )

 

Disambiguierung von "Skvortsov, Dmitrij P."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On Some Kripke Complete and Kripke Incomplete Intermediate Predicate Logics.

. Stud Logica, 61 (2): 281-292 (1998)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Pavel Skvortsov

Dmitrij Kissler

Dmitrij Tikhomirov

Dmitrij Hristodorov

Dmitrij Schein

 

Weitere Publikationen von Autoren mit dem selben Namen

Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle., , , und . CSL, Volume 2471 von Lecture Notes in Computer Science, Seite 74-88. Springer, (2002)On Some Kripke Complete and Kripke Incomplete Intermediate Predicate Logics.. Stud Logica, 61 (2): 281-292 (1998)On the Predicate Logic of Linear Kripke Frames and some of its Extensions.. Stud Logica, 81 (2): 261-282 (2005)Not Every "Tabular" Predicate Logic is Finitely Axiomatizable.. Stud Logica, 59 (3): 387-396 (1997)Remark on a finite axiomatization of finite intermediate propositional logics.. J. Appl. Non Class. Logics, 9 (2-3): 381-386 (1999)A Remark on Propositional Kripke Frames Sound for Intuitionistic Logic.. Advances in Modal Logic, Seite 392-410. College Publications, (2010)The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable.. J. Symb. Log., 70 (2): 451-459 (2005)Maximal Kripke-Type Semantics for Modal and Superintuitionistic Predicate Logics., und . Ann. Pure Appl. Log., 63 (1): 69-101 (1993)Non-Axiomatizable Second Order Intuitionistic Propositional Logic.. Ann. Pure Appl. Log., 86 (1): 33-46 (1997)On Non-axiomatizability of Superintuitionistic Predicate Logics of Some Classes of Well-founded and Dually Well-founded Kripke Frames.. J. Log. Comput., 16 (5): 685-695 (2006)