{"cited_by_count":672105,"description":"This cluster of papers explores the intersection of fuzzy logic, residuated lattices, t-norms, MV-algebras, quantum logic, and automata theory. It delves into mathematical fuzzy logic, modal logics, and algebraic semantics within the context of probability theory.","display_name":"Advanced Algebra and Logic","domain_id":"3","external_ids":{"openalex":"https://openalex.org/T11727","wikipedia":"https://en.wikipedia.org/wiki/Fuzzy_logic"},"field_id":"17","id":"T11727","keywords":[{"display_name":"lattice theory","id":"lattice-theory","score":0.5044,"url":"https://openalex.org/keywords/lattice-theory"},{"display_name":"algebraic logic","id":"algebraic-logic","score":0.7787,"url":"https://openalex.org/keywords/algebraic-logic"},{"display_name":"many-valued logic","id":"many-valued-logic","score":0.4464,"url":"https://openalex.org/keywords/many-valued-logic"},{"display_name":"algebraic structures","id":"algebraic-structures","score":0.2258,"url":"https://openalex.org/keywords/algebraic-structures"},{"display_name":"Boolean algebra","id":"boolean-algebra","score":0.2522,"url":"https://openalex.org/keywords/boolean-algebra"},{"display_name":"varieties of algebras","id":"varieties-of-algebras","score":0.6955,"url":"https://openalex.org/keywords/varieties-of-algebras"},{"display_name":"universal algebra","id":"universal-algebra","score":0.5547,"url":"https://openalex.org/keywords/universal-algebra"},{"display_name":"t-norms","id":"t-norms","score":0.5884,"url":"https://openalex.org/keywords/t-norms"},{"display_name":"intuitionistic logic","id":"intuitionistic-logic","score":0.3164,"url":"https://openalex.org/keywords/intuitionistic-logic"},{"display_name":"algebraic semantics","id":"algebraic-semantics","score":0.5693,"url":"https://openalex.org/keywords/algebraic-semantics"},{"display_name":"quantum logic","id":"quantum-logic","score":0.4383,"url":"https://openalex.org/keywords/quantum-logic"},{"display_name":"distributive lattices","id":"distributive-lattices","score":0.5173,"url":"https://openalex.org/keywords/distributive-lattices"},{"display_name":"residuated lattices","id":"residuated-lattices","score":0.9298,"url":"https://openalex.org/keywords/residuated-lattices"},{"display_name":"sequent calculus","id":"sequent-calculus","score":0.2664,"url":"https://openalex.org/keywords/sequent-calculus"},{"display_name":"MV-algebras","id":"mv-algebras","score":0.9601,"url":"https://openalex.org/keywords/mv-algebras"},{"display_name":"paraconsistent logic","id":"paraconsistent-logic","score":0.3485,"url":"https://openalex.org/keywords/paraconsistent-logic"},{"display_name":"non-classical logic","id":"non-classical-logic","score":0.3011,"url":"https://openalex.org/keywords/non-classical-logic"},{"display_name":"fuzzy relations","id":"fuzzy-relations","score":0.2753,"url":"https://openalex.org/keywords/fuzzy-relations"},{"display_name":"BCK-algebras","id":"bck-algebras","score":0.8393,"url":"https://openalex.org/keywords/bck-algebras"},{"display_name":"complete lattices","id":"complete-lattices","score":0.446,"url":"https://openalex.org/keywords/complete-lattices"},{"display_name":"ternary logic","id":"three-valued-logic","score":0.2485,"url":"https://openalex.org/keywords/three-valued-logic"},{"display_name":"orthomodular lattices","id":"orthomodular-lattices","score":0.7767,"url":"https://openalex.org/keywords/orthomodular-lattices"},{"display_name":"\u0141ukasiewicz logic","id":"ukasiewicz-logic","score":0.8135,"url":"https://openalex.org/keywords/ukasiewicz-logic"},{"display_name":"congruence lattices","id":"congruence-lattices","score":0.6995,"url":"https://openalex.org/keywords/congruence-lattices"},{"display_name":"lattice-ordered groups","id":"lattice-ordered-groups","score":0.7813,"url":"https://openalex.org/keywords/lattice-ordered-groups"}],"legacy_keywords":["Fuzzy Logic","Residuated Lattices","t-norms","MV-algebras","Quantum Logic","Automata Theory","Mathematical Fuzzy Logic","Modal Logics","Algebraic Semantics","Probability Theory"],"openalex_id":"https://openalex.org/T11727","source_created_date":"2024-01-23T15:27:11","source_updated_date":"2026-10-17T03:02:00","subfield_id":"1703","url":"/topics/T11727","works_api_url":"https://api.openalex.org/works?filter=topics.id:T11727","works_count":78822,"label":"Advanced Algebra and Logic","provider":"openalex","revision":"a44f391ce382f2e0","taxonomy_revision":"f050b5d4780b1289","title":"Advanced Algebra and Logic","kind":"topic-directory","aeo_cohort":"topic-directory","catalogue_revision":"f050b5d4780b1289","numeric_address":"36183041244302559","address_version":"morton4x16-v1","coordinates":[3,17,1703,11727],"answer_status":"Directory metadata; local answer requires separate source review","truth_status":"Subject descriptor, not a factual answer or a demonstrated knowledge gap","reviewed_answer":null}