J. Gispert - Academia.edu (original) (raw)

Papers by J. Gispert

Research paper thumbnail of Mejora de la actuación docente del profesorado de Matemáticas

Aquest article és fruit de la recerca duta a terme en el marc del projecte conjunt REDICE08, PID0... more Aquest article és fruit de la recerca duta a terme en el marc del projecte conjunt REDICE08, PID08, PID09 Com motivar, com adequar l’avaluació continuada i com mesurar el treball a les assignatures de Matemàtiques durant els cursos 2008 2009 i 2009-2010. El projecte aborda temes relacionats amb els resultats de les enquestes sobre l’actuació docent del professorat a l’ensenyament de Matemàtiques de la Universitat de Barcelona (UB), en què l’alumnat posa de manifest, en general, un baixa motivació del professorat i un elevat volum de feina en les assignatures. Com a resultat de l’estudi i de la pràctica docent en les assignatures involucrades en el projecte citat abans, es desprèn que la motivació de l’alumnat s’aconsegueix sumant esforços en diferents direccions: d’una banda, cal una tria adequada i una bona comunicació dels continguts, que fomenti el diàleg amb l’alumnat; d’altra banda, cal que l’avaluació continuada presenti un esglaonament progressiu en la dificultat de les activ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Locally finite quasivarieties of MV-algebras

arXiv (Cornell University), 1997

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Millora de l’actuació docent del professorat de Matemàtiques

REIRE Revista d'Innovació i Recerca en Educació, Jul 4, 2012

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Estudi algebraic de les extensions dels càlculs multivalorats de Lukasiewicz: = Estudio algebraico de las extensiones de los cálculos multivalentes de Lukasiewicz

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Ultraproducts of Z with an Application to Many-Valued Logics

Journal of Algebra, 1999

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Algebraic Expansions of Logics

The Journal of Symbolic Logic

Bookmarks Related papers MentionsView impact

Research paper thumbnail of ISMVL 2010 Organizing Committee

Searching... Advanced Search. Google Search Engine. ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Structural completeness in many-valued logics with rational constants

The logics RŁ, RP, and RG have been obtained by expanding Łukasiewicz logic Ł, product logic P, a... more The logics RŁ, RP, and RG have been obtained by expanding Łukasiewicz logic Ł, product logic P, and Gödel–Dummett logic G with rational constants. We study the lattices of extensions and structural completeness of these three expansions, obtaining results that stand in contrast to the known situation in Ł, P, and G. Namely, RŁ is hereditarily structurally complete. RP is algebraized by the variety of rational product algebras that we show to be Q-universal. We provide a base of admissible rules in RP, show their decidability, and characterize passive structural completeness for extensions of RP. Furthermore, structural completeness, hereditary structural completeness, and active structural completeness coincide for extensions of RP, and this is also the case for extensions of RG, where in turn passive structural completeness is characterized by the equivalent algebraic semantics having the joint embedding property. For nontrivial axiomatic extensions of RG we provide a base of admis...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Axiomatic extensions of the nilpotent minimum logic

Reports on Mathematical Logic, 2003

