Hyperresolution for Gödel logic with truth constants

2019 ◽  
Vol 363 ◽  
pp. 1-65
Author(s):  
Dušan Guller
Keyword(s):  
Gödel Logic

scholarly journals An Algebraic Study of S5-Modal Gödel Logic

Studia Logica ◽  
2021 ◽  
Author(s):  
Diego Castaño ◽  
Cecilia Cimadamore ◽  
José Patricio Díaz Varela ◽  
Laura Rueda
Keyword(s):  
Gödel Logic

Automated Deduction in Gödel Logic

2018 ◽  
Vol 19 (3) ◽  
pp. 1-28
Author(s):  
Dušan Guller
Keyword(s):  
Automated Deduction ◽  
Gödel Logic

scholarly journals Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel Logic

10.29007/bmlf ◽  
2018 ◽  
Author(s):  
Matthias Baaz ◽  
Anela Lolic
Keyword(s):  
Interpolation Property ◽  
Order Logic ◽  
First Order Logic ◽  
First Order ◽  
Gödel Logic

First-order interpolation properties are notoriously hard to determine, even for logics where propositional interpolation is more or less obvious. One of the most prominent examples is first-order G ̈odel logic. Lyndon interpolation is a strengthening of the interpolation property in the sense that propositional variables or predicate symbols are only allowed to occur positively (negatively) in the interpolant if they occur positively (negatively) on both sides of the implication. Note that Lyndon interpolation is difficult to establish for first-order logics as most proof-theoretic methods fail. In this paper we provide general derivability conditions for a first-order logic to admit Lyndon interpolation for the prenex ⊃ prenex fragment and apply the arguments to the prenex ⊃ prenex fragment of first-order Go ̈del logic.

A Non-hyperarithmetical Gödel Logic

2021 ◽  
pp. 1-8
Author(s):  
Juan Pablo Aguilera ◽  
Jan Bydzovsky ◽  
David Fernández-Duque
Keyword(s):  
Gödel Logic

A cut-free calculus for second-order Gödel logic

2015 ◽  
Vol 276 ◽  
pp. 1-30 ◽  
Author(s):  
Ori Lahav ◽  
Arnon Avron
Keyword(s):  
Second Order ◽  
Gödel Logic
Sign in / Sign up

Export Citation Format

Share Document