First International Congress on Tools
for Teaching Logic


proceedings

 
 
ARACNE
aracne@xarxa.udl.es
mara@usal.es
First International Congress on Tools for Teaching Logic

Atocha Aliseda
atocha@minerva.filosoficas.unam.mx
Teaching Heuristic Reasoning with Logic: A Proposal for a Philosophy of Science Course.
Instituto de Investigaciones Filosóficas, UNAM. México.

Ramón Béjar, Teresa Alsinet, Carlos Fernandez and Felip Manya.
ramon@eup.udl.es
On-line Dictionary of Logic: System Description.
University of Lleida. Spain.

Raffaella Bernardi
bernardi@let.uu.nl
Logic and Language from the Outside.
UiL-OTS. University of Utrecht. Holland.

Raúl Champredonde, Analía Palacios and Virginia Ainchil.
rchampre@lidi.info.unlp.edu.ar
Teaching Experiences in Programming Using the Visual DaVinci Language.
Universidad Nacional de La Plata. Argentina.

Ulrich Endriss
endriss@dcs.kcl.ac.uk
The Interactive Learning Environment WinKE for Teaching Deductive Reasoning.
http://www.dcs.kcl.ac.uk/staff/endriss/WinKE/
Department of Computer Science. King´s College. United Kingdom.

Horacio Faas
horacio@goedel.ffyh.unc.edu.ar
horacio@filosofia.uncor.edu
Diagrams and Proofs.
Universidad Nacional de Córdoba. Argentina.

Havas Katalin
h6705gal@ella.hu
ghavas@phil-inst.hu
Tools for teaching logic for children.
Institute of Philosophy, Hungarian Academy of Sciences. Hungary

Ezra Heymann
eheymann@reacciun.ve
Introducing Reflections on Relevance Logic in Introductory Courses.
Escuela de Filosofía, Universidad Central. Venezuela.

Walter Hoering
hoering@philosophie.uni-tuebingen.de
The advantages of Smullyan's Tree calculus for teaching logic, and a Program for Teaching and testing Derivations: SM-tutor.
smtutor@philosophie.uni-tuebingen.de
Philosophisches Seminar, Tuebingen University. Germany.

Antonia Huertas
mhuertas@pie.xtec.es
Teaching Logical reasoning in high school.
IES Infanta Isabel de Aragón. Barcelona. Spain.

María Iglesias
albermg@teleline.es
Dinamul.
Student. University of Salamanca. Spain.

Jan Jaspars
jaspars@wins.uva.nl
The Dissemination of Logic in Ducht Secondary Schools.
University of Amsterdam. Holland.

Alex Klijn and Giete Callaert
Waltherus.Klijn@rug.ac.be
Effective Translations of Didactic Principles into Logic Tutoring Software.
Centre for Logic and Philosophy osf Science. University of Ghent. Belgium

Sandra Lazzer and Gladys Palau
slazzer@filo.uba.ar
The challenge of formalizing conditionals.
Instituto de Filosofía, Universidad de Buenos Aires. Argentina.

Josje Lodder
josje.lodder@ou.nl
Logic for Computer science in Distance Education: The logic courses of the Open University of the Netherlands.
Open University of the Netherlands. Holland.

Faraón Llorens and Sergio Mira
faraon@dccia.ua.es
ADN (Natural Deduction Assistant).
Ciencia de la Computación e Inteligencia Artificial, Universidad de Alicante. Spain.

María Manzano
mara@gugu.usal.es
Aracne.
University of Salamanca. Spain. 

Felip Manya, Alba Cabiscoll and Ramón Bejar
felip@eup.udl.es
Local Search Algorithms for SAT in a Course in Logic for Computer Science.
University of Lleida. Spain

Concepción Martínez and José L. Falguera
lflpcmav@usc.es
lflgfalg@usc.es
The Relevance of the Semantic Approach for the Teaching of Logic.
Logic and Moral Philosophy, University of Santiago de Compostela. Spain. 

