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

Informations projet

SYSMICS

N° de convention de subvention: 689176

DOI

10.3030/689176

Projet clôturé

Date de signature de la CE 30 Novembre 2015

Date de début 1 Mars 2016

Date de fin 28 Février 2019

Financé au titre de

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coût total

€ 580 500,00

Contribution de l’UE

€ 504 000,00

Coordonné par

UNIVERSITA DEGLI STUDI DI SALERNO
Italy

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Livrables

Documents, reports (13)

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

Peer reviewed articles (27)

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

Conference proceedings (5)

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

Book chapters (2)

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