THE FUNDAMENTAL THEOREM OF ULTRAPRODUCT IN PAVELKA'S LOGIC

DOI10.1002/malq.19920380115zbMath0798.03021OpenAlexW2057249931MaRDI QIDQ4295230

Ming Sheng Ying

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

zbMATH Keywords

ultraproductlattice-valued logicgeneralized quantifierspropositional calculi with values in enriched residuated lattices

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Many-valued logic (03B50) Ultraproducts and related constructions (03C20)

Related Items (12)

Institutions of variable truth values: An approach in the ordered style ⋮ Fuzzy logic with countable evaluated syntax revisited ⋮ Lattice-theoretic models of conjectures, hypotheses and consequences ⋮ Compactness theorems of fuzzy semantics ⋮ Linguistic quantifiers modeled by Sugeno integrals ⋮ Pavelka-style fuzzy logic in retrospect and prospect ⋮ Theory of truth degrees of propositions in the logic system \(L_{n}^{*}\) ⋮ On Fuzzy Logic I Many‐valued rules of inference ⋮ A theorem about infinite-valued sentential logic ⋮ \(L\)-valued propositional logic \(L_{\text{vpl}}\) ⋮ Threshold Boolean logic ⋮ A theory of computation based on quantum logic. I

This page was built for publication: THE FUNDAMENTAL THEOREM OF ULTRAPRODUCT IN PAVELKA'S LOGIC