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

Informacje na temat projektu

SYSMICS

Identyfikator umowy o grant: 689176

DOI

10.3030/689176

Projekt został zamknięty

Data podpisania przez KE 30 Listopada 2015

Data rozpoczęcia 1 Marca 2016

Data zakończenia 28 Lutego 2019

Finansowanie w ramach

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Koszt całkowity

€ 580 500,00

Wkład UE

€ 504 000,00

Koordynowany przez

UNIVERSITA DEGLI STUDI DI SALERNO
Italy

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Rezultaty

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

Publikacje

Peer reviewed articles (27)

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

Autorzy: Ramon Jansana, Hernán Javier San Martín
Opublikowane w: Logic Journal of the IGPL, Numer 26/1, 2017, Strona(/y) 47-82, ISSN 1367-0751
Wydawca: Oxford University Press
DOI: 10.1093/jigpal/jzx052

A Real-Valued Modal Logic

Autorzy: Diaconescu Denisa, Metcalfe George, Schnüriger Laura
Opublikowane w: Logical Methods in Computer Science, Numer 14(1), 2018, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig

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

Autorzy: Tommaso Flaminio, Lluis Godo, Sara Ugolini
Opublikowane w: International Journal of Approximate Reasoning, Numer 93, 2018, Strona(/y) 199-218, ISSN 0888-613X
Wydawca: Elsevier BV
DOI: 10.1016/j.ijar.2017.11.003

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

Autorzy: Adam Přenosil
Opublikowane w: Studia Logica, Numer 105/6, 2017, Strona(/y) 1255-1289, ISSN 0039-3215
Wydawca: Kluwer Academic Publishers
DOI: 10.1007/s11225-017-9746-8

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

Autorzy: Pilar Dellunde, Àngel García-Cerdaña, Carles Noguera
Opublikowane w: Fuzzy Sets and Systems, 2018, ISSN 0165-0114
Wydawca: Elsevier BV
DOI: 10.1016/j.fss.2018.01.016

A New Hierarchy of Infinitary Logics in Abstract Algebraic Logic

Autorzy: Tomáš Lávička, Carles Noguera
Opublikowane w: Studia Logica, Numer 105/3, 2017, Strona(/y) 521-551, ISSN 0039-3215
Wydawca: Kluwer Academic Publishers
DOI: 10.1007/s11225-016-9699-3

Neighborhood semantics for modal many-valued logics

Autorzy: Petr Cintula, Carles Noguera
Opublikowane w: Fuzzy Sets and Systems, 2017, ISSN 0165-0114
Wydawca: Elsevier BV
DOI: 10.1016/j.fss.2017.10.009

Implicational (semilinear) logics III: completeness properties

Autorzy: Petr Cintula, Carles Noguera
Opublikowane w: Archive for Mathematical Logic, 2017, ISSN 0933-5846
Wydawca: Springer Verlag
DOI: 10.1007/s00153-017-0577-0

On the structure theory of Łukasiewicz near semirings

Autorzy: Ivan Chajda, Davide Fazio, Antonio Ledda
Opublikowane w: Logic Journal of the IGPL, Numer 26/1, 2017, Strona(/y) 14-28, ISSN 1367-0751
Wydawca: Oxford University Press
DOI: 10.1093/jigpal/jzx044

Stone-Type Representations and Dualities for Varieties of Bisemilattices

Autorzy: Antonio Ledda
Opublikowane w: Studia Logica, Numer 106/2, 2018, Strona(/y) 417-448, ISSN 0039-3215
Wydawca: Kluwer Academic Publishers
DOI: 10.1007/s11225-017-9745-9

On Some Properties of PBZ*-Lattices

Autorzy: Roberto Giuntini, Antonio Ledda, Francesco Paoli
Opublikowane w: International Journal of Theoretical Physics, Numer 56/12, 2017, Strona(/y) 3895-3911, ISSN 0020-7748
Wydawca: 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

Autorzy: Ramon Jansana, Hernán Javier San Martín
Opublikowane w: Studia Logica, 2018, ISSN 0039-3215
Wydawca: Kluwer Academic Publishers
DOI: 10.1007/s11225-018-9796-6

MacNeille transferability and stable classes of Heyting algebras

Autorzy: Guram Bezhanishvili, John Harding, Julia Ilin, Frederik Möllerström Lauridsen
Opublikowane w: Algebra universalis, Numer 79/3, 2018, ISSN 0002-5240
Wydawca: Birkhauser Verlag
DOI: 10.1007/s00012-018-0534-8

Hypersequents and Systems of Rules

Autorzy: Agata Ciabattoni, Francesco A. Genco
Opublikowane w: ACM Transactions on Computational Logic, Numer 19/2, 2018, Strona(/y) 1-27, ISSN 1529-3785
Wydawca: Association for Computing Machinary, Inc.
DOI: 10.1145/3180075

Varieties of De Morgan monoids: Minimality and irreducible algebras

Autorzy: T. Moraschini, J.G. Raftery, J.J. Wannenburg
Opublikowane w: Journal of Pure and Applied Algebra, 2018, ISSN 0022-4049
Wydawca: Elsevier BV
DOI: 10.1016/j.jpaa.2018.09.015

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

Autorzy: Rodolfo C. Ertola-Biraben, Francesc Esteva, Lluís Godo
Opublikowane w: Soft Computing, 2016, ISSN 1432-7643
Wydawca: Springer Verlag
DOI: 10.1007/s00500-016-2275-y

Is multiset consequence trivial?

