J. Gispert - Academia.edu (original) (raw)
Papers by J. Gispert
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
arXiv (Cornell University), 1997
Bookmarks Related papers MentionsView impact
REIRE Revista d'Innovació i Recerca en Educació, Jul 4, 2012
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Journal of Algebra, 1999
Bookmarks Related papers MentionsView impact
The Journal of Symbolic Logic
Bookmarks Related papers MentionsView impact
Searching... Advanced Search. Google Search Engine. ...
Bookmarks Related papers MentionsView impact
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
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
Uncertainty and Intelligent information Systems, 2008
Bookmarks Related papers MentionsView impact
Fuzzy Sets and Systems, 2014
Bookmarks Related papers MentionsView impact
Logic Journal of the Igpl, 2005
Bookmarks Related papers MentionsView impact
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
Archive for Mathematical Logic, 2005
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Annals of Pure and Applied Logic, 2009
Bookmarks Related papers MentionsView impact
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
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
arXiv (Cornell University), 1997
Bookmarks Related papers MentionsView impact
REIRE Revista d'Innovació i Recerca en Educació, Jul 4, 2012
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Journal of Algebra, 1999
Bookmarks Related papers MentionsView impact
The Journal of Symbolic Logic
Bookmarks Related papers MentionsView impact
Searching... Advanced Search. Google Search Engine. ...
Bookmarks Related papers MentionsView impact
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
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
Uncertainty and Intelligent information Systems, 2008
Bookmarks Related papers MentionsView impact
Fuzzy Sets and Systems, 2014
Bookmarks Related papers MentionsView impact
Logic Journal of the Igpl, 2005
Bookmarks Related papers MentionsView impact
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
Archive for Mathematical Logic, 2005
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Annals of Pure and Applied Logic, 2009
Bookmarks Related papers MentionsView impact
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