\(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation (Q454376): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11225-012-9379-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2016307644
@@ Property / OpenAlex ID: W2016307644 / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of BL-algebras. I: General properties.
@@ Property / cites work: Varieties of BL-algebras. I: General properties. / rank @@
+Normal rank
@@ Property / cites work @@
+Basic hoops: an algebraic study of continuous t-norms
+Normal rank
@@ Property / cites work @@
+Q4263811
@@ Property / cites work: Q4263811 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation in fuzzy logic
@@ Property / cites work: Interpolation in fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type
+Normal rank
@@ Property / cites work @@
+On the structure of hoops
@@ Property / cites work: On the structure of hoops / 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 @@
+Weakly implicative (fuzzy) logics. I: Basic properties
+Normal rank
@@ Property / cites work @@
+Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
+Normal rank
@@ Property / cites work @@
+Quantifier elimination and other model-theoretic properties of BL-algebras
+Normal rank
@@ Property / cites work @@
+A propositional calculus with denumerable matrix
@@ Property / cites work: A propositional calculus with denumerable matrix / rank @@
+Normal rank
@@ Property / cites work @@
+Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
+Normal rank