Ultravaluations and their Applications in Classical Propositional Logic
Krzysztof Aleksander Krawczyk · 2023
The talk will be devoted to the notion of ultravaluation introduced in our recent paper published in Logica Universalis. We will focus on its applications for CPL which are analogous to the basic results in FOL achieved with the use of the well-known ultraproduct construction.