First-order nilpotent minimum logics: first steps

DOI10.1007/s00153-012-0317-4zbMath1278.03052arXiv1103.6025WikidataQ59321735 ScholiaQ59321735MaRDI QIDQ2377356

Matteo Bianchi

Publication date: 28 June 2013

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1103.6025

zbMATH Keywords

decidability; Gödel logic; varieties of lattices; nilpotent minimum logic; many-valued first-order logic

Mathematics Subject Classification ID

03B25: Decidability of theories and sets of sentences

03B50: Many-valued logic

06B20: Varieties of lattices

03C07: Basic properties of first-order languages and structures

Related Items

Unnamed Item, Single chain completeness and some related properties, Trakhtenbrot theorem and first-order axiomatic extensions of MTL, On some questions concerning the axiomatisation of WNM-algebras and their subvarieties

Cites Work

• Unnamed Item
• Unnamed Item
• Probability measures in the logic of nilpotent minimum
• First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
• Arithmetical complexity of fuzzy predicate logics -- a survey. II.
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On the structure of rotation-invariant semigroups
• Triangular norms
• Observations on the monoidal t-norm logic
• Triangular norm based predicate fuzzy logics
• On expansions of WNM t-norm based logics with truth-constants
• First-order Gödel logics
• Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
• Computational complexities of axiomatic extensions of monoidal t-norm based logic
• Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
• A propositional calculus with denumerable matrix
• Monadic Fragments of Gödel Logics: Decidability and Undecidability Results
• On witnessed models in fuzzy logic III - witnessed Gödel logics
• Constructive Logic with Strong Negation as a Substructural Logic
• SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability
• Algebraizable logics
• Gödel Logics – A Survey
• Spectral Duality for Finitely Generated Nilpotent Minimum Algebras, with Applications
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Free nilpotent minimum algebras
• Algebraic Completeness Results for Dummett's LC and Its Extensions
• A non-arithmetical Gödel logic