The fundamental theorem of ultraproduct in Pavelka's logic

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):197-201 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19920380115

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,261

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The fundamental theorem of ultraproduct in Pavelka's logic.Mingsheng Ying - 1992 - Mathematical Logic Quarterly 38 (1):197-201.
Algebraic Logic for Rational Pavelka Predicate Calculus.Daniel Drăgulici & George Georgescu - 2001 - Mathematical Logic Quarterly 47 (3):315-326.
Conservative extension of polyadic MV-algebras to polyadic pavelka algebras.Dumitru Daniel Drăgulici - 2006 - Archive for Mathematical Logic 45 (5):601-613.
A Łoś type theorem for linear metric formulas.Seyed-Mohammad Bagheri - 2010 - Mathematical Logic Quarterly 56 (1):78-84.
Rational Pavelka predicate logic is a conservative extension of łukasiewicz predicate logic.Petr Hájek, Jeff Paris & John Shepherdson - 2000 - Journal of Symbolic Logic 65 (2):669-682.
Pavelka-style completeness in expansions of Łukasiewicz logic.Hector Freytes - 2008 - Archive for Mathematical Logic 47 (1):15-23.
Well‐Defined Fuzzy Sentential Logic.Esko Turunen - 1995 - Mathematical Logic Quarterly 41 (2):236-248.
Fuzzy Horn logic I.Radim Bělohlávek & Vilém Vychodil - 2006 - Archive for Mathematical Logic 45 (1):3-51.
Maximal chains in the fundamental order.Steven Buechler - 1986 - Journal of Symbolic Logic 51 (2):323-326.
The $L\Pi$ and $L\Pi\frac{1}{2}$ logics: two complete fuzzy systems joining Łukasiewicz and Product Logics. [REVIEW]Francesc Esteva, Lluís Godo & Franco Montagna - 2001 - Archive for Mathematical Logic 40 (1):39-67.
Herbrand’s fundamental theorem in the eyes of Jean Van heijenoort.Claus-Peter Wirth - 2012 - Logica Universalis 6 (3-4):485-520.
Query the Triple Loophole of the Proof of Gödel Incompleteness Theorem.FangWen Yuan - 2008 - Proceedings of the Xxii World Congress of Philosophy 41:77-94.
What was Fisher’s fundamental theorem of natural selection and what was it for?Anya Plutynski - 2005 - Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences 37 (1):59-82.
Continuous fuzzy Horn logic.Vilém Vychodil - 2006 - Mathematical Logic Quarterly 52 (2):171-186.
On ultracoproducts of compact hausdorff spaces.R. Gurevič - 1988 - Journal of Symbolic Logic 53 (1):294-300.

Analytics

Added to PP
2016-02-04

Downloads
43 (#371,989)

6 months
5 (#648,432)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Linguistic quantifiers modeled by Sugeno integrals.Mingsheng Ying - 2006 - Artificial Intelligence 170 (6-7):581-606.

Add more citations

References found in this work

Model Theory.Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.

Add more references