Basic hoops: an algebraic study of continuous t-norms
From MaRDI portal
Publication:2462673
Recommendations
Cites work
- A complete many-valued logic with product-conjunction
- A propositional calculus with denumerable matrix
- Algebraic Analysis of Many Valued Logics
- Algebraizable logics
- An algebra related with a propositional calculus
- Brouwerian Semilattices
- Equational classes of relative Stone algebras
- Equationally complete classes of commutative monoids with monus
- scientific article; zbMATH DE number 3131078 (Why is no real title available?)
- scientific article; zbMATH DE number 3875353 (Why is no real title available?)
- scientific article; zbMATH DE number 3819795 (Why is no real title available?)
- scientific article; zbMATH DE number 4021203 (Why is no real title available?)
- scientific article; zbMATH DE number 4035833 (Why is no real title available?)
- scientific article; zbMATH DE number 3677835 (Why is no real title available?)
- scientific article; zbMATH DE number 3724445 (Why is no real title available?)
- scientific article; zbMATH DE number 3726344 (Why is no real title available?)
- scientific article; zbMATH DE number 475196 (Why is no real title available?)
- scientific article; zbMATH DE number 1526147 (Why is no real title available?)
- scientific article; zbMATH DE number 910446 (Why is no real title available?)
- Ideals in universal algebras
- Interpretation of AF C^*-algebras in Łukasiewicz sentential calculus
- Komplementäre Halbgruppen. Axiomatik und Arithmetik
- On a conjecture by Andrzej Wroński for BCK-algebras and subreducts of hoops
- On subtractive varieties. III: From ideals to congruences
- On the structure of hoops
- On the structure of semi-groups on a compact manifold with boundary
- On the structure of varieties with equationally definable principal congruences. I
- On the structure of varieties with equationally definable principal congruences. II
- On the structure of varieties with equationally definable principal congruences. III
- Semi-Boolean lattices
- Some Connections between Residual Finiteness, Finite Embeddability and the Word Problem
- Super-Łukasiewicz implicational logics
- Super-Łukasiewicz propositional logics
- The separation theorem of intuitionist propositional calculus
- Varieties of commutative residuated integral pomonoids and their residuation subreducts
Cited in
(86)- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
- A temporal semantics for basic logic
- Nodal filters in hoop algebras
- On some questions concerning the axiomatisation of WNM-algebras and their subvarieties
- Obituary: Franco Montagna (1948--2015)
- Complexity of some language fragments of fuzzy logics
- Varieties of BL-algebras. I, revisited
- States and internal states on semihoops
- State maps on semihoops
- On the predicate logics of continuous t-norm BL-algebras
- Varieties of BL-algebras. II
- Monadic bounded hoops
- On the structure of hoops
- Splittings in subreducts of hoops
- Projectivity in (bounded) commutative integral residuated lattices
- Construction of some algebras of logics by using intuitionistic fuzzy filters on hoops
- Rotation logics
- Finite model property and varieties of BL-algebras
- Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics
- Fuzzy logics from substructural perspective
- Varieties of BL-algebras. III: Splitting algebras
- Results on equality algebras
- On linear varieties of MTL-algebras
- Splittings in GBL-algebras. I: The general case
- Splittings in GBL-algebras. II: The representable case
- A categorical equivalence for product algebras
- Varieties generated by standard BL-algebras
- Mathematical fuzzy logic as a tool for the treatment of vague information
- Amalgamation property for varieties of BL-algebras generated by one chain with finitely many components
- A short note on hoops and continuous t-norms
- State hoops
- Fuzzy regular relation on hyper hoop-algebras
- Franco Montagna's work on provability logic and many-valued logic
- Hoop twist-structures
- Mathematical Fuzzy Logics
- The variety generated by all the ordinal sums of perfect MV-chains
- Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms
- Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts
- \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation
- Results on hyper hoop-algebras
- Hoops with quasi-valuation maps
- MTL-algebras as rotations of basic hoops
- On the equational characterization of continuous t-norms
- On (semi)topological hoops
- On n ‐contractive fuzzy logics
- n-contractive BL-logics
- Ehoops
- Introduction
- Falling Shadow Theory with Applications in Hoops
- The geometry of discrete \(L\)-algebras
- Varieties of K-lattices
- Varieties of bounded K-lattices
- Ordinal sums: from triangular norms to bi- and multivariate copulas
- Fragments of quasi-Nelson: residuation
- Structural and universal completeness in algebra and logic
- Multipotent GBL-algebras
- Amalgamation property for some varieties of BL-algebras generated by one finite set of BL-chains with finitely many components
- Łukasiewicz fuzzy filters in hoops
- Dokdo sub-hoops and Dokdo filters of hoops
- Constructing a Hoop Using Rough Filters
- Completeness with respect to a chain and universal models in fuzzy logic
- Characterizations of semihoops based on derivations
- Relative ideals in homological categories with an application to MV-algebras
- Almost minimal varieties of commutative residuated lattices
- Study hoop algebras by fuzzy (n-fold) obstinate filters
- Hoops equipped with square roots
- Hoops and domains
- Terms that define nuclei on residuated lattices: a case study of BL-algebras
- Free constructions in hoops via -groups
- Structurally complete finitary extensions of positive Łukasiewicz logic
- Functional description of free algebras in subvarieties of BL-algebras
- Interpolation in Hájek's basic logic
- Quasivarieties of Wajsberg hoops
- Regular and Boolean elements in hoops and constructing Boolean algebras using regular filters
- A complete invariant system for Noetherian BL-algebras and more general L-algebras
- The polyhedral geometry of Wajsberg hoops
- The L-algebras related to prime spectra of Bézout domains and abelian -groups
- Logic for abstract hoop twist-structures
- A generalization of ideals in hoop algebras
- Unification via projectivity in varieties of hoops
- Coherent and ideal actions in ideally exact categories
- Nodes of pseudo-hoops
- Bipolar fuzzy n-fold positive implicative and fantastic filters in hoop algebras with applications to fuzzy logic
- A short note on divisible residuated semilattices
- Varieties of BL-algebras
- Generating the variety of BL-algebras
This page was built for publication: Basic hoops: an algebraic study of continuous t-norms
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2462673)
