( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Sequent Rules for Reasoning and Conflict Resolution in Conditional Norms.

, и . DEON, стр. 94-113. College Publications, (2021)

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.

Koichiro Agata

Agata Pomorska

Agata Savary

Agata Langier

Agata Nowrotek

 

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

Hypersequent Calculi for Gödel Logics - a Survey., , и . J. Log. Comput., 13 (6): 835-861 (2003)Proof theory of witnessed Gödel logic: A negative result., и . J. Log. Comput., 26 (1): 51-64 (2016)Editorial., , , и . Log. J. IGPL, 13 (5): 491 (2005)A Sufficient Condition for Completability of Partial Combinatory Algebras., и . J. Symb. Log., 62 (4): 1209-1214 (1997)First-order satisfiability in Gödel logics: An NP-complete fragment., , и . Theor. Comput. Sci., 412 (47): 6612-6623 (2011)Herbrand's Theorem for Prenex Gödel Logic and its Consequences for Theorem Proving., , и . LPAR, том 2250 из Lecture Notes in Computer Science, стр. 201-215. Springer, (2001)Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism., , и . CSR, том 5675 из Lecture Notes in Computer Science, стр. 26-37. Springer, (2009)Automated Generation of Analytic Calculi for Logics with Linearity.. CSL, том 3210 из Lecture Notes in Computer Science, стр. 503-517. Springer, (2004)Cut Elimination for First Order Gödel Logic by Hyperclause Resolution., , и . LPAR, том 5330 из Lecture Notes in Computer Science, стр. 451-466. Springer, (2008)Evaluating Networks of Arguments: A Case Study in Mīmāṃsā Dialectics., , , и . LORI, том 11813 из Lecture Notes in Computer Science, стр. 355-369. Springer, (2019)