Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
Logo Universitat de Barcelona RESEARCH GROUP IN NON-CLASSICAL LOGICS Imatge de diagramaci
UB Home Imatge de diagramaci
Imatge de diagramació
Imatge de diagramacio
Imatge de diagramaci Imatge de diagramaci Imatge de diagramaci Imatge de diagramaci
Imatge de diagramaci
Index
About
Members
Collaborators
Funding
Publications
Manuscripts
The Seminar
Next session
Past sessions
Master
Doctorate
Links
 
 
Icona d'informacio To receive the
announcements
please write to

jmfontIcona de correuub.edu
 

Imatge de diagramaci Imatge de diagramaci  
 

 
THE SEMINAR ON NON-CLASSICAL LOGICS
 
PAST SESSIONS

2017
Imatge de diagramaci
Imatge de diagramaci
10/02 Tommaso Moraschini (The Czech Academy of Sciences)
The poset of logics
More info: click here.
Imatge de diagramaci
Imatge de diagramaci
27/01 Tommaso Moraschini (The Czech Academy of Sciences)
On the complexity of the Leibniz hierarchy
Imatge de diagramaci
Imatge de diagramaci
13/01 Ricardo Rodríguez (Universidad de Buenos Aires)
Epistemic BL-algebras
Imatge de diagramaci
Imatge de diagramaci
Imatge de diagramaci
2016
Imatge de diagramaci
Imatge de diagramaci
16/12 Joan Gispert (Universitat de Barcelona)
(Almost) structural completeness of nilpotent minimum logics
Imatge de diagramaci
Imatge de diagramaci
28/06

Sérgio Marcelinoi (Istituto de Telecomunicações, Lisboa)
On finite-valued and finitely generated logics
More info: click here.

