( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Reasoning About Group Polarization: From Semantic Games to Sequent Systems.

, , , и . LPAR, том 100 из EPiC Series in Computing, стр. 70-87. EasyChair, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Christian G Bien

Christian G Weisgerber

Christian G Bucher

Christian G Nagel

Christian G Bien

 

Другие публикации лиц с тем же именем

Dual systems of sequents and tableaux for many-valued logics., , и . Bulletin of the EATCS, (1993)Systematic Construction of Natural Deduction Systems for Many-Valued Logics., , и . ISMVL, стр. 208-213. IEEE Computer Society, (1993)An Analytic Calculus for Quantified Propositional Gödel Logic., , и . TABLEAUX, том 1847 из Lecture Notes in Computer Science, стр. 112-126. Springer, (2000)Parallel Dialogue Games and Hypersequents for Intermediate Logics.. TABLEAUX, том 2796 из Lecture Notes in Computer Science, стр. 48-64. Springer, (2003)Have Spass with OCC1Ng=., и . LPAR, том 1955 из Lecture Notes in Computer Science, стр. 114-130. Springer, (2000)Resolution-Based Theorem Proving for Manyvalued Logics., и . J. Symb. Comput., 19 (4): 353-391 (1995)Model Building by Resolution., и . CSL, том 702 из Lecture Notes in Computer Science, стр. 134-148. Springer, (1992)From Semi-fuzzy to Fuzzy Quantifiers via Łukasiewicz Logic and Games., и . EUSFLAT/IWIFSGN (1), том 641 из Advances in Intelligent Systems and Computing, стр. 112-124. Springer, (2017)Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability, , и . Log. Methods Comput. Sci., (2012)A Note on the Proof-Theoretic Strength of a Single Application of the Schema of Identity., и . Proof Theory in Computer Science, том 2183 из Lecture Notes in Computer Science, стр. 38-48. Springer, (2001)