Resultados de la búsqueda: Font, Josep Maria

Contribució al posicionament dinàmic de robots mòbils per mitjà d'un sistema làser

Font Llagunes, Josep Maria

Aquesta tesi tracta el problema del posicionament de robots mòbils quan, en el decurs del moviment, es realitzen mesures angulars relatives al robot de lorientació de la recta entre un dels seus punts i punts de lentorn de posició coneguda. Es considera que les mesures angulars són fetes per un sensor làser giratori que detecta diferents reflectors catadiòptrics fixos. La contribució principal és el desenvolupament dun algorisme dinàmic, basat en un filtre de Kalman estès (EKF), que estima a ...

Lukasiewicz and Modal Logic

Josep Maria Font

. / Lukasiewicz's four-valued modal logic is surveyed and analyzed. 1 Introduction The Polish philosopher and logician Jan / Lukasiewicz (Lw'ow, 1878 -- Dublin, 1956) is one of the fathers of modern many-valued logic, and some of the systems he introduced are presently a topic of deep investigation. In particular his infinitely-valued logic belongs to the core systems of mathematical fuzzy logic as a logic of comparative truth, cf. [3, 6, 7]. It is interesting to recall that modal notions wer...

Algebraic Study of Two Deductive Systems of Relevance Logic

Font, Josep Maria; Rodríguez, Gonzalo

In this paper two deductive systems (i.e., two consequence relations) associated with relevance logic are studied from an algebraic point of view. One is defined by the familiar, Hilbert-style, formalization of R; the other one is a weak version of it, called WR, which appears as the semantic entailment of the Meyer-Routley-Fine semantics, and which has already been suggested by Wójcicki for other reasons. This weaker consequence is first defined indirectly, using R, but we prove that the fir...

An Abstract Algebraic Logic Approach to Tetravalent Modal Logics

Font, Josep Maria; Rius, Miquel

This paper contains a joint study of two sentential logics that combine a many-valued character, namely tetravalence, with a modal character; one of them is normal and the other one quasinormal. The method is to study their algebraic counterparts and their abstract models with the tools of Abstract Algebraic Logic, and particularly with those of Brown and Suszko's theory of abstract logics as recently developed by Font and Jansana in their "A General Algebraic Semantics for Sentential Logics"...

Fully Adequate Gentzen Systems and the Deduction Theorem

Josep Maria Font,Ramon Jansana

. An infinite sequence Delta = hDelta n(x0 ; : : : ; xnGamma1 ; y; u) : n ! !i of possibly infinite sets of formulas in n + 1 variables x0 ; : : : ; xnGamma1 ; y and a possibly infinite system of parameters u is a parameterized graded deduction-detachment (PGDD) system for a deductive system S over a S-theory T if, for every n ! ! and for all '0 ; : : : ; 'nGamma1 ; / 2 Fm , T; '0 ; : : : ; 'nGamma1 `S / iff T `S Delta n('0 ; : : : ; 'nGamma1 ; /; #) for every possible system of formulas #. A...

Fully Adequate Gentzen Systems And The Deduction Theorem

Josep Maria Font,Ramon Jansana

. An infinite sequence # = ##n (x0 , . . . , xn-1 , y, u) : n < ## of possibly infinite sets of formulas in n + 1 variables x0 , . . . , xn-1 , y and a possibly infinite system of parameters u is a parameterized graded deduction-detachment (PGDD) system for a deductive system S over a S-theory T if, for every n < # and for all #0 , . . . , #n-1 , # # Fm# , T , #0 , . . . , #n-1 # S # i# T # S #n (#0 , . . . , #n-1 , #, #) for every possible system of formulas #. A S-theory is Leibniz if it is...

Leibniz Filters and the Strong Version of a Protoalgebraic Logic

Josep Maria Font,Ramon Jansana

A filter of a sentential logic S is Leibniz when it is the smallest one among all the S-filters on the same algebra having the same Leibniz congruence. This paper studies these filters and the sentential logic S + + + defined by the class of all S-matrices whose filter is Leibniz, which is called the strong version of S , in the context of protoalgebraic logics with theorems. Topics studied include an enhanced Correspondence Theorem, characterizations of the weak algebraizability of S + + + a...

On Lukasiewicz's four-valued modal logic

Josep Maria Font; Petr Hajek

. # Lukasiewicz's four-valued modal logic is surveyed and analyzed, together with # Lukasiewicz's motivations to develop it. A faithful interpretation of it into classical (non-modal) two-valued logic is presented, and some consequences are drawn concerning its classification and its algebraic behaviour. Some counter-intuitive aspects of this logic are discussed under the light of the presented results, # Lukasiewicz's own texts, and related literature. 1 Introduction The Pol...

Leibniz Filters and the Strong Version of a Protoalgebraic Logic

Josep Maria Font; Ramon Jansana

Lukasiewicz and Modal Logic

Josep Maria Font; Petr Hájek