Let C(L) be the ring of real-valued continuous functions on a frame L. In this paper, strongly fixed ideals and characterization of maximal ideals of C(L) which is used with strongly fixed are introduced. In the case of weakly spatial frames this characterization is equivalent to the compactness of frames. Besides, the relation of the two concepts, fixed and strongly fixed ideals of C(L), is st...

A many-valued modal logic is introduced that combines the usual Kripke frame semantics of the modal logic K with connectives interpreted locally at worlds by lattice and group operations over the real numbers. A labelled tableau system is provided and a coNEXPTIME upper bound obtained for checking validity in the logic. Focussing on the modal-multiplicative fragment, the labelled tableau system...

Disclaimer/Complaints regulations If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library: http://uba.uva.nl/en/contact, or a letter to: Library of ...

Disclaimer/Complaints regulations If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library: http://uba.uva.nl/en/contact, or a letter to: Library of ...

Disclaimer/Complaints regulations If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library: http://uba.uva.nl/en/contact, or a letter to: Library of ...

Disclaimer/Complaints regulations If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library: http://uba.uva.nl/en/contact, or a letter to: Library of ...

We explore some links between abstract argumentation, logic and kernels in digraphs. Viewing argumentation frameworks as propositional theories in graph normal form, we observe that the stable semantics for argumentation can be given equivalently in terms of satisfaction and logical consequence in classical logic. We go on to show that the complete semantics can be formulated using Lukasiewicz ...

In this paper, we extend Nilsson’s probabilistic logic [1] to allow that each sentence S has three sets of possible worlds. We adopt the ideas of consistency and possible worlds introduced by Nilsson in [1], but propose a new method called linear equation method to deal with the problems of probabilistic inference, the results of our method is consistent with those of Yao’s interval-set model m...

This paper presents a novel selforganizing type RBF neural network and introduces the geometric algebra in the neural computing eld. Real valued neural nets for function approximation require feature enhancement, dilation and rotation operations and are limited by the Euclidean metric. This coordinate-free geometric framework allows to process patterns between layers in a particular dimension a...

Working with anticommuting Weyl (or Majorana) spinors in the frame of the van der Waerden calculus is standard in supersymmetry. The natural framework of rigorous supersymmetric quantum field theory makes use of operator-valued superdistributions defined on supersymmetric test functions. This makes necessary a van der Waerden calculus in which the Grassmann variables anticommute but the fermion...