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

Livrables

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

Publications

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

Auteurs: Ramon Jansana, Hernán Javier San Martín
Publié dans: Logic Journal of the IGPL, Numéro 26/1, 2017, Page(s) 47-82, ISSN 1367-0751
Éditeur: Oxford University Press
DOI: 10.1093/jigpal/jzx052

A Real-Valued Modal Logic

Auteurs: Diaconescu Denisa, Metcalfe George, Schnüriger Laura
Publié dans: Logical Methods in Computer Science, Numéro 14(1), 2018, ISSN 1860-5974
Éditeur: Technischen Universitat Braunschweig

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

Auteurs: Tommaso Flaminio, Lluis Godo, Sara Ugolini
Publié dans: International Journal of Approximate Reasoning, Numéro 93, 2018, Page(s) 199-218, ISSN 0888-613X
Éditeur: Elsevier BV
DOI: 10.1016/j.ijar.2017.11.003

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

Auteurs: Adam Přenosil
Publié dans: Studia Logica, Numéro 105/6, 2017, Page(s) 1255-1289, ISSN 0039-3215
Éditeur: Kluwer Academic Publishers
DOI: 10.1007/s11225-017-9746-8

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

Auteurs: Pilar Dellunde, Àngel García-Cerdaña, Carles Noguera
Publié dans: Fuzzy Sets and Systems, 2018, ISSN 0165-0114
Éditeur: Elsevier BV
DOI: 10.1016/j.fss.2018.01.016

A New Hierarchy of Infinitary Logics in Abstract Algebraic Logic

Auteurs: Tomáš Lávička, Carles Noguera
Publié dans: Studia Logica, Numéro 105/3, 2017, Page(s) 521-551, ISSN 0039-3215
Éditeur: Kluwer Academic Publishers
DOI: 10.1007/s11225-016-9699-3

Neighborhood semantics for modal many-valued logics

Auteurs: Petr Cintula, Carles Noguera
Publié dans: Fuzzy Sets and Systems, 2017, ISSN 0165-0114
Éditeur: Elsevier BV
DOI: 10.1016/j.fss.2017.10.009

Implicational (semilinear) logics III: completeness properties

Auteurs: Petr Cintula, Carles Noguera
Publié dans: Archive for Mathematical Logic, 2017, ISSN 0933-5846
Éditeur: Springer Verlag
DOI: 10.1007/s00153-017-0577-0

On the structure theory of Łukasiewicz near semirings

Auteurs: Ivan Chajda, Davide Fazio, Antonio Ledda
Publié dans: Logic Journal of the IGPL, Numéro 26/1, 2017, Page(s) 14-28, ISSN 1367-0751
Éditeur: Oxford University Press
DOI: 10.1093/jigpal/jzx044

Stone-Type Representations and Dualities for Varieties of Bisemilattices

Auteurs: Antonio Ledda
Publié dans: Studia Logica, Numéro 106/2, 2018, Page(s) 417-448, ISSN 0039-3215
Éditeur: Kluwer Academic Publishers
DOI: 10.1007/s11225-017-9745-9

On Some Properties of PBZ*-Lattices

Auteurs: Roberto Giuntini, Antonio Ledda, Francesco Paoli
Publié dans: International Journal of Theoretical Physics, Numéro 56/12, 2017, Page(s) 3895-3911, ISSN 0020-7748
Éditeur: 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

Auteurs: Ramon Jansana, Hernán Javier San Martín
Publié dans: Studia Logica, 2018, ISSN 0039-3215
Éditeur: Kluwer Academic Publishers
DOI: 10.1007/s11225-018-9796-6

MacNeille transferability and stable classes of Heyting algebras

Auteurs: Guram Bezhanishvili, John Harding, Julia Ilin, Frederik Möllerström Lauridsen
Publié dans: Algebra universalis, Numéro 79/3, 2018, ISSN 0002-5240
Éditeur: Birkhauser Verlag
DOI: 10.1007/s00012-018-0534-8

Hypersequents and Systems of Rules

Auteurs: Agata Ciabattoni, Francesco A. Genco
Publié dans: ACM Transactions on Computational Logic, Numéro 19/2, 2018, Page(s) 1-27, ISSN 1529-3785
Éditeur: Association for Computing Machinary, Inc.
DOI: 10.1145/3180075

Varieties of De Morgan monoids: Minimality and irreducible algebras

Auteurs: T. Moraschini, J.G. Raftery, J.J. Wannenburg
Publié dans: Journal of Pure and Applied Algebra, 2018, ISSN 0022-4049
Éditeur: Elsevier BV
DOI: 10.1016/j.jpaa.2018.09.015

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

Auteurs: Rodolfo C. Ertola-Biraben, Francesc Esteva, Lluís Godo
Publié dans: Soft Computing, 2016, ISSN 1432-7643
Éditeur: Springer Verlag
DOI: 10.1007/s00500-016-2275-y

Is multiset consequence trivial?

Auteurs: Petr Cintula, Francesco Paoli
Publié dans: Synthese, 2016, ISSN 0039-7857
Éditeur: D. Reidel Pub. Co.
DOI: 10.1007/s11229-016-1209-7

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

