Zobrazeno 1 - 10
of 1 173
pro vyhledávání: '"Gödel's completeness theorem"'
Autor:
Sergey Tumanov
Publikováno v:
Journal of Differential Equations. 319:80-99
The completeness of the system of eigenfunctions of the complex Schrodinger operator L c = − d 2 / d x 2 + c x 2 / 3 on the semi-axis in L 2 ( R + ) with Dirichlet boundary conditions is proved for all c: | arg c | π / 2 + θ 0 , where π / 10
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::75245d6fbf262ca1bbcd0b16c34f9634
https://doi.org/10.1016/j.jde.2022.02.010
https://doi.org/10.1016/j.jde.2022.02.010
Publikováno v:
International Journal of Intelligent Systems. 37:4233-4252
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0297b35c8e3b2f9ea8d5db7582b910f6
https://doi.org/10.1002/int.22719
https://doi.org/10.1002/int.22719
Autor:
Janusz Czelakowski
Publikováno v:
Journal of Logic, Language and Information. 30:753-804
Action theory may be regarded as a theoretical foundation of AI, because it provides in a logically coherent way the principles of performing actions by agents. But, more importantly, action theory offers a formal ontology mainly based on set-theoret
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::39156711897d525a26118f85d5418b22
https://doi.org/10.1007/s10849-021-09343-w
https://doi.org/10.1007/s10849-021-09343-w
Autor:
Button, Tim, author, Walsh, Sean, author
Publikováno v:
Philosophy and Model Theory, 2018.
Externí odkaz:
https://doi.org/10.1093/oso/9780198790396.003.0004
Autor:
T. Moraschini
Publikováno v:
The Journal of Symbolic Logic. 87:1522-1575
A logic is said to admit an equational completeness theorem when it can be interpreted into the equational consequence relative to some class of algebras. We characterize logics admitting an equational completeness theorem that are either locally tab
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a2c4db2dd547c3faaa99ba428d85712c
https://doi.org/10.1017/jsl.2021.67
https://doi.org/10.1017/jsl.2021.67
Publikováno v:
Electronic Proceedings in Theoretical Computer Science. 340:230-255
In this paper we exploit the utility of the triangle symbol which has a complicated expression in terms of spider diagrams in ZX-calculus, and its role within the ZX-representation of AND-gates in particular. First, we derive spider nest identities w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9d2b604e25474ae7d1a7569111a2398b
https://doi.org/10.4204/eptcs.340.12
https://doi.org/10.4204/eptcs.340.12
Autor:
Ekin Uğurlu
Publikováno v:
Mathematical Methods in the Applied Sciences. 44:11046-11058
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3cfa5bf58f98c96c7163bd791793efd4
https://doi.org/10.1002/mma.7467
https://doi.org/10.1002/mma.7467
Autor:
S. N. Tumanov
Publikováno v:
Mathematical Notes. 109:836-839
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c1e21b4438d917978a0fa5625b1eb86a
https://doi.org/10.1134/s0001434621050163
https://doi.org/10.1134/s0001434621050163
Autor:
Norihiro Kamide
Publikováno v:
Studia Logica. 109:1241-1271
Two new multilattice logics called submultilattice logic and indexed multilattice logic are introduced as a monosequent calculus and an indexed monosequent calculus, respectively. The submultilattice logic is regarded as a monosequent calculus versio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f44b7730465e7d511b6c254d4d88ae9f
https://doi.org/10.1007/s11225-020-09939-6
https://doi.org/10.1007/s11225-020-09939-6
Autor:
Ming Xu
Publikováno v:
Studia Logica. 109:1177-1200
This paper presents a generalization of Fine’s completeness theorem for transitive logics of finite width, and proves the Kripke completeness of transitive logics of finite “suc-eq-width”. The frame condition for each finite suc-eq-width axiom
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6e60055d6d74d8b7129dec34289f0d4c
https://doi.org/10.1007/s11225-021-09943-4
https://doi.org/10.1007/s11225-021-09943-4