scientific article; zbMATH DE number 922613
From MaRDI portal
Publication:4893133
zbMath0862.03015MaRDI QIDQ4893133
Publication date: 25 May 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
axiomatizationDummett's LCinfinite-valued Gödel logicprojection modalitiesrelativizations to truth value sets
Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Intermediate logics (03B55)
Related Items
Non-commutative Łukasiewicz propositional logic ⋮ Fuzzy Horn logic. II. Implicationally defined classes. ⋮ On the classification of first order Gödel logics ⋮ First-order Gödel logics ⋮ Functional completeness of bounded structures of fuzzy logic with wvt-operators ⋮ On very true ⋮ Systems of ordinal fuzzy logic with application to preference modelling ⋮ Truth-depressing hedges and BL-logic ⋮ T-norm-based logics with an independent involutive negation ⋮ From truth degree comparison games to sequents-of-relations calculi for Gödel logic ⋮ The proof by cases property and its variants in structural consequence relations ⋮ NP-containment for the coherence test of assessments of conditional probability: a fuzzy logical approach ⋮ Correspondence analysis and automated proof-searching for first degree entailment ⋮ Axiomatizing the skew Boolean propositional calculus ⋮ 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 ⋮ Weakening Relation Algebras and FL$$^2$$-algebras ⋮ Monadic Fragments of Gödel Logics: Decidability and Undecidability Results ⋮ 40 years of FDE: an introductory overview ⋮ On decidability of concept satisfiability in description logic with product semantics ⋮ Monteiro's algebraic notion of maximal consistent theory for Tarskian logics ⋮ The pursuit of an implication for the logics L3A and L3B ⋮ Qualitative reasoning in a two-layered framework ⋮ On good EQ-algebras ⋮ Two-layered logics for paraconsistent probabilities ⋮ Trakhtenbrot theorem and first-order axiomatic extensions of MTL ⋮ A note on strong axiomatization of Gödel justification logic ⋮ Expanding \(\text{FL}_{ew}\) with a Boolean connective ⋮ Presumptive Reasoning in a Paraconsistent Setting ⋮ Conservative expansions of substructural logics ⋮ Bivalent and other solutions of fuzzy relational equations via linguistic hedges ⋮ Strict core fuzzy logics and quasi-witnessed models ⋮ Algebraic models of deviant modal operators based on De Morgan and Kleene lattices ⋮ \(C_n\mathrm{MV}_m\)-algebras ⋮ Undead argument: the truth-functionality objection to fuzzy theories of vagueness ⋮ The standard completeness of interval-valued monoidal t-norm based logic ⋮ Modal MTL-algebras ⋮ First-order satisfiability in Gödel logics: an NP-complete fragment ⋮ Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics ⋮ Lattice-theoretic properties of algebras of logic ⋮ Residuated fuzzy logics with additional connectives and their validation sets. ⋮ Monotone operators on Gödel logic ⋮ Free algebras, states and duality for the propositional \(\text{Gödel}_{\Delta}\) and drastic product logics ⋮ Variations on the Collapsing Lemma ⋮ A map of dependencies among three-valued logics ⋮ An extension of Stone duality to fuzzy topologies and MV-algebras ⋮ On sets of graded attribute implications with witnessed non-redundancy ⋮ On minimal sets of graded attribute implications ⋮ Fuzzy logic programming reduced to reasoning with attribute implications ⋮ MV-algebras with internal states and probabilistic fuzzy logics ⋮ Functorial representation theorems for MV\(_\Delta\) algebras with additional operators ⋮ Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic ⋮ What is mathematical fuzzy logic ⋮ Logical characterizations of regular equivalence in weighted social networks ⋮ 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 ⋮ On the (fuzzy) logical content of CADIAG-2 ⋮ Universes of fuzzy sets and axiomatizations of fuzzy set theory. I: Model-based and axiomatic approaches ⋮ A proof-theoretical investigation of global intuitionistic (fuzzy) logic ⋮ Adding structure to MV-algebras ⋮ Weakly implicative (fuzzy) logics. I: Basic properties ⋮ Complexity of t-tautologies ⋮ Relational division in rank-aware databases ⋮ Continuous Fraïssé conjecture ⋮ SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability ⋮ Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies ⋮ A Note on Drastic Product Logic ⋮ 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 ⋮ 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. ⋮ Paraconsistent Gödel modal logic ⋮ From semantic games to provability: the case of Gödel logic