Auteurs: Marcelo E Coniglio, Francesc Esteva, Joan Gispert, Lluis Godo
Publié dans: Journal of Logic and Computation, Numéro 29/1, 2018, Page(s) 125-156, ISSN 0955-792X
Éditeur: 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]

Auteurs: Tommaso Flaminio, Lluis Godo, Sara Ugolini
Publié dans: International Journal of Approximate Reasoning, Numéro 103, 2018, Page(s) 267-269, ISSN 0888-613X
Éditeur: Elsevier BV
DOI: 10.1016/j.ijar.2018.09.010

VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS

Auteurs: T. MORASCHINI, J. G. RAFTERY, J. J. WANNENBURG
Publié dans: The Review of Symbolic Logic, 2019, Page(s) 1-37, ISSN 1755-0203
Éditeur: Cambridge University Press
DOI: 10.1017/s1755020318000448

Subframization and stabilization for superintuitionistic logics

Auteurs: Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin
Publié dans: Journal of Logic and Computation, Numéro 29/1, 2019, Page(s) 1-35, ISSN 0955-792X
Éditeur: Oxford University Press
DOI: 10.1093/logcom/exy035

Epimorphisms, Definability and Cardinalities

Auteurs: T. Moraschini, J. G. Raftery, J. J. Wannenburg
Publié dans: Studia Logica, 2019, ISSN 0039-3215
Éditeur: Kluwer Academic Publishers
DOI: 10.1007/s11225-019-09846-5

STABLE MODAL LOGICS

Auteurs: GURAM BEZHANISHVILI, NICK BEZHANISHVILI, JULIA ILIN
Publié dans: The Review of Symbolic Logic, Numéro 11/03, 2018, Page(s) 436-469, ISSN 1755-0203
Éditeur: Cambridge University Press
DOI: 10.1017/s1755020317000375

Skolemization and Herbrand theorems for lattice-valued logics

Auteurs: Petr Cintula, Denisa Diaconescu, George Metcalfe
Publié dans: Theoretical Computer Science, 2019, ISSN 0304-3975
Éditeur: Elsevier BV
DOI: 10.1016/j.tcs.2019.02.007

An Abstract Approach to Consequence Relations

Auteurs: PETR CINTULA, JOSÉ GIL-FÉREZ, TOMMASO MORASCHINI, FRANCESCO PAOLI
Publié dans: The Review of Symbolic Logic, 2019, Page(s) 1-40, ISSN 1755-0203
Éditeur: Cambridge University Press
DOI: 10.1017/s175502031900008x

On the existence of free models in fuzzy universal Horn classes

Auteurs: Vicent Costa, Pilar Dellunde
Publié dans: Journal of Applied Logic, 2016, ISSN 1570-8683
Éditeur: Elsevier BV
DOI: 10.1016/j.jal.2016.11.002

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

Auteurs: Nick Bezhanishvili, Nick Galatos, Luca Spada
Publié dans: Algebra universalis, 2017, ISSN 0002-5240
Éditeur: Birkhauser Verlag
DOI: 10.1007/s00012-017-0430-7

Term Models of Horn Clauses over Rational Pavelka Predicate Logic

Auteurs: Vicent Costa, Pilar Dellunde
Publié dans: 2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL), 2017, Page(s) 112-117, ISBN 978-1-5090-5496-1
Éditeur: IEEE
DOI: 10.1109/ismvl.2017.26

A Logical Framework for Graded Predicates

Auteurs: Petr Cintula, Carles Noguera, Nicholas J. J. Smith
Publié dans: Lecture Notes in Computer Science, 2017, Page(s) 3-16
Éditeur: Springer Berlin Heidelberg
DOI: 10.1007/978-3-662-55665-8_1

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

Auteurs: Francese Esteva, Lluis Godo, Ricardo Oscar Rodriguez
Publié dans: 2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 2017, Page(s) 1-6, ISBN 978-1-5090-6034-4
Éditeur: IEEE
DOI: 10.1109/fuzz-ieee.2017.8015703

Coherence in Modal Logic

Auteurs: Kowalski, Tomasz; Metcalfe, George
Publié dans: Advances in Modal Logic, Numéro 12, 2018, Page(s) 451-464, ISBN 978-1-84890-255-8
Éditeur: College Publications
DOI: 10.7892/boris.119774

Proof Theory and Ordered Groups

Auteurs: Almudena Colacito, George Metcalfe
Publié dans: Lecture Notes in Computer Science, Numéro 10388, 2017, Page(s) 80-91, ISBN 978-3-662-55385-5
Éditeur: Springer Berlin Heidelberg
DOI: 10.1007/978-3-662-55386-2_6

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

Auteurs: Félix Bou, Francesc Esteva, Lluís Godo, Ricardo Oscar Rodriguez
Publié dans: Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2016, Page(s) 123-135, ISBN 978-3-319-40581-0
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-40581-0_11

Fuzzy Positive Primitive Formulas

Auteurs: Pilar Dellunde
Publié dans: Modeling Decisions for Artificial Intelligence - 15th International Conference, MDAI 2018, Mallorca, Spain, October 15–18, 2018, Proceedings, Numéro 11144, 2018, Page(s) 156-168, ISBN 978-3-030-00201-5
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-00202-2_13

Livrables

Publications

Partager cette page

Télécharger