Results 231 to 240 of about 5,368 (252)

Conservation of relative fuzziness: Retrospective and triangular extension

2015 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 2015
Fuzzy rule interpolation is one of the tools for reducing computational complexity of fuzzy systems, and can be used when there are gaps in the knowledge base. These gaps can be natural, due to cost, or due to rule base reduction. The fuzzy interpolation methods are all descendent techniques of Koczy and Hirota's linear interpolation.
openaire   +1 more source

Epistemic arithmetic is a conservative extension of intuitionistic arithmetic

Journal of Symbolic Logic, 1984
Questions about the constructive or effective character of particular arguments arise in several areas of classical mathematics, such as in the theory of recursive functions and in numerical analysis. Some philosophers have advocated Lewis's S4 as the proper logic in which to formalize such epistemic notions.
openaire   +1 more source

On Partially Conservative Extensions of Arithmetic

1979
Publisher Summary This chapter discusses the partially conservative extensions of arithmetic. The two principal techniques used to construct further partially conservative formulas are the Godel diagonal technique and partial truth definitions: for each κ > 1, there is a Π o k -formula tr κ (x) such that for each Π o k -sentence φ, there is PA ├ φ
openaire   +1 more source

Conservative Extensions of Regular Languages

XXIV International Conference of the Chilean Computer Science Society, 2005
Béatrice Bouchou, Denio Duarte, Mirian Halfeld Ferrari Alves, Dominique Laurent 0001, Martin A. Musicante   +4 more
openaire   +1 more source

Conservative extensions of models of set theory and generalizations

Journal of Symbolic Logic, 1986
An attempt to answer the following question gave rise to the results of the present paper. Let be an arbitrary model of set theory. Does there exist an elementary extension of satisfying the two requirements: (1) contains an ordinal exceeding all the ordinals of ; (2) does not enlarge any (hyper) integer of ? Note that a trivial application of the
openaire   +2 more sources

Conservative Extensions

2023
openaire   +1 more source

Some remarks on conservative extensions: a Socratic dialogue

Bull. EATCS, 1991
Summary: Conservative extension is an important concept in formal specifications. It can be formulated in terms of theories or of their models. These two versions are not equivalent, even under very severe restrictions. This note examines the causes of this phenomenon in first-order logic.
Paulo A. S. Veloso, Sheila R. M. Veloso
openaire   +1 more source

A Conservative Negation Extension of Positive Semilattice Logic Without the Finite Model Property

Studia Logica, 2020
Yale Weiss
exaly  

An Extension of the Athena++ Framework for Fully Conservative Self-gravitating Hydrodynamics

Astrophysical Journal, Supplement Series, 2021
P D Mullen, Tomoyuki Hanawa, Charles F Gammie   +2 more
exaly  

Extension of Variational Principles for Non-conservative Greenhill’s Shafts

Lecture Notes in Civil Engineering, 2023
S Arul Jayachandran
exaly