First-order nilpotent minimum logics: first steps
Nilpotent minimum logic is a t-norm-based logic obtained as an extension of MTL. It shares some common features with Gödel logic, i.e., intuitionistic logic plus prelinearity. In this paper the author investigates some aspects of first-order nilpotent minimum logic starting from analogous results for first-order Gödel logic. He notes that there are several infinite-valued first-order nilpotent minimum logics, and he focuses on four particular cases given by considering different (linearly ordered) algebras of truth-values. He also investigates the finite-valued case. Then, completeness is proved for the finite-valued case, while for the considered infinite-valued logics it is proved that the set of first-order tautologies is not recursively axiomatizable. Generalizing results for Gödel logic, also the monadic case is investigated.
- A non-arithmetical Gödel logic
- A propositional calculus with denumerable matrix
- Algebraic Completeness Results for Dummett's LC and Its Extensions
- Algebraizable logics
- Arithmetical complexity of fuzzy predicate logics -- a survey. II.
- Computational complexities of axiomatic extensions of monoidal t-norm based logic
- Constructive logic with strong negation as a substructural logic
- Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
- First-order Gödel logics
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
- Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
- Free nilpotent minimum algebras
- Gödel logics -- a survey
- scientific article; zbMATH DE number 5295430 (Why is no real title available?)
- scientific article; zbMATH DE number 2068681 (Why is no real title available?)
- Metamathematics of fuzzy logic
- Monadic Fragments of Gödel Logics: Decidability and Undecidability Results
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Observations on the monoidal t-norm logic
- On expansions of WNM t-norm based logics with truth-constants
- On the structure of rotation-invariant semigroups
- On witnessed models in fuzzy logic. III: Witnessed Gödel logics
- Probability measures in the logic of nilpotent minimum
- SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability
- Spectral Duality for Finitely Generated Nilpotent Minimum Algebras, with Applications
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- Triangular norm based predicate fuzzy logics
- Triangular norms
- On some questions concerning the axiomatisation of WNM-algebras and their subvarieties
- Finitary extensions of the nilpotent minimum logic and (almost) structural completeness
- A characterization of truth-functions in the nilpotent minimum logic
- scientific article; zbMATH DE number 5295430 (Why is no real title available?)
- On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
- scientific article; zbMATH DE number 2068681 (Why is no real title available?)
- Nilpotent minimum fuzzy description logics
- Nilpotent Minimum Logic NM and Pretabularity
- Spectral Duality for Finitely Generated Nilpotent Minimum Algebras, with Applications
- scientific article; zbMATH DE number 7536428 (Why is no real title available?)
- scientific article; zbMATH DE number 7687781 (Why is no real title available?)
- Minimal first-order structures
- Single chain completeness and some related properties
- Trakhtenbrot theorem and first-order axiomatic extensions of MTL
- Probability measures in the logic of nilpotent minimum
This page was built for publication: First-order nilpotent minimum logics: first steps
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2377356)
