( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Decomposition Proof Systems for Gödel-Dummett Logics.

, и . Stud Logica, 69 (2): 197-219 (2001)

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.

Marc Arnon

Banchar Arnonkijpanich

Eyal Arnon

Arnon Polensky

Arnon Gill

 

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

Non-deterministic Semantics for Paraconsistent C-Systems.. ECSQARU, том 3571 из Lecture Notes in Computer Science, стр. 625-637. Springer, (2005)Rough Sets and 3-Valued Logics., и . Stud Logica, 90 (1): 69-92 (2008)Finite-valued Logics for Information Processing., и . Fundam. Informaticae, 114 (1): 1-30 (2012)Non-deterministic Connectives in Propositional Godel Logic., и . EUSFLAT Conf., стр. 175-182. Atlantis Press, (2011)First-Order Quasi-canonical Proof Systems., и . TABLEAUX, том 11714 из Lecture Notes in Computer Science, стр. 77-93. Springer, (2019)Analysis in a Formal Predicative Set Theory., и . WoLLIC, том 13038 из Lecture Notes in Computer Science, стр. 167-183. Springer, (2021)A Logical Framework for Developing and Mechanizing Set Theories.. IJCAR, том 9706 из Lecture Notes in Computer Science, стр. 3-8. Springer, (2016)Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism., , и . CSR, том 5675 из Lecture Notes in Computer Science, стр. 26-37. Springer, (2009)Strict Canonical Constructive Systems., и . Fields of Logic and Computation, том 6300 из Lecture Notes in Computer Science, стр. 75-94. Springer, (2010)Non-Deterministic Semantics for First-Order Paraconsistent Logics., и . KR, стр. 431-439. AAAI Press, (2006)