نتایج جستجو برای: formalization theoretical

تعداد نتایج: 300933  

Journal: :Notre Dame Journal of Formal Logic 1972

Journal: :The Review of Symbolic Logic 2011

Journal: :The Bulletin of Symbolic Logic 2019

Journal: :Revista dos Trabalhos de Iniciação Científica da UNICAMP 2019

Journal: :Advances in Mechanical Engineering 2014

Journal: :International Journal of Computer Science, Engineering and Information Technology 2017

Journal: :Logica Universalis 2023

Abstract A statement is generic if it expresses a generalization about the members of kind, as in, ’Pear trees blossom in May,’ or, ’Birds lay egg’. In classical logic, statements are formalized universally quantified conditionals: ‘For all x, if..., then....’ We want to argue that such logical interpretation fails capture intensional character because cannot express simple proposition Aristotl...

Journal: :Science of Computer Programming 2000

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید