THE FUNDAMENTAL THEOREM OF ULTRAPRODUCT IN PAVELKA'S LOGIC
From MaRDI portal
Publication:4295230
DOI10.1002/malq.19920380115zbMath0798.03021MaRDI QIDQ4295230
Publication date: 7 November 1994
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19920380115
ultraproduct; lattice-valued logic; generalized quantifiers; propositional calculi with values in enriched residuated lattices
03B52: Fuzzy logic; logic of vagueness
03B50: Many-valued logic
03C20: Ultraproducts and related constructions
Related Items
A theorem about infinite-valued sentential logic, Fuzzy logic with countable evaluated syntax revisited, Compactness theorems of fuzzy semantics, \(L\)-valued propositional logic \(L_{\text{vpl}}\), Institutions of variable truth values: An approach in the ordered style, Linguistic quantifiers modeled by Sugeno integrals, Theory of truth degrees of propositions in the logic system \(L_{n}^{*}\), A theory of computation based on quantum logic. I, Threshold Boolean logic, On Fuzzy Logic I Many‐valued rules of inference