Autorzy: Petr Cintula, Francesco Paoli
Opublikowane w: Synthese, 2016, ISSN 0039-7857
Wydawca: D. Reidel Pub. Co.
DOI: 10.1007/s11229-016-1209-7

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

Autorzy: Marcelo E Coniglio, Francesc Esteva, Joan Gispert, Lluis Godo
Opublikowane w: Journal of Logic and Computation, Numer 29/1, 2018, Strona(/y) 125-156, ISSN 0955-792X
Wydawca: 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]

Autorzy: Tommaso Flaminio, Lluis Godo, Sara Ugolini
Opublikowane w: International Journal of Approximate Reasoning, Numer 103, 2018, Strona(/y) 267-269, ISSN 0888-613X
Wydawca: Elsevier BV
DOI: 10.1016/j.ijar.2018.09.010

VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS

Autorzy: T. MORASCHINI, J. G. RAFTERY, J. J. WANNENBURG
Opublikowane w: The Review of Symbolic Logic, 2019, Strona(/y) 1-37, ISSN 1755-0203
Wydawca: Cambridge University Press
DOI: 10.1017/s1755020318000448

Subframization and stabilization for superintuitionistic logics

Autorzy: Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin
Opublikowane w: Journal of Logic and Computation, Numer 29/1, 2019, Strona(/y) 1-35, ISSN 0955-792X
Wydawca: Oxford University Press
DOI: 10.1093/logcom/exy035

Epimorphisms, Definability and Cardinalities

Autorzy: T. Moraschini, J. G. Raftery, J. J. Wannenburg
Opublikowane w: Studia Logica, 2019, ISSN 0039-3215
Wydawca: Kluwer Academic Publishers
DOI: 10.1007/s11225-019-09846-5

STABLE MODAL LOGICS

Autorzy: GURAM BEZHANISHVILI, NICK BEZHANISHVILI, JULIA ILIN
Opublikowane w: The Review of Symbolic Logic, Numer 11/03, 2018, Strona(/y) 436-469, ISSN 1755-0203
Wydawca: Cambridge University Press
DOI: 10.1017/s1755020317000375

Skolemization and Herbrand theorems for lattice-valued logics

Autorzy: Petr Cintula, Denisa Diaconescu, George Metcalfe
Opublikowane w: Theoretical Computer Science, 2019, ISSN 0304-3975
Wydawca: Elsevier BV
DOI: 10.1016/j.tcs.2019.02.007

An Abstract Approach to Consequence Relations

Autorzy: PETR CINTULA, JOSÉ GIL-FÉREZ, TOMMASO MORASCHINI, FRANCESCO PAOLI
Opublikowane w: The Review of Symbolic Logic, 2019, Strona(/y) 1-40, ISSN 1755-0203
Wydawca: Cambridge University Press
DOI: 10.1017/s175502031900008x

On the existence of free models in fuzzy universal Horn classes

Autorzy: Vicent Costa, Pilar Dellunde
Opublikowane w: Journal of Applied Logic, 2016, ISSN 1570-8683
Wydawca: Elsevier BV
DOI: 10.1016/j.jal.2016.11.002

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

Autorzy: Nick Bezhanishvili, Nick Galatos, Luca Spada
Opublikowane w: Algebra universalis, 2017, ISSN 0002-5240
Wydawca: Birkhauser Verlag
DOI: 10.1007/s00012-017-0430-7

Conference proceedings (5)

Term Models of Horn Clauses over Rational Pavelka Predicate Logic

Autorzy: Vicent Costa, Pilar Dellunde
Opublikowane w: 2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL), 2017, Strona(/y) 112-117, ISBN 978-1-5090-5496-1
Wydawca: IEEE
DOI: 10.1109/ismvl.2017.26

A Logical Framework for Graded Predicates

Autorzy: Petr Cintula, Carles Noguera, Nicholas J. J. Smith
Opublikowane w: Lecture Notes in Computer Science, 2017, Strona(/y) 3-16
Wydawca: Springer Berlin Heidelberg
DOI: 10.1007/978-3-662-55665-8_1

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

Autorzy: Francese Esteva, Lluis Godo, Ricardo Oscar Rodriguez
Opublikowane w: 2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 2017, Strona(/y) 1-6, ISBN 978-1-5090-6034-4
Wydawca: IEEE
DOI: 10.1109/fuzz-ieee.2017.8015703

Coherence in Modal Logic

Autorzy: Kowalski, Tomasz; Metcalfe, George
Opublikowane w: Advances in Modal Logic, Numer 12, 2018, Strona(/y) 451-464, ISBN 978-1-84890-255-8
Wydawca: College Publications
DOI: 10.7892/boris.119774

Proof Theory and Ordered Groups

Autorzy: Almudena Colacito, George Metcalfe
Opublikowane w: Lecture Notes in Computer Science, Numer 10388, 2017, Strona(/y) 80-91, ISBN 978-3-662-55385-5
Wydawca: 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

Autorzy: Félix Bou, Francesc Esteva, Lluís Godo, Ricardo Oscar Rodriguez
Opublikowane w: Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2016, Strona(/y) 123-135, ISBN 978-3-319-40581-0
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-40581-0_11

Fuzzy Positive Primitive Formulas

Autorzy: Pilar Dellunde
Opublikowane w: Modeling Decisions for Artificial Intelligence - 15th International Conference, MDAI 2018, Mallorca, Spain, October 15–18, 2018, Proceedings, Numer 11144, 2018, Strona(/y) 156-168, ISBN 978-3-030-00201-5
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-00202-2_13