scientific article; zbMATH DE number 7687773
From MaRDI portal
Publication:6040894
DOI10.22111/ijfs.2022.6943zbMath1522.03081arXiv1905.01441MaRDI QIDQ6040894
Publication date: 22 May 2023
Full work available at URL: https://arxiv.org/abs/1905.01441
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
compactnessbasic logicultraproduct method\(K\)-compactnessfirst-order basic logicsimilarity topology
Cites Work
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Compactness of fuzzy logics.
- On triangular norm-based propositional fuzzy logics
- On the compactness property of extensions of first-order G\"odel logic
- Compactness in first order Lukasiewicz logic
- Fragments of Many-Valued Statement Calculi
- A propositional calculus with denumerable matrix
- A New Proof of the Completeness of the Lukasiewicz Axioms
- On Fuzzy Logic I Many‐valued rules of inference
- On Fuzzy Logic II. Enriched residuated lattices and semantics of propositional calculi
- On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi
- Applications of ultraproducts: from compactness to fuzzy elementary classes
- Compactness in first-order Godel logics
- Continuous Model Theory. (AM-58)
- Logic with truth values in A linearly ordered heyting algebra
- A weak completeness theorem for infinite valued first-order logic
This page was built for publication:
