First-order nilpotent minimum logics: first steps
From MaRDI portal
Publication:2377356
DOI10.1007/s00153-012-0317-4zbMath1278.03052DBLPjournals/aml/Bianchi13arXiv1103.6025OpenAlexW2079144983WikidataQ59321735 ScholiaQ59321735MaRDI QIDQ2377356
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
Decidability of theories and sets of sentences (03B25) Many-valued logic (03B50) Varieties of lattices (06B20) Basic properties of first-order languages and structures (03C07)
Related Items (4)
Trakhtenbrot theorem and first-order axiomatic extensions of MTL ⋮ On some questions concerning the axiomatisation of WNM-algebras and their subvarieties ⋮ Unnamed Item ⋮ Single chain completeness and some related properties
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
This page was built for publication: First-order nilpotent minimum logics: first steps
