Finitary extensions of the nilpotent minimum logic and (almost) structural completeness (Q1790605): Difference between revisions

@@ Property / DOI @@
-.1007/s11225-017-9766-4
@@ Property / DOI: 10.1007/s11225-017-9766-4 / rank @@
-Normal rank
@@ Property / author @@
-Joan Gispert i Brasó
@@ Property / author: Joan Gispert i Brasó / rank @@
-Normal rank
@@ Property / author @@
+Joan Gispert i Brasó
@@ Property / author: Joan Gispert i Brasó / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11225-017-9766-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2767213830
@@ Property / OpenAlex ID: W2767213830 / rank @@
+Normal rank
@@ Property / cites work @@
+Spectral Duality for Finitely Generated Nilpotent Minimum Algebras, with Applications
+Normal rank
@@ Property / cites work @@
+Q4011709
@@ Property / cites work: Q4011709 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Free nilpotent minimum algebras
@@ Property / cites work: Free nilpotent minimum algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Admissibility via natural dualities
@@ Property / cites work: Admissibility via natural dualities / rank @@
+Normal rank
@@ Property / cites work @@
+Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
+Normal rank
@@ Property / cites work @@
+Structural completeness in fuzzy logics
@@ Property / cites work: Structural completeness in fuzzy logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5411485
@@ Property / cites work: Q5411485 / rank @@
+Normal rank
@@ Property / cites work @@
+Almost structural completeness; an algebraic approach
+Normal rank
@@ Property / cites work @@
+Structural completeness of Gödel's and Dummett's propositional calculi
+Normal rank
@@ Property / cites work @@
+Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
+Normal rank
@@ Property / cites work @@
+Q4465174
@@ Property / cites work: Q4465174 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4200260
@@ Property / cites work: Q4200260 / rank @@
+Normal rank
@@ Property / cites work @@
+Admissible Rules of Lukasiewicz Logic
@@ Property / cites work: Admissible Rules of Lukasiewicz Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4836218
@@ Property / cites work: Q4836218 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3229402
@@ Property / cites work: Q3229402 / rank @@
+Normal rank
@@ Property / cites work @@
+An Avron rule for fragments of R-mingle
@@ Property / cites work: An Avron rule for fragments of R-mingle / rank @@
+Normal rank
@@ Property / cites work @@
+Admissibility in Finitely Generated Quasivarieties
+Normal rank
@@ Property / cites work @@
+On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
+Normal rank
@@ Property / cites work @@
+Structural Completeness in Substructural Logics
@@ Property / cites work: Structural Completeness in Substructural Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Admissibility of logical inference rules
@@ Property / cites work: Admissibility of logical inference rules / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S11225-017-9766-4
@@ Property / DOI: 10.1007/S11225-017-9766-4 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1790605