Uniform proofs of standard completeness for extensions of first-order MTL
From MaRDI portal
Publication:744987
DOI10.1016/J.TCS.2015.07.014zbMATH Open1331.03025OpenAlexW882070095WikidataQ113863216 ScholiaQ113863216MaRDI QIDQ744987FDOQ744987
Authors: Paolo Baldi, Agata Ciabattoni 
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
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
- Standard completeness for extensions of MTL: an automated approach
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Title not available (Why is that?)
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- 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
- Standard completeness theorem for \(\Pi\)MTL
- Title not available (Why is that?)
- Algebraic proof theory for substructural logics: cut-elimination and completions
- On n ‐contractive fuzzy logics
- Substructural fuzzy logics
- Density Elimination and Rational Completeness for First-Order Logics
- MacNeille completions of FL-algebras
- Residuated lattices. An algebraic glimpse at substructural logics
- Density elimination
- Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
- Title not available (Why is that?)
- Hypersequents, logical consequence and intermediate logics for concurrency
- Expanding the Realm of Systematic Proof Theory
- Logics without the contraction rule
- Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
- A constructive analysis of RM
- Title not available (Why is that?)
- On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
- Alternative proof of standard completeness theorem for MTL
Cited In (8)
- Density revisited
- Title not available (Why is that?)
- A proof of standard completeness for Esteva and Godo's logic MTL
- Compositional meaning in logic
- Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic
- On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions
- Supersound many-valued logics and Dedekind-MacNeille completions
- Standard completeness for extensions of MTL: an automated approach
Uses Software
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)
