Syntax Meets Semantics: Methods, Interactions, and Connections in Substructural logics.

Resultado final

Third workshop report

Report on the third workshop.

Technical report 1

Technical report on WP4

Technical report 2

Technical report on WP 5

Progress Report
Technical report 5

Technical report on WP8

Technical report 6

Technical report on WP9

Fourth workshop report

Report on the fourth workshop.

Report on the first workshop.
Final conference report

Final conference report.

Technical report 3

Technical report on WP6

Conference proceedings

Initial conference proceedings

Second workshop report

Report on the second workshop

Technical report 4

Technical report on WP7

Publicaciones

On Kalman’s functor for bounded hemi-implicative semilattices and hemi-implicative lattices

Autores: Ramon Jansana, Hernán Javier San Martín
Publicado en: Logic Journal of the IGPL, Edición 26/1, 2017, Página(s) 47-82, ISSN 1367-0751
Editor: Oxford University Press
DOI: 10.1093/jigpal/jzx052

A Real-Valued Modal Logic

Autores: Diaconescu Denisa, Metcalfe George, Schnüriger Laura
Publicado en: Logical Methods in Computer Science, Edición 14(1), 2018, ISSN 1860-5974
Editor: Technischen Universitat Braunschweig

Towards a probability theory for product logic: States, integral representation and reasoning

Autores: Tommaso Flaminio, Lluis Godo, Sara Ugolini
Publicado en: International Journal of Approximate Reasoning, Edición 93, 2018, Página(s) 199-218, ISSN 0888-613X
Editor: Elsevier BV
DOI: 10.1016/j.ijar.2017.11.003

Cut Elimination, Identity Elimination, and Interpolation in Super-Belnap Logics

Autores: Adam Přenosil
Publicado en: Studia Logica, Edición 105/6, 2017, Página(s) 1255-1289, ISSN 0039-3215
Editor: Kluwer Academic Publishers
DOI: 10.1007/s11225-017-9746-8

Back-and-forth systems for fuzzy first-order models

Autores: Pilar Dellunde, Àngel García-Cerdaña, Carles Noguera
Publicado en: Fuzzy Sets and Systems, 2018, ISSN 0165-0114
Editor: Elsevier BV
DOI: 10.1016/j.fss.2018.01.016

A New Hierarchy of Infinitary Logics in Abstract Algebraic Logic

Autores: Tomáš Lávička, Carles Noguera
Publicado en: Studia Logica, Edición 105/3, 2017, Página(s) 521-551, ISSN 0039-3215
Editor: Kluwer Academic Publishers
DOI: 10.1007/s11225-016-9699-3

Neighborhood semantics for modal many-valued logics

Autores: Petr Cintula, Carles Noguera
Publicado en: Fuzzy Sets and Systems, 2017, ISSN 0165-0114
Editor: Elsevier BV
DOI: 10.1016/j.fss.2017.10.009

Implicational (semilinear) logics III: completeness properties

Autores: Petr Cintula, Carles Noguera
Publicado en: Archive for Mathematical Logic, 2017, ISSN 0933-5846
Editor: Springer Verlag
DOI: 10.1007/s00153-017-0577-0

On the structure theory of Łukasiewicz near semirings

Autores: Ivan Chajda, Davide Fazio, Antonio Ledda
Publicado en: Logic Journal of the IGPL, Edición 26/1, 2017, Página(s) 14-28, ISSN 1367-0751
Editor: Oxford University Press
DOI: 10.1093/jigpal/jzx044

Stone-Type Representations and Dualities for Varieties of Bisemilattices

Autores: Antonio Ledda
Publicado en: Studia Logica, Edición 106/2, 2018, Página(s) 417-448, ISSN 0039-3215
Editor: Kluwer Academic Publishers
DOI: 10.1007/s11225-017-9745-9

On Some Properties of PBZ*-Lattices

