Paper Search Console

Home Search Page About Contact

Journal Title

Title of Journal: Arch Math Logic

Search In Journal Title:

Abbravation: Archive for Mathematical Logic

Search In Journal Abbravation:

Publisher

Springer-Verlag

Search In Publisher:

DOI

10.1007/978-3-642-11979-8_2

Search In DOI:

ISSN

1432-0665

Search In ISSN:
Search In Title Of Papers:

Strict core fuzzy logics and quasiwitnessed model

Authors: Marco Cerami Francesc Esteva
Publish Date: 2011/05/01
Volume: 50, Issue: 5-6, Pages: 625-641
PDF Link

Abstract

In this paper we prove strong completeness of axiomatic extensions of firstorder strict core fuzzy logics with the socalled quasiwitnessed axioms with respect to quasiwitnessed models As a consequence we obtain strong completeness of Product Predicate Logic with respect to quasiwitnessed models already proven by MC Laskowski and S Malekpour in 19 Finally we study similar problems for expansions with Δ define Δquasiwitnessed axioms and prove that any axiomatic extension of a firstorder strict core fuzzy logic expanded with Δ and Δquasiwitnessed axioms are complete with respect to Δquasiwitnessed models

Keywords:

References

.
Search In Abstract Of Papers:
Other Papers In This Journal:
  1. Homogeneous iteration and measure one covering relative to HOD
  2. On the indestructibility aspects of identity crisis
  3. The large cardinals between supercompact and almost-huge
  4. Prefix and plain Kolmogorov complexity characterizations of 2-randomness: simple proofs
  5. A blend of methods of recursion theory and topology: A Π 1 0 tree of shadow points
  6. Maximally embeddable components
  7. C-Quasi-Minimal enumeration degrees below c'
  8. The logic of equilibrium and abelian lattice ordered groups
  9. Register computations on ordinals
  10. On omega-categorical simple theories
  11. Some weak fragments of Martin’s axiom related to the rectangle refining property
Search Result: