Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences
From MaRDI portal
Publication:5262474
DOI10.1093/logcom/exu016zbMath1348.03026MaRDI QIDQ5262474
Arnold Beckmann, Norbert Preining
Publication date: 15 July 2015
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/0574e5eb45145dbe7f81c4974ae4596cafe36898
Related Items
On the classification of first order Gödel logics, Ten problems in Gödel logic, One-variable fragments of intermediate logics over linear frames, On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC