 |
|
|
| 2009 |
|
|
| 17/11 |
Eva Armengol (IIIA-CSIC, Bellaterra)
Machine learning: families, methods and applications |
|
|
| 27/10, 10/11 |
Ramon Jansana (Universitat de Barcelona)
Algebraizable logics with a semi-lattice based companion |
|
|
| 20/10 |
José Patricio Díaz Varela (Universidad Nacional del Sur, Bahía Blanca, Argentina)
MV-closures of Wajsberg hoops |
|
|
| 13/10 |
Petr Cintula (Institute of Computer Science, Academy of Sciences, Praga)
General approach to first-order non-classical logics |
|
|
| 06/10 |
Marta Bilkova (Department of Logic, Charles University, Praga) and
Jiri Velebil (Department of Mathematics, Czech Technical University, Praga)
On coalgebraic modal logic |
|
|
| 02/07 |
Enrico Marchioni (Artificial Intelligence Research Institute, CSIC)
Amalgamation through quantifier elimination for varieties of residuated lattices |
|
|
| 18/06, 25/06 |
Félix Bou (University of Barcelona and Artificial Intelligence Research Institute, CSIC)
On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice |
|
|
| 11/06 |
Umberto Rivieccio (Università di Genova and Universitat de Barcelona)
Logical bilattices: adding implications |
|
|
| 04/06 |
Àngel Gil (Universitat Pompeu Fabra)
On Gentzen systems associated with finite valued logics preserving degrees of truth |
|
|
| 19/05, 26/05 |
Ramon Jansana (Universitat de Barcelona)
Equationally orderable quasivarieties and sequent calculi |
|
|
| 24/04, 08/05 |
Àngel J. Gil (Department of Economics, Universitat Pompeu Fabra, Barcelona)
Efficient Algorithms for Description Problems over Finite Totally Ordered Domains |
|
|
|
| 2008 |
|
|
| 31/10 |
Petr Cintula (Institute of Computer Science, Prague)
The role of generalized disjunctions in (semilinear) implicational logics |
|
|
| 28/10 |
Carles Noguera (Università di Siena)
Expanding the Leibniz hierarchy: (semilinear) implicational logics (paper, 692 KB) |
|
|
| 17,24/10 |
Félix Bou (IIIA - CSIC, Bellaterra)
Computer tools for research in logic (slides, 60 KB) |
|
|
| 19/09 |
José Patricio Díaz Varela (Universidad Nacional del Sur, Bahía Blanca, Argentina)
Congruence permutability in implication algebras |
|
|
| 17/06 |
Sergio Celani (Universidad del Centro, Tandil, Argentina)
Topological dualilty for Hilbert and Tarski algebras |
|
|
| 10/06 |
Antoni Torrens (University of Barcelona)
Varieties of semisimple bounded BCK-algebras, III: Discriminator varieties and strong expansions (slides, 3.9 MB) |
|
|
| 05/06 |
Félix Bou (IIIA - CSIC, Bellaterra)
The Deduction-Detachment Theorem in logics preserving degrees of truth |
|
|
| 03/06 |
Umberto Rivieccio (University of Genova)
The logic of logical bilattices |
|
|
| 27/05 |
Ramon Jansana (University of Barcelona)
Duality for distributive semilattices |
|
|
| 13,20/05 |
José Gil-Férez (University of Barcelona)
Special morphisms in the category of modules over complete residuated lattices |
|
|
6/05
1,8,29/04
11,25/03
|
Ramon Jansana (University of Barcelona)
On Galatos' and Tsinakis' theory of equivalence of consequence relations |
|
|
| 15/01,05/02
|
Antoni Torrens (University of Barcelona)
Varieties of semisimiple bounded BCK-algebras, I and II |
|
|
|
| 2007 |
|
|
| 11/12
|
Josep Maria Font (University of Barcelona)
Finiteness issues in algebraizable logics |
|
|
| 04/12
|
Félix Bou (IIIA-CSIC, Bellaterra)
The logic of quasi-MV algebras (II) |
|
|
| 27/11
|
Wojciech Buszkowski (Adam Mickiewicz University, Poznan, Poland)
Full non-associative Lambek calculus: Interpolation, finite models, grammars |
|
|
| 13/11
|
Félix Bou (IIIA - CSIC, Bellaterra)
The logic of quasi-MV algebras |
|
|
| 06/11
|
José Patricio Díaz Varela (Universidad Nacional del Sur, Bahía Blanca, Argentina)
Free Lukasiewicz implication algebras |
|
|
| 16,23,30/10
|
Àngel García-Cerdaña (IIIA - CSIC, Bellaterra)
t-norm based logics: a substructural point of view |
|
|
| 13/06
|
Roberto Cignoli (Universidad de Buenos Aires, Argentina)
Locally finite MV-algebras, multisets and a conjecture of Monteiro |
|
|
| 08/06
|
Petr Cintula (Institute of Computer Science, Academy of Sciences, Prague)
Structural completeness in fuzzy logics |
|
|
| 29/05
|
Félix Bou (IIIA - CSIC, Bellaterra)
There are no Tarski-style axiomatizations for most logics over FL_ew |
|
|
| 22/05
|
Joan Gispert (Universitat de Barcelona)
On bounded BCK algebras (II): Boolean representations |
|
|
| 08/05
|
Antoni Torrens (Universitat de Barcelona)
On bounded BCK algebras (I) |
|
|
| 24/04
|
Ramon Jansana (Universitat de Barcelona)
An abstract algebraic logic approach to canonical extensions (IV) |
|
|
| 10/04 |
Carles Noguera (Universitat de Lleida)
On n-contractive fuzzy logics |
|
|
| 26/03 |
Petr Hájek (Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague)
On witnessed models of fuzzy logics |
|
|
| 19/03 |
Wojciech Buszkowski (Poznan University, Poland)
Action logic: complexity and models |
|
|
06,13/03
27/02
|
Ramon Jansana (Universitat de Barcelona)
An abstract algebraic logic approach to canonical extensions (I, II, III) |
|
|
| 31/01 |
Stefan Hetzl (Vienna)
Computer-Aided Proof Analysis with CERES |
|
|
|
| 2006 |
|
|
05,12/12
14,21,28/11
16,23,31/10 |
Félix Bou (IIIA - CSIC, Bellaterra)
Introduction to complexity (through propositional logics) |
|
|
| 13/07 |
Franco Montagna (Università di Siena)
On t-norms and uninorms definable in LP1/2 and their logics |
|
|
| 11/07 |
Carles Noguera (IIIA - CSIC)
Algebraic study of the axiomatic extensions of fuzzy logics based on triangular norms |
|
|
| 22/06 |
Ventura Verdú (Universitat de Barcelona)
On some classical fragments of intuitionistic logic without contraction |
|
|
| 25/05 |
Félix Bou (IIIA - CSIC, Bellaterra)
Quasi-MV algebras and the associated logic |
|
|
04/05
20,27/04 |
Majid Alizadeh (Institute for Studies in Theoretical Physics and Mathematics, Tehran, Iran)
Basic Propositional Logic |
|
|
| 06/04 |
Stéphane Salaet (Universitat de Barcelona)
On Nelson's logic |
|
|
| 16/03 |
Ramon Jansana (Universitat de Barcelona)
Equationally orderable quasivarieties and Gentzen systems |
|
|
| 02/03 |
Antonio Ledda (University of Cagliari)
MV-algebras and quantum computation |
|
|
| 16,23/02 |
Antoni Torrens (Universitaty de Barcelona)
Free algebras
|
|
|
| 09/02 |
Sergio Muñoz (Universidad Católica de la Santísima Concepción, Chile)
Weakening the substitution-invariance condition in Abstract Algebraic Logic
|
|
|
02/02
26/01 |
Josep Maria Font (Universitat de Barcelona)
Correspondences between Gentzen and Hilbert systems
|
|
|
| 13,20/01 |
Josep Maria Font (Universitat de Barcelona)
Equivalence of consequence operations
|
|
|
|
| 2005 |
|
|
2,16,22/12
25/11 |
Ramon Jansana (Universitat de Barcelona)
Assertionally equivalent quasivarieties
|
|
|
| 18/11 |
Joan Gispert (Universitat de Barcelona)
Local embeddings and equivalent properties
|
|
|
| 04/11 |
José Patricio Díaz Varela (Universidad Nacional de Sur, Bahía Blanca, Argentina)
An equivalence between the variety of Boolean algebras with a distinguished automorphism and the variety of 2-rings with square root
|
|
|
| 21,28/10 |
Carles Noguera (Research Institute in Artificial Intelligence, CSIC, Bellaterra)
Weakly cancellative fuzzy logics
|
|
|
| 14/10 |
Francesc Esteva (Research Institute in Artificial Intelligence, CSIC, Bellaterra)
Adding truth constants to logics based on continuous t-norms
|
|
|
| 07/10 |
Edwin Mares (Victoria University of Wellington, New Zealand)
Semantics for Quantified Substructural Logic
|
|
|
| 05/09 |
Libor Behounek(Charles University, Prague)
On a connection between fuzzy logic and probability
Petr Cintula (Academy of Sciencies of the Czech Republic, Prague)
Basic model theory in fuzzy logics
Rostislav Horcik (Czech Technical University, Prague)
New proof of standard completeness of MTL
|
|
|
| 20/05 |
Àngel Gil (Universitat Pompeu Fabra)
An infinite-valued Lukasiewicz logic that preserves degrees of truth
|
|
|
| 8,15/04 |
Antoni Torrens (Universitat de Barcelona)
Glivenko's Theorem in Algebraizable Logics
|
|
|
| 11/02 |
Jean-Yves Béziau (Swiss National Science Foundation, Neuchâtel)
Sequents and bivaluations : a general completeness result
|
|
|
|
| 2004 |
|
|
| 3,10,17/12 |
Ramon Jansana (Universitat de Barcelona)
On referential semantics
|
|
|
| 26/11 |
Ramon Jansana (Universitat de Barcelona)
Selfextensional logics with conjunction
|
|
|
| 19/11 |
David Gracia (Universitat de Barcelona)
Dosen's systems and urlogs
|
|
|
| 12/11 |
José Gil (Universitat de Barcelona)
Categorical Abstract Algebraic Logic: Full models and Tarski congruences
|
|
|
| 5/11 |
José Gil (Universitat de Barcelona)
Categorical Abstract Algebraic Logic: Algebraizability of pi-institutions
|
|
|
| 29/10 |
José Gil (Universitat de Barcelona)
Categorical Abstract Algebraic Logic: the Isomorphism Theorem
|
|
|
| 22/10 |
Carles Noguera (Research Institute in Artificial Intelligence, CSIC, Bellaterra)
Perfect and bipartite algebras in IMTL and in MTL
|
|
|
| 15/10 |
Libor Behounek (Academy of Sciences, Prague)
Higher-order fuzzy logic and its applications
|
|
|
| 08/10 |
Petr Cintula (Academy of Sciences, Prague)
Weakly implicative (fuzzy) logics
|
|
|
| 21/09 |
Roberto Cignoli (CONICET, Argentina)
Free algebras in varieties of BL-algebras generated by BL-chains
|
|
|
| 7,15/09 |
Félix Bou (Universitat Autònoma de Barcelona)
Strict-weak languages |
|
|
| 18/06 |
Àngel García-Cerdaña (Universitat de Barcelona)
An analysis of two fragments with negation and without implication of the logic of residuated lattices (III)
|
|
|
| 21/05 |
Walter A. Carnielli (Centre for Logic and Epistemology (CLE), UNICAMP, Campinas)
Algebraizing logics via possible-translations semantics
|
|
|
| 7,14/05 |
Àngel García-Cerdaña and Ventura Verdú (Universitat de Barcelona)
An analysis of two fragments with negation and without implication of the logic of residuated lattices (I , II)
|
|
|
| 30/04 |
Carles Noguera (Research Institute in Artificial Intelligence, CSIC, Bellaterra)
On the scope of some definitions of additive connectives in fuzzy logics
|
|
|
| 16/04 |
Roberto Arpaia (Universitat de Barcelona)
Contributions to the history of Tarski's "methodology of deductive sciences": Magari's concept of "general calculus".
|
|
|
| 2/04 |
Yde Venema (Institute of Logic, Language and Computation, University of Amsterdam)
McNeille completions of lattice expansions
|
|
|
| 19,26/03 |
Félix Bou (Universitat Autònoma de Barcelona)
Quasi-bisimulations, a way of removing symmetry from bisimilarity
|
|
|
| 5/03 |
Antoni Torrens (Universitat de Barcelona)
Topological representation of implication algebras
|
|
|
| 20,27/02 |
Jorge Castro (Universidad Nacional del Centro, Argentina, and Universitat de Barcelona)
Generalized modal structures
|
|
|
| 5,12/02 |
Josep Maria Font (Universitat de Barcelona)
The Graded Deduction-Detachment Theorem
|
|
|
| 29/01 |
Josep Maria Font (Universitat de Barcelona)
The Deduction Theorem and full adequacy of Gentzen systems
|
|
|
| 22/01 |
Josep Maria Font (Universitat de Barcelona)
Weakening the Deduction Theorem and strengthening Modus Ponens
|
|
|
|
| 2003 |
|
|
| 18/12 |
Joan Gispert (Universitat de Barcelona)
Axiomatic extensions of the nilpotent minimum logic
|
|
|
| 11/12 |
Joan Gispert (Universitat de Barcelona)
Standard completeness theorems for monoidal linear logics
|
|
|
| 04/12 |
Lluís Godo (Research Institute in Artificial Intelligence, CSIC, Bellaterra)
Varieties of regular BL-algebras
|
|
|
| 20/11 |
Antoni Torrens (Universitat de Barcelona)
Decomposability of free Tarski algebras
|
|
|
| 6,13/11 |
Ramon Jansana (Universitat de Barcelona)
Semilattice-based logics
|
|
|
| 30/10 |
Francesc Esteva (Research Institute in Artificial Intelligence, CSIC)
Fuzzy logics in the framework of substructural logics
|
|
|
| 23/10 |
Antoni Torrens (Universitat de Barcelona)
Glivenko-type theorems in natural extensions of BCK logic (II)
|
|
|
| 16/10 |
Petr Cintula (Institute of Computer Science,
Academy of Sciencies of the Czech Republic)
Compactness in Fuzzy Logics
Libor Behounek (Institute of Computer Science,
Academy of Sciencies of the Czech Republic)
Axiomatic Fuzzy Set Theory
|
|
|
| 9/10 |
Antoni Torrens (Universitat de Barcelona)
Glivenko-type theorems in natural extensions of BCK logic (I)
|
|
|
| ( . . . ) |
ub.edu