Autores: Roberto Giuntini, Antonio Ledda, Francesco Paoli
Publicado en: International Journal of Theoretical Physics, Edición 56/12, 2017, Página(s) 3895-3911, ISSN 0020-7748
Editor: Kluwer Academic/Plenum Publishers
DOI: 10.1007/s10773-017-3374-y

On Principal Congruences in Distributive Lattices with a Commutative Monoidal Operation and an Implication

Autores: Ramon Jansana, Hernán Javier San Martín
Publicado en: Studia Logica, 2018, ISSN 0039-3215
Editor: Kluwer Academic Publishers
DOI: 10.1007/s11225-018-9796-6

MacNeille transferability and stable classes of Heyting algebras

Autores: Guram Bezhanishvili, John Harding, Julia Ilin, Frederik Möllerström Lauridsen
Publicado en: Algebra universalis, Edición 79/3, 2018, ISSN 0002-5240
Editor: Birkhauser Verlag
DOI: 10.1007/s00012-018-0534-8

Hypersequents and Systems of Rules

Autores: Agata Ciabattoni, Francesco A. Genco
Publicado en: ACM Transactions on Computational Logic, Edición 19/2, 2018, Página(s) 1-27, ISSN 1529-3785
Editor: Association for Computing Machinary, Inc.
DOI: 10.1145/3180075

Varieties of De Morgan monoids: Minimality and irreducible algebras

Autores: T. Moraschini, J.G. Raftery, J.J. Wannenburg
Publicado en: Journal of Pure and Applied Algebra, 2018, ISSN 0022-4049
Editor: Elsevier BV
DOI: 10.1016/j.jpaa.2018.09.015

Expanding $$\hbox {FL}_{ew}$$ FL e w with a Boolean connective

Autores: Rodolfo C. Ertola-Biraben, Francesc Esteva, Lluís Godo
Publicado en: Soft Computing, 2016, ISSN 1432-7643
Editor: Springer Verlag
DOI: 10.1007/s00500-016-2275-y

Is multiset consequence trivial?

Autores: Petr Cintula, Francesco Paoli
Publicado en: Synthese, 2016, ISSN 0039-7857
Editor: D. Reidel Pub. Co.
DOI: 10.1007/s11229-016-1209-7

Maximality in finite-valued Łukasiewicz logics defined by order filters

Autores: Marcelo E Coniglio, Francesc Esteva, Joan Gispert, Lluis Godo
Publicado en: Journal of Logic and Computation, Edición 29/1, 2018, Página(s) 125-156, ISSN 0955-792X
Editor: Oxford University Press
DOI: 10.1093/logcom/exy032

Corrigendum to “Towards a probability theory for product logic: States, integral representation and reasoning” [Int. J. Approx. Reason. 93 (2018) 199–218]

Autores: Tommaso Flaminio, Lluis Godo, Sara Ugolini
Publicado en: International Journal of Approximate Reasoning, Edición 103, 2018, Página(s) 267-269, ISSN 0888-613X
Editor: Elsevier BV
DOI: 10.1016/j.ijar.2018.09.010

VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS

Autores: T. MORASCHINI, J. G. RAFTERY, J. J. WANNENBURG
Publicado en: The Review of Symbolic Logic, 2019, Página(s) 1-37, ISSN 1755-0203
Editor: Cambridge University Press
DOI: 10.1017/s1755020318000448

Subframization and stabilization for superintuitionistic logics

Autores: Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin
Publicado en: Journal of Logic and Computation, Edición 29/1, 2019, Página(s) 1-35, ISSN 0955-792X
Editor: Oxford University Press
DOI: 10.1093/logcom/exy035

Epimorphisms, Definability and Cardinalities

Autores: T. Moraschini, J. G. Raftery, J. J. Wannenburg
Publicado en: Studia Logica, 2019, ISSN 0039-3215
Editor: Kluwer Academic Publishers
DOI: 10.1007/s11225-019-09846-5

STABLE MODAL LOGICS

