Uniform proofs of standard completeness for extensions of first-order MTL
From MaRDI portal
Publication:744987
DOI10.1016/J.TCS.2015.07.014zbMath1331.03025OpenAlexW882070095WikidataQ113863216 ScholiaQ113863216MaRDI QIDQ744987
Publication date: 12 October 2015
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2015.07.014
Related Items (3)
Compositional meaning in logic ⋮ Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic ⋮ Density revisited
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Algebraic proof theory for substructural logics: cut-elimination and completions
- MacNeille completions of FL-algebras
- Alternative proof of standard completeness theorem for MTL
- Residuated lattices. An algebraic glimpse at substructural logics
- Density elimination
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Hypersequents, logical consequence and intermediate logics for concurrency
- A proof of standard completeness for Esteva and Godo's logic MTL
- On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
- Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
- Standard completeness theorem for \(\Pi\)MTL
- Standard Completeness for Extensions of MTL: An Automated Approach
- On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
- Expanding the Realm of Systematic Proof Theory
- Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
- Logics without the contraction rule
- A constructive analysis of RM
- On n ‐contractive fuzzy logics
- Substructural fuzzy logics
- Density Elimination and Rational Completeness for First-Order Logics
This page was built for publication: Uniform proofs of standard completeness for extensions of first-order MTL
