An algebraic proof of completeness for monadic fuzzy predicate logic MMTL
From MaRDI portal
Publication:6993387
Cites work
- A Henkin-style proof of completeness for first-order algebraizable logics
- A new axiomatization for involutive monoidal t-norm-based logic
- A proof of standard completeness for Esteva and Godo's logic MTL
- A topological duality for monadic MV-algebras
- Algebraic Analysis of Many Valued Logics
- Algebraizable logics
- Amalgamations of Lattice Ordered Groups
- An algebraic study of the logic \textbf{S5'(BL)}
- Arithmetical complexity of fuzzy predicate logics -- a survey. II.
- Arithmetical interpretations and Kripke frames of predicate modal logic of provability
- Commutative integral bounded residuated lattices with an added involution
- Craig interpolation theorem fails in bi-intuitionistic predicate logic
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
- Fuzzy logic -- a personal perspective
- scientific article; zbMATH DE number 3142898 (Why is no real title available?)
- scientific article; zbMATH DE number 5177806 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 2059955 (Why is no real title available?)
- scientific article; zbMATH DE number 7687781 (Why is no real title available?)
- Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
- Logic for abstract hoop twist-structures
- Metamathematics of fuzzy logic
- Model theory.
- Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic
- Monadic bounded commutative residuated -monoids
- Monadic bounded hoops
- Monadic bounded residuated lattices
- Monadic fuzzy predicate logics
- Monadic GMV-algebras
- Monadic NM-algebras
- Monadic NM-algebras: an algebraic approach to monadic predicate nilpotent minimum logic
- Monadic pseudo BCI-algebras and corresponding logics
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Nonassociative substructural logics and their semilinear extensions: axiomatization and completeness properties
- Observations on the monoidal t-norm logic
- On categorical equivalence of weak monadic residuated distributive lattices and weak monadic c-differential residuated distributive lattices
- On equivalent forms of fuzzy logic systems NM and IMTL
- On fuzzy modal logics \(S5(\mathcal C)\)
- On monadic MV-algebras
- On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
- Propositional quantification in the monadic fragment of intuitionistic logic
- Quantifiers on BL-algebras
- Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic
- Residuated lattices.
- Some types of filters in MTL-algebras
- Structure theorems for idempotent residuated lattices
- Substructural fuzzy logics
- The characterization of monadic logic
- Topological properties of prime filters in MTL-algebras and fuzzy set representations for MTL-algebras
- Topological spaces of monadic MV-algebras
- Towards the Generalization of Mundici’s Γ Functor to IMTL Algebras: The Linearly Ordered Case
- UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS
Cited in
(2)
This page was built for publication: An algebraic proof of completeness for monadic fuzzy predicate logic \(\mathbf{MMTL} \forall\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6993387)