Imatge de diagramaci
Imatge de diagramaci
08/06 Tommaso Moraschini (University of Barcelona)
Public defence of the Ph D Dissertation "Investigations into the role of translations in abstract algebraic logic"
Imatge de diagramaci
Imatge de diagramaci
15/04 Sara Ugolini (Università di Siena)
Semihoop-Triples and subcategories of MTL-algebras
Imatge de diagramaci
Imatge de diagramaci
17/03 Janusz Czelakowski (Opole University, Poland)
Logical Systems Based On Cumulative Distribution Functions
Imatge de diagramaci
Imatge de diagramaci
11/03 Tommaso Moraschini (Universitat de Barcelona)
The Beth Property in Varieties of Residuated Structures
Imatge de diagramaci
Imatge de diagramaci
Imatge de diagramaci
2015
Imatge de diagramaci
Imatge de diagramaci
04/12 Hugo Albuquerque (Universitat de Barcelona)
Strong versions of sentential logics
Imatge de diagramaci
Imatge de diagramaci
06/11 Tommaso Moraschini (Universitat de Barcelona)
Adjunctions as interpretation between logics (part 3)
Imatge de diagramaci
Imatge de diagramaci
16/10 Tommaso Moraschini (Universitat de Barcelona)
Adjunctions as interpretation between logics (part 2)
Imatge de diagramaci
Imatge de diagramaci
09/10 Tommaso Moraschini (Universitat de Barcelona)
Adjunctions as interpretation between logics (part 1)
Imatge de diagramaci
Imatge de diagramaci
05/06 Luca Spada (Institute for Logic, Language and Information, Amsterdam)
The Nullstellensatz for varieties, and topological dualities
Imatge de diagramaci
Imatge de diagramaci
22/05 Tommaso Flaminio (Università dell'Insubria, Varese, Italy)
Strong coherence and faithful states on many-valued events
Imatge de diagramaci
Imatge de diagramaci
15/05 Diego Valota (IIIA, CSIC)
Computing Amalgamas and Interpolants in Finite Gödel Algebras via Dualities
Imatge de diagramaci
Imatge de diagramaci
24/04 Francesc Esteva (IIIA, CSIC)
On paraconsistency and fuzzy logic (II)
Imatge de diagramaci
Imatge de diagramaci
17/04 Lluís Godo (IIIA, CSIC)
On paraconsistency and fuzzy logic (I)
Imatge de diagramaci
Imatge de diagramaci
15/04 Umberto Rivieccio (Delft University of Technology)
An algebraic view of dynamic epistemic logics
Imatge de diagramaci
Imatge de diagramaci
06/03 Walter Carnielli (State University of Campinas, Brazil)
Consistency as a primitive notion and its consequences: Sketch of an Expanded Theory for Arithmetical Truth
Imatge de diagramaci
Imatge de diagramaci
27/02 Juliana Bueno-Soler (State University of Campinas, Brazil)
Paraconsistent probabilities: degrees of rational belief under contradiction?
Imatge de diagramaci
Imatge de diagramaci
20/02 Walter Carnielli (Universidade Estadual de Campinas, Brasil)
Algebra and first-order logic reconciled?
Imatge de diagramaci
Imatge de diagramaci
16/01 Rodolfo Ertola (Universidade Estadual de Campinas, Brasil)
Adding connectives to non-classical logic
Imatge de diagramaci
Imatge de diagramaci
Imatge de diagramaci
2014
Imatge de diagramaci
Imatge de diagramaci
12/10 Tommaso Moraschini (Universitat de Barcelona)
A computational glimpse at the Leibniz hierarchy
Imatge de diagramaci
Imatge de diagramaci
10/10 Joan Gispert (Universitat de Barcelona)
Quasivarieties of MV-algebras and bases for admissible rules for Lukasiewicz logics
Imatge de diagramaci
Imatge de diagramaci
26/09 Tommaso Moraschini (Universitat de Barcelona)
Characterizing algebras that are everywhere logifiable
Imatge de diagramaci
Imatge de diagramaci
02/07 Sergio A. Celani (Universidad Nacional del Centro, Tandil, Argentina)
Midly distributive semilattices
Imatge de diagramaci
Imatge de diagramaci
02/07 Marcelo Coniglio (Universidade Estadual de Campinas, Brasil)
F-structures and Swap structures for Logics of Formal Inconsistency
Imatge de diagramaci
Imatge de diagramaci
25/06 Rodolfo Ertola (Universidade Estadual de Campinas, Brasil)
Adding univocal connectives
Imatge de diagramaci
Imatge de diagramaci
18/06 Hugo Albuquerque (Universitat de Barcelona)
Compatibility operators in abstract algebraic logic, part II: Generalizing the notion of Leibniz S-filter
Imatge de diagramaci
Imatge de diagramaci
11/06 Hugo Albuquerque (Universitat de Barcelona)
Generalizing the Leibniz and Suszko operators
Imatge de diagramaci
Imatge de diagramaci
04/06 Luciano González (Universitat de Barcelona and Universidad Nacional de la Pampa, Argentina)
A Topological Duality for Posets
Imatge de diagramaci
Imatge de diagramaci
28/05 Carles Noguera (Institute of Information Theory and Automation, Academy of Sciences of the Czech Republic)
Modal logics of uncertainty with two layer-syntax: a general completeness theorem
Imatge de diagramaci
Imatge de diagramaci
21/05 Josep Maria Font (University of Barcelona)
Truth-equational logics and the Frege hierarchy
Imatge de diagramaci
Imatge de diagramaci
14/05 Tommaso Moraschini (University of Barcelona)
Polynomial completeness in abstract algebraic logic
Imatge de diagramaci
Imatge de diagramaci
26/03 Tommaso Moraschini (University of Barcelona)
Truth predicates in matrix semantics
Imatge de diagramaci
Imatge de diagramaci
12/03 Diego Castaño (Universidad Nacional del Sur, Bahía Blanca, Argentina)
Projective Lukasiewicz implication algebras
Imatge de diagramaci
Imatge de diagramaci
Imatge de diagramaci
2013
Imatge de diagramaci
Imatge de diagramaci
14/11
Joan Gispert (Universitat de Barcelona)
Lattice BCK logics with Modus Ponens as the only rule
Imatge de diagramaci
Imatge de diagramaci
07/11
Tommaso Moraschini (Universitat de Barcelona)
Logics of varieties and logics of semilattice
Imatge de diagramaci
Imatge de diagramaci
24/10
Ramon Jansana (Universitat de Barcelona)
Logics associated with equationally orderable quasi-varieties (II)
Imatge de diagramaci
Imatge de diagramaci
17/10
Ramon Jansana (Universitat de Barcelona)
Logics associated with equationally orderable quasi-varieties (I)
Imatge de diagramaci
Imatge de diagramaci
12/06
Antoni Torrens (Universitat de Barcelona)
Regular elements and Kolmogorov's translation in residuated lattices
Imatge de diagramaci
Imatge de diagramaci
05/06
María Esteban (Universitat de Barcelona)
Spectral-like and Priestley-style dualities for filter distributive congruential logics
Imatge de diagramaci
Imatge de diagramaci
29/05
Josep Maria Font (Universitat de Barcelona)
Protoalgebraic logics defined by coherent sets of formulas
Imatge de diagramaci
Imatge de diagramaci
22/05
Umberto Rivieccio (University of Birmingham)
On the minimum four-valued modal logic over the Belnap lattice
Imatge de diagramaci
Imatge de diagramaci
15/05
Achim Jung (University of Birmingham)
Programs, domains, and logic
Imatge de diagramaci
Imatge de diagramaci
08/05
Josep Maria Font (Universitat de Barcelona)
On the order structure of the set of protoalgebraic logics
Imatge de diagramaci
Imatge de diagramaci
17/04
José Gil-Férez (Università di Cagliari)
Laterally complete and projectable hulls of semilinear residuated lattices
Imatge de diagramaci
Imatge de diagramaci
06/03
Diego Castaño (Universidad Nacional del Sur, Bahía Blanca, Argentina)
Funciones algebraicas y clases algebraicamente expandibles en álgebras de implicación de Lukasiewicz
Imatge de diagramaci
Imatge de diagramaci
27/02
José Patricio Díaz Varela (Universidad Nacional del Sur, Bahía Blanca, Argentina)
Monadic l-groups and monadic MV-algebras
Imatge de diagramaci
Imatge de diagramaci
20/02
Tommaso Moraschini (University of Barcelona)
The logic of conjunction
Imatge de diagramaci
Imatge de diagramaci
07/02
Participants of the Barcelona research groups
Open problems session on mathematical fuzzy logic
Imatge de diagramaci
Imatge de diagramaci
31/01
Participants of the Barcelona research groups
Open problems session on abstract algebraic logic
Imatge de diagramaci
Imatge de diagramaci
24/01
Marcelo Esteban Coniglio (Universidade Estadual de Campinas, Brasil)
On the relationship between tetravalent modal algebras, symmetric Boolean algebras and modal algebras for S5
Imatge de diagramaci
Imatge de diagramaci
17/01 Stefano Aguzzoli (Università degli Studi di Milano)
Finite Forests. Their Algebras and Logics
Imatge de diagramaci
Imatge de diagramaci
08/01 Jonas Rogger (Mathematisches Institut, Universität Bern)
A New Semantics and Finite Model Property for Gödel Modal Logics
George Metcalfe (Mathematisches Institut, Universität Bern)
An application of proof theory to lattice-ordered groups
Imatge de diagramaci
Imatge de diagramaci
Imatge de diagramaci
2012
Imatge de diagramaci
Imatge de diagramaci
13/12 Félix Bou, Josep Maria Font and others
Open problems session on abstract algebraic logic
Imatge de diagramaci
Imatge de diagramaci
29/11 María Esteban (University of Barcelona)
Spectral-like and Priestley-style dualities for distributive Hilbert algebras with infimum
Imatge de diagramaci
Imatge de diagramaci
22/11 Vladimir Estivill-Castro (Grifith University, Nathan, Australia)
Do Robots That Play Soccer Use Logic?
Imatge de diagramaci
Imatge de diagramaci
08/11 Luciano González (University of Barcelona)
Fully selfextensional logics with a disjunction
Imatge de diagramaci
Imatge de diagramaci
25/10 Tommaso Moraschini (University of Barcelona)
M-sets and the isomorphism problem
Imatge de diagramaci
Imatge de diagramaci
23/10 Amanda Vidal (University of Barcelona)
NiBLoS: A Nice BL-logics Solver. A solver for most BL-chain based fuzzy logics
Imatge de diagramaci
Imatge de diagramaci
16/10 Rafael Peñaloza (Technische Universität Dresden)
Finding the culprits – A true mistery tale
Imatge de diagramaci
Imatge de diagramaci
11/10 Denisa Diaconescu (Faculty of Mathematics and Computer Science, University of Bucharest)
Many-Valued Logics with Non-Commutative Conjunction
Imatge de diagramaci
Imatge de diagramaci
10/10 Revaz Grigolia (Tbilisi University, Georgia)
On finitely generated free and projective monadic Heyting algebras
Imatge de diagramaci
Imatge de diagramaci
27/09 Félix Bou (University of Barcelona)
An exotic MTL chain
Imatge de diagramaci
Imatge de diagramaci
20/09 Sergio Arturo Celani (Universidad Nacional del Centro, Tandil, Argentina)
Distributive Nearlattices
Imatge de diagramaci
Imatge de diagramaci
28/06 Marco Cerami (IIIA-CSIC, Bellaterra)
On the undecidability of Fuzzy Description Logics with GCIs under Lukasiewicz t-norm
Imatge de diagramaci
Imatge de diagramaci
21/06 Tommaso Moraschini (University of Barcelona)
The interplay between theories and models in abstract algebraic logic
Imatge de diagramaci
Imatge de diagramaci
07/06 Félix Bou (University of Barcelona)
MTL chains are difficult II
Imatge de diagramaci
Imatge de diagramaci
31/05 Félix Bou (University of Barcelona)
MTL chains are difficult I
Imatge de diagramaci
Imatge de diagramaci
17/05 Francesc Esteva (IIIA-CSIC, Bellaterra)
A logical approach to fuzzy truth hedges: an application of abstract theories of fuzzy logic
Imatge de diagramaci
Imatge de diagramaci
03/05 Carles Noguera (Research Institute in Artificial Intelligence - CSIC, Bellaterra)
Non-associative substructural logics and a really basic fuzzy logic
Imatge de diagramaci
Imatge de diagramaci
26/04 Ramon Jansana (Universitat de Barcelona)
Topological dualities for distributive meet-semilattices, implicative semilattices and Hilbert algebras
Imatge de diagramaci
Imatge de diagramaci
28/03 Joost Joosten (Universitat de Barcelona)
Japaridze Algebras in the Foundations of Mathematics
Imatge de diagramaci
Imatge de diagramaci
22/03 Josep Maria Font (Universitat de Barcelona)
Raftery's Contextual Deduction Theorems
Imatge de diagramaci
Imatge de diagramaci
15/03 Franco Montagna (Università degli Studi di Siena)
Non-Archimedean Probability and Conditional Probability
Imatge de diagramaci
Imatge de diagramaci
01/03 José Gil-Férez (Institute of Mathematics, University of Barcelona)
Leibniz Interpolation Properties, II
Imatge de diagramaci
Imatge de diagramaci
27/02 Enric Cosme (Università di Cagliari)
On independent varieties and some related notions
Imatge de diagramaci
Imatge de diagramaci
22, 23/02 Enric Cosme (Master in Pure and Applied Logic, University of Barcelona)
Universal Coalgebra
Imatge de diagramaci
Imatge de diagramaci
16/02 Oliver Fasching (Vienna University of Technology)
Gödel homomorphisms as Gödel modal operators
Imatge de diagramaci
Imatge de diagramaci
09/02 José Gil-Férez (IMUB, Universitat de Barcelona)
Leibniz Interpolation Properties
Imatge de diagramaci
Imatge de diagramaci
02/02 Antoni Torrens (Universitat de Barcelona)
Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term (II)
Imatge de diagramaci
Imatge de diagramaci
26/01 Antoni Torrens (Universitat de Barcelona)
Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term
Imatge de diagramaci
Imatge de diagramaci
19/01 Ricardo Rodríguez (Universidad de Buenos Aires)
Fuzzy Modal Logics: the Gödel case
Imatge de diagramaci
Imatge de diagramaci
Imatge de diagramaci
2011
Imatge de diagramaci
Imatge de diagramaci
15/12 Carles Noguera (IIIA - CSIC, Bellaterra)
The relations between Deduction Theorems and the Proof by Cases Property in substructural logics
Imatge de diagramaci
Imatge de diagramaci
27/10 José Patricio Díaz Varela (Universidad Nacional del Sur, Bahía Blanca, Argentina)
Subvarieties of monadic MV-algebras
Imatge de diagramaci
Imatge de diagramaci
14/10 Umberto Rivieccio (University of Birmingham)
Twist-structures over residuated lattices
Imatge de diagramaci
Imatge de diagramaci
09/05 Levan Uridia (Universidad Rey Juan Carlos, Madrid)
Algebraic Models For Nonmonotonic Normal Modal Logics
Imatge de diagramaci
Imatge de diagramaci
24/03 Félix Bou (University of Barcelona)
Undecidability of Lukasiewicz's monadic predicate logic
Imatge de diagramaci
Imatge de diagramaci
17/03 Félix Bou (University of Barcelona)
Standard tautologies of Lukasiewicz logic that are not general tautologies (II)
Imatge de diagramaci
Imatge de diagramaci
10/03 Félix Bou (University of Barcelona)
Standard tautologies of Lukasiewicz logic that are not general tautologies
Imatge de diagramaci
Imatge de diagramaci
24/02 Alessandra Palmigiano (ILLC, University of Amsterdam)
Epistemic updates on algebras: Algebraic models and completeness for Intuitionistic Public Announcement Logic
Imatge de diagramaci
Imatge de diagramaci
17/02 Josep Maria Font (University of Barcelona)
Leibniz-linked pairs of deductive systems
Imatge de diagramaci
Imatge de diagramaci
03/02 Marco Cerami (Artificial Intelligence Research Institute, IIIA-CSIC, Bellaterra)
Finite-valued Lukasiewicz Modal Logic is PSPACE-complete
Imatge de diagramaci
Imatge de diagramaci
27/01 Félix Bou (Department of Probability, Logic and Statistics. University of Barcelona)
Many-valued modal logics: getting rid of variables
Imatge de diagramaci
Imatge de diagramaci
Imatge de diagramaci
2010
Imatge de diagramaci
Imatge de diagramaci
16/12 Joost Joosten (Department of Logic, History and Philosophy of Science, University of Barcelona)
Provability logics with transfinitely many modalities: semantics and algebras
Imatge de diagramaci
Imatge de diagramaci
02/12 Petr Cintula (Academy of Sciences of the Czech Republic, Prague)
Everything you always wanted to know about disjunction (but were afraid to ask)
Imatge de diagramaci
Imatge de diagramaci
11/11 Umberto Rivieccio (University of Genova, Italy)
Extensions of the logic of Belnap-Dunn
Imatge de diagramaci
Imatge de diagramaci
07/10 Joan Gispert (University of Barcelona)
Quasivarieties of MV-algebras
Imatge de diagramaci
Imatge de diagramaci
23/09 Roberto Cignoli (Instituto Argentino de Matemática - CONICET, Argentina)
Weakly locally finite MV-algebras and real-valued multisets
Imatge de diagramaci
Imatge de diagramaci
16/09 Sergio Arturo Celani (Universidad Nacional del Centro, Tandil, Argentina)
Concurrent algebras
Imatge de diagramaci
Imatge de diagramaci
25/05 Daniele Mundici (Università di Firenze)
The logic of polyhedra
Imatge de diagramaci
Imatge de diagramaci
21/05 Marco Cerami (IIIA-CSIC, Bellaterra)
Decidability of a Description Logic over Infinite-Valued Lukasiewicz and Product Logic
Imatge de diagramaci
Imatge de diagramaci
19/05 Umberto Rivieccio (Università di Genova)
Varieties of interlaced bilattices
Imatge de diagramaci
Imatge de diagramaci
14/05 Àngel García-Cerdaña (IIIA-CSIC, Bellaterra)
Fuzzy description logics
Imatge de diagramaci
Imatge de diagramaci
07/05 Àngel García-Cerdaña (IIIA-CSIC, Bellaterra)
Description logics
Imatge de diagramaci
Imatge de diagramaci
30/04 Norbert Preining (Japan Advanced Institute of Science and Technology)
Satisfiability in Gödel Logics - A challenging landscape
Imatge de diagramaci
Imatge de diagramaci
09/04 Francesc Esteva (IIIA-CISC, Bellaterra)
Witnessed and quasi-witnessed models for first-order fuzzy logics: general semantics
Imatge de diagramaci
Imatge de diagramaci
19/03, 26/03 Carles Noguera (IIIA-CISC, Bellaterra)
First-order fuzzy logics: an introduction
Imatge de diagramaci
Imatge de diagramaci
19/01, 26/01 Antoni Torrens (Universitat de Barcelona)
Undecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts
Imatge de diagramaci
Imatge de diagramaci
12/01 José Gil Férez (Universitat de Barcelona)
Categorial applications to abstract algebraic logic
Imatge de diagramaci
Imatge de diagramaci
Imatge de diagramaci
2009
Imatge de diagramaci
Imatge de diagramaci
15/12, 22/12 José Gil Férez (Universitat de Barcelona)
Categorial applications to abstract algebraic logic
Imatge de diagramaci
Imatge de diagramaci
01/12 José Patricio Díaz Varela (Universidad Nacional Del Sur, Bahía Blanca, Argentina)
Semi-Heyting algebras
Imatge de diagramaci
Imatge de diagramaci
24/11 Thomas Vetterlein (Medical University of Vienna)
On Possibilistic Logic for graded properties
Imatge de diagramaci
Imatge de diagramaci
17/11 Eva Armengol (IIIA-CSIC, Bellaterra)
Machine learning: families, methods and applications
Imatge de diagramaci
Imatge de diagramaci
27/10, 10/11 Ramon Jansana (Universitat de Barcelona)
Algebraizable logics with a semi-lattice based companion
Imatge de diagramaci
Imatge de diagramaci
20/10 José Patricio Díaz Varela (Universidad Nacional del Sur, Bahía Blanca, Argentina)
MV-closures of Wajsberg hoops
Imatge de diagramaci
Imatge de diagramaci
13/10 Petr Cintula (Institute of Computer Science, Academy of Sciences, Praga)
General approach to first-order non-classical logics
Imatge de diagramaci
Imatge de diagramaci
06/10 Marta Bilkova (Department of Logic, Charles University, Praga) and
Jiri Velebil (Department of Mathematics, Czech Technical University, Praga)
On coalgebraic modal logic
Imatge de diagramaci
Imatge de diagramaci
02/07 Enrico Marchioni (Artificial Intelligence Research Institute, CSIC)
Amalgamation through quantifier elimination for varieties of residuated lattices
Imatge de diagramaci
Imatge de diagramaci
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
Imatge de diagramaci
Imatge de diagramaci
11/06 Umberto Rivieccio (Università di Genova and Universitat de Barcelona)
Logical bilattices: adding implications
Imatge de diagramaci
Imatge de diagramaci
04/06 Àngel Gil (Universitat Pompeu Fabra)
On Gentzen systems associated with finite valued logics preserving degrees of truth
Imatge de diagramaci
Imatge de diagramaci
19/05, 26/05 Ramon Jansana (Universitat de Barcelona)
Equationally orderable quasivarieties and sequent calculi
Imatge de diagramaci
Imatge de diagramaci
24/04, 08/05 Àngel J. Gil (Department of Economics, Universitat Pompeu Fabra, Barcelona)
Efficient Algorithms for Description Problems over Finite Totally Ordered Domains
Imatge de diagramaci
Imatge de diagramaci
Imatge de diagramaci
2008
Imatge de diagramaci
Imatge de diagramaci
31/10 Petr Cintula (Institute of Computer Science, Prague)
The role of generalized disjunctions in (semilinear) implicational logics
Imatge de diagramaci
Imatge de diagramaci
28/10 Carles Noguera (Università di Siena)
Expanding the Leibniz hierarchy: (semilinear) implicational logics (paper, 692 KB)
Imatge de diagramaci
Imatge de diagramaci
17,24/10 Félix Bou (IIIA - CSIC, Bellaterra)
Computer tools for research in logic (slides, 60 KB)
Imatge de diagramaci
Imatge de diagramaci
19/09 José Patricio Díaz Varela (Universidad Nacional del Sur, Bahía Blanca, Argentina)
Congruence permutability in implication algebras
Imatge de diagramaci
Imatge de diagramaci
17/06 Sergio Celani (Universidad del Centro, Tandil, Argentina)
Topological dualilty for Hilbert and Tarski algebras
Imatge de diagramaci
Imatge de diagramaci
10/06 Antoni Torrens (University of Barcelona)
Varieties of semisimple bounded BCK-algebras, III: Discriminator varieties and strong expansions (slides, 3.9 MB)
Imatge de diagramaci
Imatge de diagramaci
05/06 Félix Bou (IIIA - CSIC, Bellaterra)
The Deduction-Detachment Theorem in logics preserving degrees of truth
Imatge de diagramaci
Imatge de diagramaci
03/06 Umberto Rivieccio (University of Genova)
The logic of logical bilattices
Imatge de diagramaci
Imatge de diagramaci
27/05 Ramon Jansana (University of Barcelona)
Duality for distributive semilattices
Imatge de diagramaci
Imatge de diagramaci
13,20/05 José Gil-Férez (University of Barcelona)
Special morphisms in the category of modules over complete residuated lattices
Imatge de diagramaci
Imatge de diagramaci
6/05
1,8,29/04
11,25/03
Ramon Jansana (University of Barcelona)
On Galatos' and Tsinakis' theory of equivalence of consequence relations
Imatge de diagramaci
Imatge de diagramaci
15/01,05/02 Antoni Torrens (University of Barcelona)
Varieties of semisimiple bounded BCK-algebras, I and II
Imatge de diagramaci
Imatge de diagramaci
Imatge de diagramaci
2007
Imatge de diagramaci
Imatge de diagramaci
11/12 Josep Maria Font (University of Barcelona)
Finiteness issues in algebraizable logics
Imatge de diagramaci
Imatge de diagramaci
04/12 Félix Bou (IIIA-CSIC, Bellaterra)
The logic of quasi-MV algebras (II)
Imatge de diagramaci
Imatge de diagramaci
27/11 Wojciech Buszkowski (Adam Mickiewicz University, Poznan, Poland)
Full non-associative Lambek calculus: Interpolation, finite models, grammars
Imatge de diagramaci
Imatge de diagramaci
13/11 Félix Bou (IIIA - CSIC, Bellaterra)
The logic of quasi-MV algebras
Imatge de diagramaci
Imatge de diagramaci
06/11 José Patricio Díaz Varela (Universidad Nacional del Sur, Bahía Blanca, Argentina)
Free Lukasiewicz implication algebras
Imatge de diagramaci
Imatge de diagramaci
16,23,30/10 Àngel García-Cerdaña (IIIA - CSIC, Bellaterra)
t-norm based logics: a substructural point of view
Imatge de diagramaci
Imatge de diagramaci
13/06 Roberto Cignoli (Universidad de Buenos Aires, Argentina)
Locally finite MV-algebras, multisets and a conjecture of Monteiro
Imatge de diagramaci
Imatge de diagramaci
08/06 Petr Cintula (Institute of Computer Science, Academy of Sciences, Prague)
Structural completeness in fuzzy logics
Imatge de diagramaci
Imatge de diagramaci
29/05 Félix Bou (IIIA - CSIC, Bellaterra)
There are no Tarski-style axiomatizations for most logics over FL_ew
Imatge de diagramaci
Imatge de diagramaci
22/05 Joan Gispert (Universitat de Barcelona)
On bounded BCK algebras (II): Boolean representations
Imatge de diagramaci
Imatge de diagramaci
08/05 Antoni Torrens (Universitat de Barcelona)
On bounded BCK algebras (I)
Imatge de diagramaci
Imatge de diagramaci
24/04 Ramon Jansana (Universitat de Barcelona)
An abstract algebraic logic approach to canonical extensions (IV)
Imatge de diagramaci
Imatge de diagramaci
10/04 Carles Noguera (Universitat de Lleida)
On n-contractive fuzzy logics
Imatge de diagramaci
Imatge de diagramaci
26/03 Petr Hájek (Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague)
On witnessed models of fuzzy logics
Imatge de diagramaci
Imatge de diagramaci
19/03 Wojciech Buszkowski (Poznan University, Poland)
Action logic: complexity and models
Imatge de diagramaci
Imatge de diagramaci
06,13/03
27/02
Ramon Jansana (Universitat de Barcelona)
An abstract algebraic logic approach to canonical extensions (I, II, III)
Imatge de diagramaci
Imatge de diagramaci
31/01 Stefan Hetzl (Vienna)
Computer-Aided Proof Analysis with CERES
Imatge de diagramaci
Imatge de diagramaci
Imatge de diagramaci
2006
Imatge de diagramaci
Imatge de diagramaci
05,12/12
14,21,28/11
16,23,31/10
Félix Bou (IIIA - CSIC, Bellaterra)
Introduction to complexity (through propositional logics)
Imatge de diagramaci
Imatge de diagramaci
13/07 Franco Montagna (Università di Siena)
On t-norms and uninorms definable in LP1/2 and their logics
Imatge de diagramaci
Imatge de diagramaci
11/07 Carles Noguera (IIIA - CSIC)
Algebraic study of the axiomatic extensions of fuzzy logics based on triangular norms
Imatge de diagramaci
Imatge de diagramaci
22/06 Ventura Verdú (Universitat de Barcelona)
On some classical fragments of intuitionistic logic without contraction
Imatge de diagramaci
Imatge de diagramaci
25/05 Félix Bou (IIIA - CSIC, Bellaterra)
Quasi-MV algebras and the associated logic
Imatge de diagramaci
Imatge de diagramaci
04/05
20,27/04
Majid Alizadeh (Institute for Studies in Theoretical Physics and Mathematics, Tehran, Iran)
Basic Propositional Logic
Imatge de diagramaci
Imatge de diagramaci
06/04 Stéphane Salaet (Universitat de Barcelona)
On Nelson's logic
Imatge de diagramaci
Imatge de diagramaci
16/03 Ramon Jansana (Universitat de Barcelona)
Equationally orderable quasivarieties and Gentzen systems
Imatge de diagramaci
Imatge de diagramaci
02/03 Antonio Ledda (University of Cagliari)
MV-algebras and quantum computation
Imatge de diagramaci
Imatge de diagramaci
16,23/02 Antoni Torrens (Universitaty de Barcelona)
Free algebras
Imatge de diagramaci
Imatge de diagramaci
09/02 Sergio Muñoz (Universidad Católica de la Santísima Concepción, Chile)
Weakening the substitution-invariance condition in Abstract Algebraic Logic
Imatge de diagramaci
Imatge de diagramaci
02/02
26/01
Josep Maria Font (Universitat de Barcelona)
Correspondences between Gentzen and Hilbert systems
Imatge de diagramaci
Imatge de diagramaci
13,20/01 Josep Maria Font (Universitat de Barcelona)
Equivalence of consequence operations
Imatge de diagramaci
Imatge de diagramaci
Imatge de diagramaci
2005
Imatge de diagramaci
Imatge de diagramaci
2,16,22/12
25/11
Ramon Jansana (Universitat de Barcelona)
Assertionally equivalent quasivarieties
Imatge de diagramaci
Imatge de diagramaci
18/11 Joan Gispert (Universitat de Barcelona)
Local embeddings and equivalent properties
Imatge de diagramaci
Imatge de diagramaci
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
Imatge de diagramaci
Imatge de diagramaci
21,28/10 Carles Noguera (Research Institute in Artificial Intelligence, CSIC, Bellaterra)
Weakly cancellative fuzzy logics
Imatge de diagramaci
Imatge de diagramaci
14/10 Francesc Esteva (Research Institute in Artificial Intelligence, CSIC, Bellaterra)
Adding truth constants to logics based on continuous t-norms
Imatge de diagramaci
Imatge de diagramaci
07/10 Edwin Mares (Victoria University of Wellington, New Zealand)
Semantics for Quantified Substructural Logic
Imatge de diagramaci
Imatge de diagramaci
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
Imatge de diagramaci
Imatge de diagramaci
20/05 Àngel Gil (Universitat Pompeu Fabra)
An infinite-valued Lukasiewicz logic that preserves degrees of truth
Imatge de diagramaci
Imatge de diagramaci
8,15/04 Antoni Torrens (Universitat de Barcelona)
Glivenko's Theorem in Algebraizable Logics
Imatge de diagramaci
Imatge de diagramaci
11/02 Jean-Yves Béziau (Swiss National Science Foundation, Neuchâtel)
Sequents and bivaluations : a general completeness result
Imatge de diagramaci
Imatge de diagramaci
Imatge de diagramaci
2004
Imatge de diagramaci
Imatge de diagramaci
3,10,17/12 Ramon Jansana (Universitat de Barcelona)
On referential semantics
Imatge de diagramaci
Imatge de diagramaci
26/11 Ramon Jansana (Universitat de Barcelona)
Selfextensional logics with conjunction
Imatge de diagramaci
Imatge de diagramaci
19/11 David Gracia (Universitat de Barcelona)
Dosen's systems and urlogs
Imatge de diagramaci
Imatge de diagramaci
12/11 José Gil (Universitat de Barcelona)
Categorical Abstract Algebraic Logic: Full models and Tarski congruences
Imatge de diagramaci
Imatge de diagramaci
5/11 José Gil (Universitat de Barcelona)
Categorical Abstract Algebraic Logic: Algebraizability of pi-institutions
Imatge de diagramaci
Imatge de diagramaci
29/10 José Gil (Universitat de Barcelona)
Categorical Abstract Algebraic Logic: the Isomorphism Theorem
Imatge de diagramaci
Imatge de diagramaci
22/10 Carles Noguera (Research Institute in Artificial Intelligence, CSIC, Bellaterra)
Perfect and bipartite algebras in IMTL and in MTL
Imatge de diagramaci
Imatge de diagramaci
15/10 Libor Behounek (Academy of Sciences, Prague)
Higher-order fuzzy logic and its applications
Imatge de diagramaci
Imatge de diagramaci
08/10 Petr Cintula (Academy of Sciences, Prague)
Weakly implicative (fuzzy) logics
Imatge de diagramaci
Imatge de diagramaci
21/09 Roberto Cignoli (CONICET, Argentina)
Free algebras in varieties of BL-algebras generated by BL-chains
Imatge de diagramaci
Imatge de diagramaci
7,15/09 Félix Bou (Universitat Autònoma de Barcelona)
Strict-weak languages
Imatge de diagramaci
Imatge de diagramaci
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)
Imatge de diagramaci
Imatge de diagramaci
21/05 Walter A. Carnielli (Centre for Logic and Epistemology (CLE), UNICAMP, Campinas)
Algebraizing logics via possible-translations semantics
Imatge de diagramaci
Imatge de diagramaci
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)
Imatge de diagramaci
Imatge de diagramaci
30/04 Carles Noguera (Research Institute in Artificial Intelligence, CSIC, Bellaterra)
On the scope of some definitions of additive connectives in fuzzy logics
Imatge de diagramaci
Imatge de diagramaci
16/04 Roberto Arpaia (Universitat de Barcelona)
Contributions to the history of Tarski's "methodology of deductive sciences": Magari's concept of "general calculus".
Imatge de diagramaci
Imatge de diagramaci
2/04 Yde Venema (Institute of Logic, Language and Computation, University of Amsterdam)
McNeille completions of lattice expansions
Imatge de diagramaci
Imatge de diagramaci
19,26/03 Félix Bou (Universitat Autònoma de Barcelona)
Quasi-bisimulations, a way of removing symmetry from bisimilarity
Imatge de diagramaci
Imatge de diagramaci
5/03 Antoni Torrens (Universitat de Barcelona)
Topological representation of implication algebras
Imatge de diagramaci
Imatge de diagramaci
20,27/02 Jorge Castro (Universidad Nacional del Centro, Argentina, and Universitat de Barcelona)
Generalized modal structures
Imatge de diagramaci
Imatge de diagramaci
5,12/02 Josep Maria Font (Universitat de Barcelona)
The Graded Deduction-Detachment Theorem
Imatge de diagramaci
Imatge de diagramaci
29/01 Josep Maria Font (Universitat de Barcelona)
The Deduction Theorem and full adequacy of Gentzen systems
Imatge de diagramaci
Imatge de diagramaci
22/01 Josep Maria Font (Universitat de Barcelona)
Weakening the Deduction Theorem and strengthening Modus Ponens
Imatge de diagramaci
Imatge de diagramaci
Imatge de diagramaci
2003
Imatge de diagramaci
Imatge de diagramaci
18/12 Joan Gispert (Universitat de Barcelona)
Axiomatic extensions of the nilpotent minimum logic
Imatge de diagramaci
Imatge de diagramaci
11/12 Joan Gispert (Universitat de Barcelona)
Standard completeness theorems for monoidal linear logics
Imatge de diagramaci
Imatge de diagramaci
04/12 Lluís Godo (Research Institute in Artificial Intelligence, CSIC, Bellaterra)
Varieties of regular BL-algebras
Imatge de diagramaci
Imatge de diagramaci
20/11 Antoni Torrens (Universitat de Barcelona)
Decomposability of free Tarski algebras
Imatge de diagramaci
Imatge de diagramaci
6,13/11 Ramon Jansana (Universitat de Barcelona)
Semilattice-based logics
Imatge de diagramaci
Imatge de diagramaci
30/10 Francesc Esteva (Research Institute in Artificial Intelligence, CSIC)
Fuzzy logics in the framework of substructural logics
Imatge de diagramaci
Imatge de diagramaci
23/10 Antoni Torrens (Universitat de Barcelona)
Glivenko-type theorems in natural extensions of BCK logic (II)
Imatge de diagramaci
Imatge de diagramaci
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
Imatge de diagramaci
Imatge de diagramaci
9/10 Antoni Torrens (Universitat de Barcelona)
Glivenko-type theorems in natural extensions of BCK logic (I)
Imatge de diagramaci
Imatge de diagramaci
( . . . )
 
Imatge de diagramaci
Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
  © Universitat de Barcelona Webmaster: Josep Maria Font
Latest update: 08/02/17