Structural completeness in many-valued logics with rational constants (Q2080696): Difference between revisions

@@ Property / author @@
+Joan Gispert i Brasó
@@ Property / author: Joan Gispert i Brasó / rank @@
+Normal rank
@@ Property / author @@
+Michał M. Stronkowski
@@ Property / author: Michał M. Stronkowski / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4312806070
@@ Property / OpenAlex ID: W4312806070 / rank @@
+Normal rank
@@ Property / cites work @@
+Q-Universal Quasivarieties of Algebras
@@ Property / cites work: Q-Universal Quasivarieties of Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Finiteness in infinite-valued Łukasiewicz logic
@@ Property / cites work: Finiteness in infinite-valued Łukasiewicz logic / rank @@
+Normal rank
@@ Property / cites work @@
+Categorial characterization of the MacNeille completion
+Normal rank
@@ Property / cites work @@
+Pavelka-style fuzzy logic in retrospect and prospect
+Normal rank
@@ Property / cites work @@
+Q4011709
@@ Property / cites work: Q4011709 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3093852
@@ Property / cites work: Q3093852 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Darstellungen und Erweiterungen geordneter Mengen. I.
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic foundations of many-valued reasoning
@@ Property / cites work: Algebraic foundations of many-valued reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4512929
@@ Property / cites work: Q4512929 / rank @@
+Normal rank
@@ Property / cites work @@
+Standard completeness of Hájek basic logic and decompositions of BL-chains
+Normal rank
@@ Property / cites work @@
+A note on axiomatizations of Pavelka-style complete fuzzy logics
+Normal rank
@@ Property / cites work @@
+Structural completeness in fuzzy logics
@@ Property / cites work: Structural completeness in fuzzy logics / rank @@
+Normal rank
@@ Property / cites work @@
+Admissible rules in the implication-negation fragment of intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity
+Normal rank
@@ Property / cites work @@
+Q4198474
@@ Property / cites work: Q4198474 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3772270
@@ Property / cites work: Q3772270 / rank @@
+Normal rank
@@ Property / cites work @@
+HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS
+Normal rank
@@ Property / cites work @@
+Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
+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 @@
+Q3505079
@@ Property / cites work: Q3505079 / 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 @@
+Q3340835
@@ Property / cites work: Q3340835 / rank @@
+Normal rank
@@ Property / cites work @@
+Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
+Normal rank
@@ Property / cites work @@
+The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics
+Normal rank
@@ Property / cites work @@
+Q3508715
@@ Property / cites work: Q3508715 / rank @@
+Normal rank
@@ Property / cites work @@
+Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
+Normal rank
@@ Property / cites work @@
+On expansions of WNM t-norm based logics with truth-constants
+Normal rank
@@ Property / cites work @@
+Q3185647
@@ Property / cites work: Q3185647 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in intuitionistic logic
@@ Property / cites work: Unification in intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4787877
@@ Property / cites work: Q4787877 / rank @@
+Normal rank
@@ Property / cites work @@
+Least \(V\)-quasivarieties of MV-algebras
@@ Property / cites work: Least \(V\)-quasivarieties of MV-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic
+Normal rank
@@ Property / cites work @@
+Finitary extensions of the nilpotent minimum logic and (almost) structural completeness
+Normal rank
@@ Property / cites work @@
+Ultraproducts of \(\mathbb{Z}\) with an application to many-valued logics
+Normal rank
@@ Property / cites work @@
+Quasivarieties generated by simple MV-algebras
@@ Property / cites work: Quasivarieties generated by simple MV-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of inexact concepts
@@ Property / cites work: The logic of inexact concepts / rank @@
+Normal rank
@@ Property / cites work @@
+Q4220413
@@ Property / cites work: Q4220413 / rank @@
+Normal rank
@@ Property / cites work @@
+A class of lattices of quasivarities
@@ Property / cites work: A class of lattices of quasivarities / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586259
@@ Property / cites work: Q5586259 / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy logic and arithmetical hierarchy
@@ Property / cites work: Fuzzy logic and arithmetical hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Computational complexity of t-norm based propositional fuzzy logics with rational truth constants
+Normal rank
@@ Property / cites work @@
+A complete many-valued logic with product-conjunction
+Normal rank
@@ Property / cites work @@
+Implicit definability of truth constants in Łukasiewicz logic
+Normal rank
@@ Property / cites work @@
+On the complexity of validity degrees in Łukasiewicz logic
+Normal rank
@@ Property / cites work @@
+Axiomatization of the infinite-valued predicate calculus
+Normal rank
@@ Property / cites work @@
+Q3884021
@@ Property / cites work: Q3884021 / rank @@
+Normal rank
@@ Property / cites work @@
+On the admissible rules of intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Admissible Rules of Lukasiewicz Logic
@@ Property / cites work: Admissible Rules of Lukasiewicz Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Bases of Admissible Rules of Lukasiewicz Logic
@@ Property / cites work: Bases of Admissible Rules of Lukasiewicz Logic / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of admissible rules of Lukasiewicz logic
+Normal rank
@@ Property / cites work @@
+Q3505077
@@ Property / cites work: Q3505077 / rank @@
+Normal rank
@@ Property / cites work @@
+Super-Łukasiewicz propositional logics
@@ Property / cites work: Super-Łukasiewicz propositional logics / rank @@
+Normal rank
@@ Property / cites work @@
+Partially Ordered Sets
@@ Property / cites work: Partially Ordered Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q5661940
@@ Property / cites work: Q5661940 / rank @@
+Normal rank
@@ Property / cites work @@
+Admissibility in Finitely Generated Quasivarieties
+Normal rank
@@ Property / cites work @@
+Singly generated quasivarieties and residuated structures
+Normal rank
@@ Property / cites work @@
+On the structure of semi-groups on a compact manifold with boundary
+Normal rank
@@ Property / cites work @@
+Structural Completeness in Substructural Logics
@@ Property / cites work: Structural Completeness in Substructural Logics / rank @@
+Normal rank
@@ Property / cites work @@
+On Fuzzy Logic I Many‐valued rules of inference
@@ Property / cites work: On Fuzzy Logic I Many‐valued rules of inference / rank @@
+Normal rank
@@ Property / cites work @@
+On Fuzzy Logic II. Enriched residuated lattices and semantics of propositional calculi
+Normal rank
@@ Property / cites work @@
+On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi
+Normal rank
@@ Property / cites work @@
+Completeness theory for propositional logics
@@ Property / cites work: Completeness theory for propositional logics / rank @@
+Normal rank
@@ Property / cites work @@
+On the structural completeness of some pure implicational propositional calculi
+Normal rank
@@ Property / cites work @@
+Admissible rules and the Leibniz hierarchy
@@ Property / cites work: Admissible rules and the Leibniz hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Structural completeness in relevance logics
@@ Property / cites work: Structural completeness in relevance logics / rank @@
+Normal rank
@@ Property / cites work @@
+Admissible and derivable rules in intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Hereditarily structurally complete modal logics
@@ Property / cites work: Hereditarily structurally complete modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Admissibility of logical inference rules
@@ Property / cites work: Admissibility of logical inference rules / rank @@
+Normal rank
@@ Property / cites work @@
+On Product Logic with Truth-constants
@@ Property / cites work: On Product Logic with Truth-constants / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizations of universal classes through infinitary logic
+Normal rank
@@ Property / cites work @@
+Fuzzy logic and fuzzy set theory
@@ Property / cites work: Fuzzy logic and fuzzy set theory / rank @@
+Normal rank