scientific article; zbMATH DE number 922613
From MaRDI portal
Publication:4893133
Recommendations
Cited in
(95)- Continuous Fraïssé conjecture
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Note on witnessed Gödel logics with Delta
- Commutative integral bounded residuated lattices with an added involution
- A discriminator variety of Gödel algebras with operators arising in quantum computation
- Infinitary logics and 0-1 laws
- On very true
- Systems of ordinal fuzzy logic with application to preference modelling
- Residuated fuzzy logics with additional connectives and their validation sets.
- On the classification of first order Gödel logics
- On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief
- Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty
- Closure structures parameterized by systems of isotone Galois connections
- 40 years of FDE: an introductory overview
- The pursuit of an implication for the logics L3A and L3B
- Expanding \(\text{FL}_{ew}\) with a Boolean connective
- \(C_n\mathrm{MV}_m\)-algebras
- Undead argument: the truth-functionality objection to fuzzy theories of vagueness
- Free algebras, states and duality for the propositional \(\text{Gödel}_{\Delta}\) and drastic product logics
- On sets of graded attribute implications with witnessed non-redundancy
- A proof-theoretical investigation of global intuitionistic (fuzzy) logic
- Logical characterizations of regular equivalence in weighted social networks
- Paraconsistent Gödel modal logic
- From semantic games to provability: the case of Gödel logic
- From truth degree comparison games to sequents-of-relations calculi for Gödel logic
- A note on strong axiomatization of Gödel justification logic
- Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics
- On the role of logical connectives for primality and functional completeness of algebras of logics
- Triangular norm based predicate fuzzy logics
- On expansions of WNM t-norm based logics with truth-constants
- Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
- Fuzzy logics with an additional involutive negation
- Relational division in rank-aware databases
- First-order Gödel logics
- Modal MTL-algebras
- Lattice-theoretic properties of algebras of logic
- Monotone operators on Gödel logic
- What is mathematical fuzzy logic
- Universes of fuzzy sets and axiomatizations of fuzzy set theory. I: Model-based and axiomatic approaches
- Weakly implicative (fuzzy) logics. I: Basic properties
- Mathematical fuzzy logic as a tool for the treatment of vague information
- Partial algebras for Łukasiewicz logics and its extensions
- Fuzzy Horn logic. I. Proof theory.
- Correspondence analysis and automated proof-searching for first degree entailment
- Free and projective bimodal symmetric Gödel algebras
- Computing Minimal Axiomatizations in Godel Propositional Logic
- Variations on the collapsing lemma
- Monadic Fragments of Gödel Logics: Decidability and Undecidability Results
- SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability
- The proof by cases property and its variants in structural consequence relations
- On good EQ-algebras
- Bivalent and other solutions of fuzzy relational equations via linguistic hedges
- Algebraic models of deviant modal operators based on De Morgan and Kleene lattices
- The standard completeness of interval-valued monoidal t-norm based logic
- Gödel logics -- a survey
- A map of dependencies among three-valued logics
- Weakening Relation Algebras and FL^2-algebras
- A Note on Drastic Product Logic
- On minimal sets of graded attribute implications
- Fuzzy logic programming reduced to reasoning with attribute implications
- Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic
- Functorial representation theorems for MV\(_\Delta\) algebras with additional operators
- Adding structure to MV-algebras
- Complexity of t-tautologies
- On decidability of concept satisfiability in description logic with product semantics
- Monteiro's algebraic notion of maximal consistent theory for Tarskian logics
- Qualitative reasoning in a two-layered framework
- Two-layered logics for paraconsistent probabilities
- Presumptive Reasoning in a Paraconsistent Setting
- Conservative expansions of substructural logics
- Strict core fuzzy logics and quasi-witnessed models
- First-order satisfiability in Gödel logics: an NP-complete fragment
- Many-valued coalgebraic modal logic: one-step completeness and finite model property
- Many-valued coalgebraic logic over semi-primal varieties
- An extension of Stone duality to fuzzy topologies and MV-algebras
- Towards a \(\Delta\)-based metric framework for \(\mathrm{NM}_\Delta\): \(\Delta\) truth degree and \(\Delta\) logic metric space
- Crisp bi-Gödel modal logic and its paraconsistent expansion
- A new completeness proof at the propositional level for mbC and some of its extensions
- Fuzzy bi-Gödel modal logic and its paraconsistent relatives
- Minimizing fuzzy interpretations in fuzzy description logics by using crisp bisimulations
- On approximation of lattice-valued functions using lattice integral transforms
- Super-Łukasiewicz logics expanded by
- Two-layered logics for probabilities and belief functions over Belnap-Dunn logic
- Recovery operators in quasi-Nelson logic: the prelinear case
- Topological characterizations of logic theories and structural analysis of logic metric space in NM_ n-valued system
- Non-commutative Łukasiewicz propositional logic
- Fuzzy Horn logic. II. Implicationally defined classes.
- Functional completeness of bounded structures of fuzzy logic with wvt-operators
- Truth-depressing hedges and BL-logic
- T-norm-based logics with an independent involutive negation
- NP-containment for the coherence test of assessments of conditional probability: a fuzzy logical approach
- Axiomatizing the skew Boolean propositional calculus
- Trakhtenbrot theorem and first-order axiomatic extensions of MTL
- MV-algebras with internal states and probabilistic fuzzy logics
- On the (fuzzy) logical content of CADIAG-2
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4893133)
