Structural completeness in many-valued logics with rational constants
From MaRDI portal
fuzzy logic[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=%EF%BF%BD%EF%BF%BDukasiewicz+logic&go=Go ��ukasiewicz logic]quasivarietystructural completenessadmissible rule[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=G%EF%BF%BD%EF%BF%BDdel+logic&go=Go G��del logic]product logicrational Pavelka logic
Recommendations
Cites work
- scientific article; zbMATH DE number 3873295 (Why is no real title available?)
- scientific article; zbMATH DE number 5295430 (Why is no real title available?)
- scientific article; zbMATH DE number 4031761 (Why is no real title available?)
- scientific article; zbMATH DE number 3689291 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 67021 (Why is no real title available?)
- scientific article; zbMATH DE number 3639589 (Why is no real title available?)
- scientific article; zbMATH DE number 1226187 (Why is no real title available?)
- scientific article; zbMATH DE number 1526147 (Why is no real title available?)
- scientific article; zbMATH DE number 1850735 (Why is no real title available?)
- scientific article; zbMATH DE number 3304949 (Why is no real title available?)
- scientific article; zbMATH DE number 3392531 (Why is no real title available?)
- A class of lattices of quasivarities
- A complete many-valued logic with product-conjunction
- A note on axiomatizations of Pavelka-style complete fuzzy logics
- A propositional calculus with denumerable matrix
- Abstract algebraic logic. An introductory textbook
- Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
- Admissibility in finitely generated quasivarieties
- Admissibility of logical inference rules
- Admissible Rules of Lukasiewicz Logic
- Admissible and derivable rules in intuitionistic logic
- Admissible rules and the Leibniz hierarchy
- Admissible rules in the implication-negation fragment of intuitionistic logic
- Algebraic characterizations of variable separation properties
- Algebraic foundations of many-valued reasoning
- Algebraizable logics
- Almost structural completeness; an algebraic approach
- Axiomatization of the infinite-valued predicate calculus
- Axiomatizations of universal classes through infinitary logic
- Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic
- Bases of admissible rules of Łukasiewicz logic
- Categorial characterization of the MacNeille completion
- Completeness theory for propositional logics
- Computational complexity of t-norm based propositional fuzzy logics with rational truth constants
- Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
- Darstellungen und Erweiterungen geordneter Mengen. I.
- Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
- Finitary extensions of the nilpotent minimum logic and (almost) structural completeness
- Finiteness in infinite-valued Łukasiewicz logic
- Fuzzy logic and arithmetical hierarchy
- Fuzzy logic and fuzzy set theory
- Hereditarily structurally complete modal logics
- Hereditarily structurally complete positive logics
- Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity
- Implicit definability of truth constants in Łukasiewicz logic
- Least \(V\)-quasivarieties of MV-algebras
- Metamathematics of fuzzy logic
- 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
- On Product Logic with Truth-constants
- On expansions of WNM t-norm based logics with truth-constants
- On the admissible rules of intuitionistic propositional logic
- On the complexity of validity degrees in Łukasiewicz logic
- On the structural completeness of some pure implicational propositional calculi
- On the structure of semi-groups on a compact manifold with boundary
- Partially Ordered Sets
- Pavelka-style fuzzy logic in retrospect and prospect
- Q-Universal Quasivarieties of Algebras
- Quasivarieties generated by simple MV-algebras
- Singly generated quasivarieties and residuated structures
- Standard completeness of Hájek basic logic and decompositions of BL-chains
- Structural Completeness in Substructural Logics
- Structural completeness in fuzzy logics
- Structural completeness in relevance logics
- Structural completeness of Gödel's and Dummett's propositional calculi
- Super-Łukasiewicz propositional logics
- The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics
- The complexity of admissible rules of Łukasiewicz logic
- The logic of inexact concepts
- Ultraproducts of \(\mathbb{Z}\) with an application to many-valued logics
- Unification in intuitionistic logic
- Unification in some substructural logics of BL-algebras and hoops
- Universal algebra. Fundamentals and selected topics
Cited in
(3)
This page was built for publication: Structural completeness in many-valued logics with rational constants
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2080696)
