Finitary extensions of the nilpotent minimum logic and (almost) structural completeness
From MaRDI portal
Publication:1790605
DOI10.1007/s11225-017-9766-4zbMath1437.03101MaRDI QIDQ1790605
Publication date: 2 October 2018
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-017-9766-4
Related Items
Structural completeness in many-valued logics with rational constants, Projectivity and unification in substructural logics of generalized rotations
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Almost structural completeness; an algebraic approach
- Structural completeness in fuzzy logics
- Structural completeness of Gödel's and Dummett's propositional calculi
- Admissibility of logical inference rules
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Admissibility via natural dualities
- Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
- An Avron rule for fragments of R-mingle
- Admissibility in Finitely Generated Quasivarieties
- On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
- Structural Completeness in Substructural Logics
- Admissible Rules of Lukasiewicz Logic
- Algebraizable logics
- Spectral Duality for Finitely Generated Nilpotent Minimum Algebras, with Applications
- Free nilpotent minimum algebras
