Three complexity problems in quantified fuzzy logic
From MaRDI portal
Publication:5951916
DOI10.1023/A:1011958407631zbMath0985.03014OpenAlexW1580732237WikidataQ56083688 ScholiaQ56083688MaRDI QIDQ5951916
Publication date: 13 May 2002
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1011958407631
Related Items
A non-hyperarithmetical Gödel logic ⋮ Vagueness and Formal Fuzzy Logic: Some Criticisms ⋮ Provability in predicate product logic ⋮ Mathematical Fuzzy Logics ⋮ Herbrand Theorems and Skolemization for Prenex Fuzzy Logics ⋮ A triangular norm-based fuzzy predicate logic ⋮ Obituary: Franco Montagna (1948--2015) ⋮ A note on the first‐order logic of complete BL‐chains ⋮ Complex Fuzzy Sets and Complex Fuzzy Logic an Overview of Theory and Applications ⋮ On arithmetical complexity of fragments of prominent fuzzy predicate logics ⋮ SOME (NON)TAUTOLOGIES OF ŁUKASIEWICZ AND PRODUCT LOGIC ⋮ On the predicate logics of continuous t-norm BL-algebras ⋮ Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions ⋮ Triangular norm based predicate fuzzy logics ⋮ Arithmetical complexity of fuzzy predicate logics -- a survey. II. ⋮ On theories and models in fuzzy predicate logics ⋮ A HENKIN-STYLE PROOF OF COMPLETENESS FOR FIRST-ORDER ALGEBRAIZABLE LOGICS ⋮ Arithmetical complexity of fuzzy predicate logics -- a survey ⋮ Effectiveness and multivalued logics
