Zobrazeno 1 - 10
of 1 960
pro vyhledávání: '"propositional logic"'
Autor:
Griffiths, Jonny1 hello@jonny-griffiths.net
Publikováno v:
Mathematics Teaching. Apr2024, Issue 291, p35-36. 2p.
Autor:
Pavlov, Maxim V.1 mpavlov@itp.ac.ru, Stoilov, Nikola M.2
Publikováno v:
Journal of Nonlinear Science. Oct2018, Vol. 28 Issue 5, p1843-1864. 22p.
Autor:
Mokhov, O. I.1 mokhov@mi.ras.ru, Pavlenko, N. A.1 nanapavl@gmail.com
Publikováno v:
Theoretical & Mathematical Physics. Oct2018, Vol. 197 Issue 1, p1501-1513. 13p.
Publikováno v:
In Information Sciences August 2024 677
Publikováno v:
AUT Journal of Mathematics & Computing; 2024, Vol. 5 Issue 1, p11-18, 8p
Autor:
dos Reis, Tiago S.1 tiago.reis@ifrj.edu.br, Anderson, James A. D. W.2 j.anderson@reading.ac.uk
Publikováno v:
Engineering Letters. 2017, Vol. 25 Issue 1, p90-103. 14p.
Autor:
Robert Friedman
Publikováno v:
Encyclopedia, Vol 3, Iss 2, Pp 687-697 (2023)
In deep learning, large language models are typically trained on data from a corpus as representative of current knowledge. However, natural language is not an ideal form for the reliable communication of concepts. Instead, formal logical statements
Externí odkaz:
https://doaj.org/article/852ff97cd068498abb973652b900212b
Autor:
Akhtar, Reza1 akhtarr@miamioh.edu
Publikováno v:
Quasigroups & Related Systems. 2016, Vol. 24 Issue 1, p1-6. 6p.
Autor:
Majid Alizadeh, Masoud Memarzadeh
Publikováno v:
Bulletin of the Section of Logic, Vol 51, Iss 3, Pp 297-316 (2022)
In this paper by using a model-theoretic approach, we prove Craig interpolation property for Formal Propositional Logic, FPL, Basic propositional logic, BPL and the uniform left-interpolation property for FPL. We also show that there are countably in
Externí odkaz:
https://doaj.org/article/475a97fd9359459c807d2bfe991a9872