Szukaj

Wyniki wyszukiwania

• Partial and paraconsistent three-valued logics

  Vincent Degauquier

  143-171

  27.02.2016
• Free Definite Description Theory – Sequent Calculi and Cut Elimination

  Andrzej Indrzejczak

  505-539

  30.10.2020
• Pragmatic and dialogic interpretations of bi-intuitionism. Part I

  Gianluigi Bellin, Massimiliano Carrara, Daniele Chiffi, Alessandro Menti

  449-480

  03.06.2014
• Existential Import and Relations of Categorical and Modal Categorical Statements

  Jiří Raclavský

  271-300

  31.08.2017
• Bourne on future contingents and three-valued logic

  Daisuke Kachi

  33-43

  15.08.2009
• Decidability of mereological theories

  Hsing-chien Tsai

  45-63

  15.08.2009
• The notion of problem, intuitionism and partiality

  Pavel Materna

  287-303

  15.03.2009
• About the coexistence of “classical sets” with “non-classical” ones: A survey

  Roland Hinnion

  79-90

  23.11.2003