Structural completeness in many-valued logics with rational constants

DOI10.1215/00294527-2022-0021OpenAlexW4312806070MaRDI 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

zbMATH Keywords

fuzzy logicquasivarietyŁukasiewicz logicproduct logicGödel logicadmissible rulestructural completenessrational Pavelka logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Many-valued logic (03B50) Quasivarieties (08C15) Abstract deductive systems (03B22)

Related Items (1)

Rational Pavelka logic: the best among three worlds?

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

This page was built for publication: Structural completeness in many-valued logics with rational constants