Search results

    Filter results

  • Full text

  • Document type

  • Publication year

  • Organisation

Results: 12
Number of items: 12
  • Open Access
    Ferguson, T. M. (2021). Tableaux and Restricted Quantification for Systems Related to Weak Kleene Logic. In A. Das, & S. Negri (Eds.), Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021 : proceedings (pp. 3-19). (Lecture Notes in Computer Science; Vol. 12842), (Lecture Notes in Artificial Intelligence). Springer. https://doi.org/10.1007/978-3-030-86059-2_1
  • Open Access
    Ferguson, T. M. (2021). The Subject-Matter of Intensional Conditionals. In V. I. Markin (Ed.), Dvenadt︠s︡atye Smirnovskie chtenii︠a︡ po logike: Materialy mezhdunarodnoĭ nauchnoĭ konferent︠s︡ii, 24-26 ii︠u︡ni︠a︡ 2021 g., Moskva (pp. 59-63). ROIFN. http://smirnovreadings.ru/upload/iblock/7a7/24k4y6i2s2fgc16g3gqbizeomeaq4d2x/srl2021.pdf
Page 2 of 2