Aitor Mata
inf4022@lisisu02.usal.es
Ulises'Enigmas.
Student, University of Salamanca. Spain.

Ferenczi Miklos
ferenczi@russell.math.bme.hu
ferenczi@math.bme.hu
Algebraic Logic and Probability Theory.
Techn. University of Budapest. Hungary.

David Miller
d.w.miller@warwick.ac.uk
Word Games for Formal Logic.
University of Warwick. United Kingdom.

Raymundo Morado
meyer@minerva.filosoficas.unam.mx
A Group Effort to Discover a Theory of Logic Teaching: The Mexican Experience.
Institute for Philosophical Research, UNAM. Mexico.

Antonio Moreno and Neus Budesca
amoreno@etse.urv.es
ngh.ei@alumne.etse.urv.es
Mathematical Logic Tutor - Propositional Calculus.
ETSE, Universitat Rovira i Virgili. Tarragona. Spain. 

Santiago Negrete
snegrete@uxmcc2.iimas.unam.mx
indigo@mexis.com
My Virtual Homework for the New Millennium.
UNAM. Mexico

Angel Nepomuceno
nepomuce@cica.es
Teching Logic in Philosophy: Logical Language and Semantic Trees.
Facultad de Filosofía, Universidad de Sevilla. Spain

Tulio Olmos
olmost@camelot.rect.ucv.ve
Logic for Children.
Universidad Central de Venezuela. Venezuela.

Carlos Oller
coller@ciudad.com.ar
The Teaching of Formalization in First Order Logic And its Problems.
Universidad de Buenos Aires. Argentina. 

Gladys Palau
gpalau@filo.uba.ar
The Role of Logic in the Process of Teaching.
Instituto de Filosofía, Universidad de Buenos Aires. Argentina.

Alberto Policriti
policrit@dimi.uniud.it
Technical Aspects of MetaBook: Construction and Use.
University of Udine. Italy 

Rein Prank
prank@cs.ut.ee
Some Further Steps after the Computerisation of Predicate Calculus.
Institute of Computer Science, Tartu University. Estonia.

Emilio Rodríguez
Aldana@gugu.usal.es
An Application for Translation of Spanish Sentences into First Order Logic Implemented in Prolog.
Informática y Automática. Universidad de Salamanca. Spain.

Diego Rosales
drosales@ywz.com
Education and Technologies of the Information: a Step More.
Instituto Teológico Compostelano. Perú.

João Sáàguand
jsaagua@ifl.pt
How Much Semantics is Wanted for Humanities?
Universidade nova de Lisboa. Portugal.

Francisco Salguero
salguero@cica.es
Teaching Logic to Linguistics: the Logical Approach to Grammar.
Universidad de Sevilla. Spain.

José Seoane
seoanej@hotmail.com
seoane@fhuce.edu.uy
Explicatory Conceptions and the teaching of Logic.
Instituto de Filosofía, Universidad de la República. Montevideo. Uruguay. 

A. Simón, A. Martínez, M. López, J.A. Maestro, J.M. Marqués and C. Alonso
arancha@infor.uva.es
Learning Computational Logic with an Intelligent Tutoring System: SIAL.
Informática, Universidad de Valladolid. Valladolid. Spain.

M. Ojeda, G. Aguilera, I.P. de Guzmán and A. Valverde
aciego@ctima.uma.es
Master Theses for Providing Feedback to the Logic Classroom.
Matemática aplicada. Universidad de Málaga. Spain.

Corina Yoris
cyoris@cantv.net
The Notion of Validity as the Key to Understand the Fallacy of False Cause.
Universidad Central de Venezuela. Venezuela.

Levis Zerpa
zerpale@camelot.rect.ucv.ve
The Formal Specification of Systems and the Teaching of Logic.
Universidad Central de Venezuela. Venezuela. 


home