Autores: GURAM BEZHANISHVILI, NICK BEZHANISHVILI, JULIA ILIN
Publicado en: The Review of Symbolic Logic, Edición 11/03, 2018, Página(s) 436-469, ISSN 1755-0203
Editor: Cambridge University Press
DOI: 10.1017/s1755020317000375

Skolemization and Herbrand theorems for lattice-valued logics

Autores: Petr Cintula, Denisa Diaconescu, George Metcalfe
Publicado en: Theoretical Computer Science, 2019, ISSN 0304-3975
Editor: Elsevier BV
DOI: 10.1016/j.tcs.2019.02.007

An Abstract Approach to Consequence Relations

Autores: PETR CINTULA, JOSÉ GIL-FÉREZ, TOMMASO MORASCHINI, FRANCESCO PAOLI
Publicado en: The Review of Symbolic Logic, 2019, Página(s) 1-40, ISSN 1755-0203
Editor: Cambridge University Press
DOI: 10.1017/s175502031900008x

On the existence of free models in fuzzy universal Horn classes

Autores: Vicent Costa, Pilar Dellunde
Publicado en: Journal of Applied Logic, 2016, ISSN 1570-8683
Editor: Elsevier BV
DOI: 10.1016/j.jal.2016.11.002

Canonical formulas for k-potent commutative, integral, residuated lattices

Autores: Nick Bezhanishvili, Nick Galatos, Luca Spada
Publicado en: Algebra universalis, 2017, ISSN 0002-5240
Editor: Birkhauser Verlag
DOI: 10.1007/s00012-017-0430-7

Term Models of Horn Clauses over Rational Pavelka Predicate Logic

Autores: Vicent Costa, Pilar Dellunde
Publicado en: 2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL), 2017, Página(s) 112-117, ISBN 978-1-5090-5496-1
Editor: IEEE
DOI: 10.1109/ismvl.2017.26

A Logical Framework for Graded Predicates

Autores: Petr Cintula, Carles Noguera, Nicholas J. J. Smith
Publicado en: Lecture Notes in Computer Science, 2017, Página(s) 3-16
Editor: Springer Berlin Heidelberg
DOI: 10.1007/978-3-662-55665-8_1

On the relation between modal and multi-modal logics over Łukasiewicz logic

Autores: Francese Esteva, Lluis Godo, Ricardo Oscar Rodriguez
Publicado en: 2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 2017, Página(s) 1-6, ISBN 978-1-5090-6034-4
Editor: IEEE
DOI: 10.1109/fuzz-ieee.2017.8015703

Coherence in Modal Logic

Autores: Kowalski, Tomasz; Metcalfe, George
Publicado en: Advances in Modal Logic, Edición 12, 2018, Página(s) 451-464, ISBN 978-1-84890-255-8
Editor: College Publications
DOI: 10.7892/boris.119774

Proof Theory and Ordered Groups

Autores: Almudena Colacito, George Metcalfe
Publicado en: Lecture Notes in Computer Science, Edición 10388, 2017, Página(s) 80-91, ISBN 978-3-662-55385-5
Editor: Springer Berlin Heidelberg
DOI: 10.1007/978-3-662-55386-2_6

Possibilistic Semantics for a Modal KD45 Extension of Gödel Fuzzy Logic

Autores: Félix Bou, Francesc Esteva, Lluís Godo, Ricardo Oscar Rodriguez
Publicado en: Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2016, Página(s) 123-135, ISBN 978-3-319-40581-0
Editor: Springer International Publishing
DOI: 10.1007/978-3-319-40581-0_11

Fuzzy Positive Primitive Formulas

Autores: Pilar Dellunde
Publicado en: Modeling Decisions for Artificial Intelligence - 15th International Conference, MDAI 2018, Mallorca, Spain, October 15–18, 2018, Proceedings, Edición 11144, 2018, Página(s) 156-168, ISBN 978-3-030-00201-5
Editor: Springer International Publishing
DOI: 10.1007/978-3-030-00202-2_13

Resultado final

Publicaciones

Compartir esta página

Descargar