http://biblioteca.universia.net/searchKeyWord.do?q=03B60 Resultados 1 - 10 de 47 de 03B60. (0,14 segundos) es http://biblioteca.universia.net/img/logotipo.jpg http://biblioteca.universia.net/ http://biblioteca.universia.net/ficha.do?id=977245 In the constructive theory of uniform spaces there occurs a technique of proof in which the application of a weak form of the law of excluded middle is circumvented by purely analytic means. The essence of this proof—technique is extracted and then applied in several different situations. Bridges, Douglas; Vî??, Lumini?a http://biblioteca.universia.net/ficha.do?id=37476921 This paper introduces valuation structures associated with preferential models. Based on KLM valuation structures, we present a canonical approach to obtain injective preferential models for any preferential relation satisfying the property INJ, and give uniform proofs of representation theorems for injective preferential relations appeared in the literature. In particular, we show that, in any propositional language (finite or infinite), a preferential inference relation satisfies INJ if and... Zhu, Zhaohui; Pan, Zhenghua; Chen, Shifu; Zhu, Wujia http://biblioteca.universia.net/ficha.do?id=37478218 Nishimura, Hirokazu http://biblioteca.universia.net/ficha.do?id=979738 In this paper, we define a first-order logic CF? with strong negation and bounded static quantifiers, which is a variant of Thomason's logic CF. For the logic CF?, the usual Kripke formal semantics is defined based on situations, and a sound and complete axiomatic system is established based on the axiomatic systems of constructive logics with strong negation and Thomason's completeness proof techniques. With the use of bounded quantifiers, CF? allows the domain of quantification to be empty ... Wang, Xuegang; Mott, Peter http://biblioteca.universia.net/ficha.do?id=979757 The question of the interpretation of impossible pictures is taken up. Penrose's account is reviewed. It is argued that whereas this account makes substantial inroads into the problem, there needs to be a further ingredient. An inconsistent account using heap models is proposed. Mortensen, Chris http://biblioteca.universia.net/ficha.do?id=979774 This presentation of a system of propositional logic is a foundational paper for systems of illocutionary logic. The language $\mathcal{L}_{.75}$ contains the illocutionary force operators ' $\vdash$ ' for assertion and ' ' for supposition. Sentences occurring in proofs of the deductive system $\mathcal{S}_{.75}$ must be prefixed with one of these operators, and rules of $\mathcal{S}_{.75}$ take account of the forces of the sentences. Two kinds of semantic conditions are investigated; familia... Kearns, John T. http://biblioteca.universia.net/ficha.do?id=979784 We investigate the higher-order modal logic $S_{\omega}I$ , which is a variant of the system $S_{\omega}$ presented in our previous work. A semantics for that system, founded on the theory of quasi sets, is outlined. We show how such a semantics, motivated by the very intuitive base of Schrödinger logics, provides an alternative way to formalize some intensional concepts and features which have been used in recent discussions on the logical foundations of quantum mechanics; for example, that ... da Costa, Newton C. A.; Krause, Décio http://biblioteca.universia.net/ficha.do?id=979804 In the study of nonmonotonic reasoning the main emphasis has been on static (declarative) aspects. Only recently has there been interest in the dynamic aspects of reasoning processes, particularly in artificial intelligence. We study the dynamics of reasoning processes by using a temporal logic to specify them and to reason about their properties, just as is common in theoretical computer science. This logic is composed of a base temporal epistemic logic with a preference relation on models, ... Engelfriet, Joeri http://biblioteca.universia.net/ficha.do?id=979847 We present a formal first-order theory of artificial objects, i.e., objects made out of a finite number of parts and subject to assembling and dismantling processes. These processes are absolutely reversible. The theory is an extension of the theory of finite sets with urelements. The notions of transformation and identity are defined and studied on the assumption that the objects are homogeneous, that is to say, all their atomic parts are of equal ontological importance. Particular emphasis ... Tzouvaras, Athanassios http://biblioteca.universia.net/ficha.do?id=979859 The process [by which any individual settles into new opinions] is always the same. The individual has a stock of old opinions already, but he meets a new experience that puts them to a strain…. The result is an inward trouble to which his mind till then had been a stranger, and from which he seeks to escape by modifying his previous mass of opinions. He saves as much of it as he can, for in this matter of belief we are all extreme conservatives. So he tries to change first this opinion, and ... Fuhrmann, André