Uniform proofs of standard completeness for extensions of first-order MTL
From MaRDI portal
(Redirected from Publication:744987)
Recommendations
- Standard completeness for extensions of MTL: an automated approach
- A proof of standard completeness for Esteva and Godo's logic MTL
- Alternative proof of standard completeness theorem for MTL
- A note on standard completeness for some extensions of uninorm logic
- Standard completeness theorem for \(\Pi\)MTL
- A proof of the standard completeness for the involutive uninorm logic
- scientific article; zbMATH DE number 7333179
- Some Turing-complete extensions of first-order logic
- scientific article; zbMATH DE number 5238362
- Completeness theorems for first-order logic analysed in constructive type theory
Cites work
- scientific article; zbMATH DE number 1670477 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 2113968 (Why is no real title available?)
- scientific article; zbMATH DE number 6276267 (Why is no real title available?)
- A constructive analysis of RM
- A proof of standard completeness for Esteva and Godo's logic MTL
- Algebraic proof theory for substructural logics: cut-elimination and completions
- Alternative proof of standard completeness theorem for MTL
- Density Elimination and Rational Completeness for First-Order Logics
- Density elimination
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Expanding the Realm of Systematic Proof Theory
- Hypersequents, logical consequence and intermediate logics for concurrency
- Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
- Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
- Logics without the contraction rule
- MacNeille completions of FL-algebras
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- On n ‐contractive fuzzy logics
- On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
- On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
- Residuated lattices. An algebraic glimpse at substructural logics
- Standard completeness for extensions of MTL: an automated approach
- Standard completeness theorem for \(\Pi\)MTL
- Substructural fuzzy logics
Cited in
(10)- Density revisited
- Supersound many-valued logics and Dedekind-MacNeille completions
- Trakhtenbrot theorem and first-order axiomatic extensions of MTL
- scientific article; zbMATH DE number 7333179 (Why is no real title available?)
- Compositional meaning in logic
- A note on standard completeness for some extensions of uninorm logic
- Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic
- A proof of standard completeness for Esteva and Godo's logic MTL
- On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions
- Standard completeness for extensions of MTL: an automated approach
This page was built for publication: Uniform proofs of standard completeness for extensions of first-order MTL
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q744987)