... 2 From (WNM) it is easy to see that given a totally ordered set A with upper bound 1 and lowe... more ... 2 From (WNM) it is easy to see that given a totally ordered set A with upper bound 1 and lower bound 0 equipped with an involutive negation ¬ dually order preserving, if we define ∧, ∨ asmeet and join and for every a, b ∈ A, a ∗ b = { 0, if b ≤ ¬a; a ∧ b, otherwise. ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of On n-Contractive Fuzzy Logics: First Results

Uncertainty and Intelligent information Systems, 2008

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Least V-quasivarieties of MV-algebras

Fuzzy Sets and Systems, 2014

Bookmarks Related papers MentionsView impact

Research paper thumbnail of On some varieties of MTL-algebras

Logic Journal of the Igpl, 2005

Bookmarks Related papers MentionsView impact

Research paper thumbnail of On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic

Studia Logica, 2002

The monoidal t-norm based logic MTL is obtained from Hájek's Basic Fuzzy logic BL by droppin... more The monoidal t-norm based logic MTL is obtained from Hájek's Basic Fuzzy logic BL by dropping the divisibility condition for the strong (or monoidal) conjunction. Recently, Jenei and Montgana have shown MTL to be standard complete, ie complete with respect to the ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops

Archive for Mathematical Logic, 2005

Bookmarks Related papers MentionsView impact

Research paper thumbnail of On varieties generated by Weak Nilpotent Minimum t-norms

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Real, rational and finite chain semantics for t-norm based logics: methods and algebraic equivalencies

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Algebraic characterization of completeness properties for core fuzzy logics I: propositional logics

Bookmarks Related papers MentionsView impact

Research paper thumbnail of On triangular norm based axiomatic extensions of the weak nilpotent minimum logic

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Distinguished algebraic semantics for -norm based fuzzy logics: Methods and algebraic equivalencies

Annals of Pure and Applied Logic, 2009

Bookmarks Related papers MentionsView impact

Research paper thumbnail of ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS III (TANCL'07)

atlas-conferences.com, 2007

Atlas home || Conferences | Abstracts | about Atlas ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLAS... more Atlas home || Conferences | Abstracts | about Atlas ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS III (TANCL'07) August 5-9, 2007 St Anne's College, University of Oxford Oxford, England. Organizers Mai Gehrke and Hilary Priestley. Conference Homepage. Abstracts. SAMSON ABRAMSKY Domain Theory in Logical Form Revisited: a 20-year Retrospective Stefano Aguzzoli Goedel algebras free over finite distributive ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Mejora de la actuación docente del profesorado de Matemáticas

Aquest article és fruit de la recerca duta a terme en el marc del projecte conjunt REDICE08, PID0... more Aquest article és fruit de la recerca duta a terme en el marc del projecte conjunt REDICE08, PID08, PID09 Com motivar, com adequar l’avaluació continuada i com mesurar el treball a les assignatures de Matemàtiques durant els cursos 2008 2009 i 2009-2010. El projecte aborda temes relacionats amb els resultats de les enquestes sobre l’actuació docent del professorat a l’ensenyament de Matemàtiques de la Universitat de Barcelona (UB), en què l’alumnat posa de manifest, en general, un baixa motivació del professorat i un elevat volum de feina en les assignatures. Com a resultat de l’estudi i de la pràctica docent en les assignatures involucrades en el projecte citat abans, es desprèn que la motivació de l’alumnat s’aconsegueix sumant esforços en diferents direccions: d’una banda, cal una tria adequada i una bona comunicació dels continguts, que fomenti el diàleg amb l’alumnat; d’altra banda, cal que l’avaluació continuada presenti un esglaonament progressiu en la dificultat de les activ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Locally finite quasivarieties of MV-algebras

arXiv (Cornell University), 1997

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Millora de l’actuació docent del professorat de Matemàtiques

REIRE Revista d'Innovació i Recerca en Educació, Jul 4, 2012

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Estudi algebraic de les extensions dels càlculs multivalorats de Lukasiewicz: = Estudio algebraico de las extensiones de los cálculos multivalentes de Lukasiewicz

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Ultraproducts of Z with an Application to Many-Valued Logics

Journal of Algebra, 1999

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Algebraic Expansions of Logics

The Journal of Symbolic Logic

Bookmarks Related papers MentionsView impact

Research paper thumbnail of ISMVL 2010 Organizing Committee

Searching... Advanced Search. Google Search Engine. ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Structural completeness in many-valued logics with rational constants

The logics RŁ, RP, and RG have been obtained by expanding Łukasiewicz logic Ł, product logic P, a... more The logics RŁ, RP, and RG have been obtained by expanding Łukasiewicz logic Ł, product logic P, and Gödel–Dummett logic G with rational constants. We study the lattices of extensions and structural completeness of these three expansions, obtaining results that stand in contrast to the known situation in Ł, P, and G. Namely, RŁ is hereditarily structurally complete. RP is algebraized by the variety of rational product algebras that we show to be Q-universal. We provide a base of admissible rules in RP, show their decidability, and characterize passive structural completeness for extensions of RP. Furthermore, structural completeness, hereditary structural completeness, and active structural completeness coincide for extensions of RP, and this is also the case for extensions of RG, where in turn passive structural completeness is characterized by the equivalent algebraic semantics having the joint embedding property. For nontrivial axiomatic extensions of RG we provide a base of admis...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Axiomatic extensions of the nilpotent minimum logic

Reports on Mathematical Logic, 2003

... 2 From (WNM) it is easy to see that given a totally ordered set A with upper bound 1 and lowe... more ... 2 From (WNM) it is easy to see that given a totally ordered set A with upper bound 1 and lower bound 0 equipped with an involutive negation ¬ dually order preserving, if we define ∧, ∨ asmeet and join and for every a, b ∈ A, a ∗ b = { 0, if b ≤ ¬a; a ∧ b, otherwise. ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of On n-Contractive Fuzzy Logics: First Results

Uncertainty and Intelligent information Systems, 2008

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Least V-quasivarieties of MV-algebras

Fuzzy Sets and Systems, 2014

Bookmarks Related papers MentionsView impact

Research paper thumbnail of On some varieties of MTL-algebras

Logic Journal of the Igpl, 2005

Bookmarks Related papers MentionsView impact

Research paper thumbnail of On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic

Studia Logica, 2002

The monoidal t-norm based logic MTL is obtained from Hájek's Basic Fuzzy logic BL by droppin... more The monoidal t-norm based logic MTL is obtained from Hájek's Basic Fuzzy logic BL by dropping the divisibility condition for the strong (or monoidal) conjunction. Recently, Jenei and Montgana have shown MTL to be standard complete, ie complete with respect to the ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops

Archive for Mathematical Logic, 2005

Bookmarks Related papers MentionsView impact

Research paper thumbnail of On varieties generated by Weak Nilpotent Minimum t-norms

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Real, rational and finite chain semantics for t-norm based logics: methods and algebraic equivalencies

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Algebraic characterization of completeness properties for core fuzzy logics I: propositional logics

Bookmarks Related papers MentionsView impact

Research paper thumbnail of On triangular norm based axiomatic extensions of the weak nilpotent minimum logic

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Distinguished algebraic semantics for -norm based fuzzy logics: Methods and algebraic equivalencies

Annals of Pure and Applied Logic, 2009

Bookmarks Related papers MentionsView impact

Research paper thumbnail of ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS III (TANCL'07)

atlas-conferences.com, 2007

Atlas home || Conferences | Abstracts | about Atlas ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLAS... more Atlas home || Conferences | Abstracts | about Atlas ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS III (TANCL'07) August 5-9, 2007 St Anne's College, University of Oxford Oxford, England. Organizers Mai Gehrke and Hilary Priestley. Conference Homepage. Abstracts. SAMSON ABRAMSKY Domain Theory in Logical Form Revisited: a 20-year Retrospective Stefano Aguzzoli Goedel algebras free over finite distributive ...

Bookmarks Related papers MentionsView impact