On the complexity of validity degrees in Łukasiewicz logic
type: Item
instance of: scholarly article
title: On the complexity of validity degrees in Łukasiewicz logic
DOI: 10.1007/978-3-030-51466-2_15
author: Zuzana Haniková
publication date: 2022-12-16T00:00:00Z
Mathematics Subject Classification ID: 68Qxx
zbMATH DE Number: 7633506
MaRDI profile type: Publication
full work available at URL: 978-3-030-51466-2 15
OpenAlex ID: W3037675099
cites work: An asymptotically tight bound on countermodels for Łukasiewicz logic
cites work: Finiteness in infinite-valued Łukasiewicz logic
cites work: Q4450452
cites work: Pavelka-style fuzzy logic in retrospect and prospect
cites work: Algebraizable logics
cites work: Algebraic foundations of many-valued reasoning
cites work: A note on axiomatizations of Pavelka-style complete fuzzy logics
cites work: Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic
cites work: Q5406037
cites work: Q4787877
cites work: The logic of inexact concepts
cites work: Metamathematics of fuzzy logic
cites work: Computational complexity of t-norm based propositional fuzzy logics with rational truth constants
cites work: Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic
cites work: Implicit definability of truth constants in Łukasiewicz logic
cites work: Term satisfiability in \(\mathrm{FL}_{\mathrm{ew}}\)-algebras
cites work: Admissible Rules of Lukasiewicz Logic
cites work: The complexity of admissible rules of Lukasiewicz logic
cites work: The complexity of optimization problems
cites work: A theorem about infinite-valued sentential logic
cites work: Mapping Abelian \(\ell\)-groups with strong unit one-one into MV algebras
cites work: Satisfiability in many-valued sentential logic is NP-complete
cites work: Advanced Łukasiewicz calculus and MV-algebras
cites work: Resolution and model building in the infinite-valued calculus of Łukasiewicz
cites work: On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi
cites work: Q4694140
cites work: Cyclic Elements in MV‐Algebras and Post Algebras
description: scientific article; zbMATH DE number 7633506