5 citations · 8 across the 2 of their papers we have counts for
3 papers · 1 filter
Testing for Renamability to Classes of Clause Sets
Albert Brandl, Christian G. Fermüller, Gernot Salzer
This paper investigates the problem of testing clause sets for membership in classes known from literature. In particular, we are interested in classes defined via renaming: Is it…
A Game Model for Proofs with Costs
Timo Lang, Carlos Olarte, Elaine Pimentel +1
We look at substructural calculi from a game semantic point of view, guided by certain intuitions about resource conscious and, more specifically, cost conscious reasoning. To this…
Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability
Matthias Baaz, Agata Ciabattoni, Christian G Fermüller
Gödel logic with the projection operator Delta (G_Delta) is an important many-valued as well as intermediate logic. In contrast to classical logic, the validity and the satisfiabil…