<div class="csl-bib-body">
<div class="csl-entry">Baaz, M., Gamsakhurdia, M., & Lolić, A. (2026). Skolemization and Decidability of the Bernays–Schönfinkel Class in Gödel Logics. In <i>2026 IEEE 56th International Symposium on Multiple-Valued Logic (ISMVL 2026)</i> (pp. 25–30). IEEE. https://doi.org/10.1109/ISMVL68998.2026.00014</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/230336
-
dc.description.abstract
In 1928, Bernays and Schönfinkel proved the decidability of prenex sentences whose matrices contain no function symbols, now known as the Bernays-Schönfinkel (BS) class. We investigate the decidability of the BS class for all Gödel logics. Our validity argument relies on the fact that Skolemization works for prenex Gödel logics, while 1-satisfiability follows from the structural properties of prenex formulas. We show that validity and 1-satisfiability for the BS class are decidable in every Gödel logic, and that these properties persist across all infinite Gödel logics.
en
dc.language.iso
en
-
dc.subject
Bernays-Schönfinkel class
en
dc.subject
Decidability
en
dc.subject
Gödel Logics
en
dc.subject
Skolemization
en
dc.title
Skolemization and Decidability of the Bernays–Schönfinkel Class in Gödel Logics
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.relation.isbn
979-8-3315-5956-4
-
dc.relation.doi
10.1109/ISMVL68998.2026
-
dc.relation.issn
0195-623X
-
dc.description.startpage
25
-
dc.description.endpage
30
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
2378-2226
-
tuw.booktitle
2026 IEEE 56th International Symposium on Multiple-Valued Logic (ISMVL 2026)
-
tuw.peerreviewed
true
-
tuw.relation.publisher
IEEE
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E104-02 - Forschungsbereich Computational Logic
-
tuw.publication.orgunit
E192-05 - Forschungsbereich Theory and Logic
-
tuw.publisher.doi
10.1109/ISMVL68998.2026.00014
-
dc.description.numberOfPages
6
-
tuw.event.name
56th International Symposium on Multiple-Valued Logic (ISMVL 2026)
en
tuw.event.startdate
19-05-2026
-
tuw.event.enddate
21-05-2026
-
tuw.event.online
On Site
-
tuw.event.place
Sendai
-
tuw.event.country
JP
-
tuw.event.presenter
Baaz, Matthias
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
5
-
wb.sciencebranch.value
95
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.grantfulltext
none
-
item.openairetype
conference paper
-
item.languageiso639-1
en
-
item.fulltext
no Fulltext
-
item.cerifentitytype
Publications
-
crisitem.author.dept
E104-02 - Forschungsbereich Computational Logic
-
crisitem.author.dept
E104-02 - Forschungsbereich Computational Logic
-
crisitem.author.dept
E192-05 - Forschungsbereich Theory and Logic
-
crisitem.author.parentorg
E104 - Institut für Diskrete Mathematik und Geometrie
-
crisitem.author.parentorg
E104 - Institut für Diskrete Mathematik und Geometrie
