Author:Matthias Baaz
KeyphrasesGödel logic2, Gödel logics, Herbrand expansions, interpolation, LTL, Lyndon interpolation, monadic fragment, non-recursiveness, ring operator, Skolemization, Łukasiewicz logic. |
![]() | ||||||
| ||||||
Copyright © 2012-2023 easychair.org. All rights reserved. |