Uniform proofs of standard completeness for extensions of first-order MTL (Q744987): Difference between revisions

@@ Property / Wikidata QID @@
+Q113863216
@@ Property / Wikidata QID: Q113863216 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AxiomCalc
@@ Property / describes a project that uses: AxiomCalc / 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.1016/j.tcs.2015.07.014
+Normal rank
@@ Property / OpenAlex ID @@
+W882070095
@@ Property / OpenAlex ID: W882070095 / rank @@
+Normal rank
@@ Property / cites work @@
+Hypersequents, logical consequence and intermediate logics for concurrency
+Normal rank
@@ Property / cites work @@
+A constructive analysis of <b>RM</b>
@@ Property / cites work: A constructive analysis of <b>RM</b> / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753673
@@ Property / cites work: Q2753673 / rank @@
+Normal rank
@@ Property / cites work @@
+Standard Completeness for Extensions of MTL: An Automated Approach
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic proof theory for substructural logics: cut-elimination and completions
+Normal rank
@@ Property / cites work @@
+MacNeille completions of FL-algebras
@@ Property / cites work: MacNeille completions of FL-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Expanding the Realm of Systematic Proof Theory
@@ Property / cites work: Expanding the Realm of Systematic Proof Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Density Elimination and Rational Completeness for First-Order Logics
+Normal rank
@@ Property / cites work @@
+Density elimination
@@ Property / cites work: Density elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Q4825702
@@ Property / cites work: Q4825702 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5406033
@@ Property / cites work: Q5406033 / rank @@
+Normal rank
@@ Property / cites work @@
+Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
+Normal rank
@@ Property / cites work @@
+On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
+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 @@
+A proof of standard completeness for Esteva and Godo's logic MTL
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Alternative proof of standard completeness theorem for MTL
+Normal rank
@@ Property / cites work @@
+Standard completeness theorem for \(\Pi\)MTL
@@ Property / cites work: Standard completeness theorem for \(\Pi\)MTL / rank @@
+Normal rank
@@ Property / cites work @@
+On <i>n</i> ‐contractive fuzzy logics
@@ Property / cites work: On <i>n</i> ‐contractive fuzzy logics / rank @@
+Normal rank
@@ Property / cites work @@
+Substructural fuzzy logics
@@ Property / cites work: Substructural fuzzy logics / rank @@
+Normal rank
@@ Property / cites work @@
+Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
+Normal rank
@@ Property / cites work @@
+On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
+Normal rank
@@ Property / cites work @@
+Logics without the contraction rule
@@ Property / cites work: Logics without the contraction rule / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:744987