Structural completeness in many-valued logics with rational constants
From MaRDI portal
Publication:2080696
DOI10.1215/00294527-2022-0021MaRDI QIDQ2080696
Zuzana Haniková, Tommaso Moraschini, Joan Gispert i Brasó, Michał M. Stronkowski
Publication date: 10 October 2022
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2108.03049
fuzzy logic; quasivariety; Łukasiewicz logic; product logic; Gödel logic; admissible rule; structural completeness; rational Pavelka logic
03B52: Fuzzy logic; logic of vagueness
03B50: Many-valued logic
08C15: Quasivarieties
03B22: Abstract deductive systems
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Almost structural completeness; an algebraic approach
- Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity
- Structural completeness in relevance logics
- Admissible rules in the implication-negation fragment of intuitionistic logic
- Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic
- On the structure of semi-groups on a compact manifold with boundary
- Standard completeness of Hájek basic logic and decompositions of BL-chains
- Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
- Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
- Structural completeness in fuzzy logics
- A class of lattices of quasivarities
- Structural completeness of Gödel's and Dummett's propositional calculi
- Ultraproducts of \(\mathbb{Z}\) with an application to many-valued logics
- Metamathematics of fuzzy logic
- Admissibility of logical inference rules
- Fuzzy logic and fuzzy set theory
- Quasivarieties generated by simple MV-algebras
- Axiomatizations of universal classes through infinitary logic
- A note on axiomatizations of Pavelka-style complete fuzzy logics
- Least \(V\)-quasivarieties of MV-algebras
- Finitary extensions of the nilpotent minimum logic and (almost) structural completeness
- Algebraic foundations of many-valued reasoning
- A complete many-valued logic with product-conjunction
- Fuzzy logic and arithmetical hierarchy
- Finiteness in infinite-valued Łukasiewicz logic
- Pavelka-style fuzzy logic in retrospect and prospect
- On the complexity of validity degrees in Łukasiewicz logic
- On expansions of WNM t-norm based logics with truth-constants
- Implicit definability of truth constants in Łukasiewicz logic
- Completeness theory for propositional logics
- Admissible rules and the Leibniz hierarchy
- Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
- Computational complexity of t-norm based propositional fuzzy logics with rational truth constants
- Categorial characterization of the MacNeille completion
- The logic of inexact concepts
- On the structural completeness of some pure implicational propositional calculi
- On the admissible rules of intuitionistic propositional logic
- Admissibility in Finitely Generated Quasivarieties
- Bases of Admissible Rules of Lukasiewicz Logic
- A propositional calculus with denumerable matrix
- Structural Completeness in Substructural Logics
- Admissible Rules of Lukasiewicz Logic
- Algebraizable logics
- On Fuzzy Logic I Many‐valued rules of inference
- On Fuzzy Logic II. Enriched residuated lattices and semantics of propositional calculi
- On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi
- Super-Łukasiewicz propositional logics
- Unification in intuitionistic logic
- Admissible and derivable rules in intuitionistic logic
- Q-Universal Quasivarieties of Algebras
- Hereditarily structurally complete modal logics
- HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS
- Singly generated quasivarieties and residuated structures
- The complexity of admissible rules of Lukasiewicz logic
- Axiomatization of the infinite-valued predicate calculus
- On Product Logic with Truth-constants
- Darstellungen und Erweiterungen geordneter Mengen. I.
- Partially Ordered Sets
- The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics