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

Risultati finali

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

Pubblicazioni

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

Autori: Ramon Jansana, Hernán Javier San Martín
Pubblicato in: Logic Journal of the IGPL, Numero 26/1, 2017, Pagina/e 47-82, ISSN 1367-0751
Editore: Oxford University Press
DOI: 10.1093/jigpal/jzx052

A Real-Valued Modal Logic

Autori: Diaconescu Denisa, Metcalfe George, Schnüriger Laura
Pubblicato in: Logical Methods in Computer Science, Numero 14(1), 2018, ISSN 1860-5974
Editore: Technischen Universitat Braunschweig

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

Autori: Tommaso Flaminio, Lluis Godo, Sara Ugolini
Pubblicato in: International Journal of Approximate Reasoning, Numero 93, 2018, Pagina/e 199-218, ISSN 0888-613X
Editore: Elsevier BV
DOI: 10.1016/j.ijar.2017.11.003

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

Autori: Adam Přenosil
Pubblicato in: Studia Logica, Numero 105/6, 2017, Pagina/e 1255-1289, ISSN 0039-3215
Editore: Kluwer Academic Publishers
DOI: 10.1007/s11225-017-9746-8

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

Autori: Pilar Dellunde, Àngel García-Cerdaña, Carles Noguera
Pubblicato in: Fuzzy Sets and Systems, 2018, ISSN 0165-0114
Editore: Elsevier BV
DOI: 10.1016/j.fss.2018.01.016

A New Hierarchy of Infinitary Logics in Abstract Algebraic Logic

Autori: Tomáš Lávička, Carles Noguera
Pubblicato in: Studia Logica, Numero 105/3, 2017, Pagina/e 521-551, ISSN 0039-3215
Editore: Kluwer Academic Publishers
DOI: 10.1007/s11225-016-9699-3

Neighborhood semantics for modal many-valued logics

Autori: Petr Cintula, Carles Noguera
Pubblicato in: Fuzzy Sets and Systems, 2017, ISSN 0165-0114
Editore: Elsevier BV
DOI: 10.1016/j.fss.2017.10.009

Implicational (semilinear) logics III: completeness properties

Autori: Petr Cintula, Carles Noguera
Pubblicato in: Archive for Mathematical Logic, 2017, ISSN 0933-5846
Editore: Springer Verlag
DOI: 10.1007/s00153-017-0577-0

On the structure theory of Łukasiewicz near semirings

Autori: Ivan Chajda, Davide Fazio, Antonio Ledda
Pubblicato in: Logic Journal of the IGPL, Numero 26/1, 2017, Pagina/e 14-28, ISSN 1367-0751
Editore: Oxford University Press
DOI: 10.1093/jigpal/jzx044

Stone-Type Representations and Dualities for Varieties of Bisemilattices

Autori: Antonio Ledda
Pubblicato in: Studia Logica, Numero 106/2, 2018, Pagina/e 417-448, ISSN 0039-3215
Editore: Kluwer Academic Publishers
DOI: 10.1007/s11225-017-9745-9

On Some Properties of PBZ*-Lattices

Autori: Roberto Giuntini, Antonio Ledda, Francesco Paoli
Pubblicato in: International Journal of Theoretical Physics, Numero 56/12, 2017, Pagina/e 3895-3911, ISSN 0020-7748
Editore: 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

Autori: Ramon Jansana, Hernán Javier San Martín
Pubblicato in: Studia Logica, 2018, ISSN 0039-3215
Editore: Kluwer Academic Publishers
DOI: 10.1007/s11225-018-9796-6

MacNeille transferability and stable classes of Heyting algebras

Autori: Guram Bezhanishvili, John Harding, Julia Ilin, Frederik Möllerström Lauridsen
Pubblicato in: Algebra universalis, Numero 79/3, 2018, ISSN 0002-5240
Editore: Birkhauser Verlag
DOI: 10.1007/s00012-018-0534-8

Hypersequents and Systems of Rules

Autori: Agata Ciabattoni, Francesco A. Genco
Pubblicato in: ACM Transactions on Computational Logic, Numero 19/2, 2018, Pagina/e 1-27, ISSN 1529-3785
Editore: Association for Computing Machinary, Inc.
DOI: 10.1145/3180075

Varieties of De Morgan monoids: Minimality and irreducible algebras

Autori: T. Moraschini, J.G. Raftery, J.J. Wannenburg
Pubblicato in: Journal of Pure and Applied Algebra, 2018, ISSN 0022-4049
Editore: Elsevier BV
DOI: 10.1016/j.jpaa.2018.09.015

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

Autori: Rodolfo C. Ertola-Biraben, Francesc Esteva, Lluís Godo
Pubblicato in: Soft Computing, 2016, ISSN 1432-7643
Editore: Springer Verlag
DOI: 10.1007/s00500-016-2275-y

Is multiset consequence trivial?

Autori: Petr Cintula, Francesco Paoli
Pubblicato in: Synthese, 2016, ISSN 0039-7857
Editore: D. Reidel Pub. Co.
DOI: 10.1007/s11229-016-1209-7

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

Autori: Marcelo E Coniglio, Francesc Esteva, Joan Gispert, Lluis Godo
Pubblicato in: Journal of Logic and Computation, Numero 29/1, 2018, Pagina/e 125-156, ISSN 0955-792X
Editore: 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]

Autori: Tommaso Flaminio, Lluis Godo, Sara Ugolini
Pubblicato in: International Journal of Approximate Reasoning, Numero 103, 2018, Pagina/e 267-269, ISSN 0888-613X
Editore: Elsevier BV
DOI: 10.1016/j.ijar.2018.09.010

VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS

Autori: T. MORASCHINI, J. G. RAFTERY, J. J. WANNENBURG
Pubblicato in: The Review of Symbolic Logic, 2019, Pagina/e 1-37, ISSN 1755-0203
Editore: Cambridge University Press
DOI: 10.1017/s1755020318000448

Subframization and stabilization for superintuitionistic logics

Autori: Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin
Pubblicato in: Journal of Logic and Computation, Numero 29/1, 2019, Pagina/e 1-35, ISSN 0955-792X
Editore: Oxford University Press
DOI: 10.1093/logcom/exy035

Epimorphisms, Definability and Cardinalities

Autori: T. Moraschini, J. G. Raftery, J. J. Wannenburg
Pubblicato in: Studia Logica, 2019, ISSN 0039-3215
Editore: Kluwer Academic Publishers
DOI: 10.1007/s11225-019-09846-5

STABLE MODAL LOGICS

Autori: GURAM BEZHANISHVILI, NICK BEZHANISHVILI, JULIA ILIN
Pubblicato in: The Review of Symbolic Logic, Numero 11/03, 2018, Pagina/e 436-469, ISSN 1755-0203
Editore: Cambridge University Press
DOI: 10.1017/s1755020317000375

Skolemization and Herbrand theorems for lattice-valued logics

Autori: Petr Cintula, Denisa Diaconescu, George Metcalfe
Pubblicato in: Theoretical Computer Science, 2019, ISSN 0304-3975
Editore: Elsevier BV
DOI: 10.1016/j.tcs.2019.02.007

An Abstract Approach to Consequence Relations

Autori: PETR CINTULA, JOSÉ GIL-FÉREZ, TOMMASO MORASCHINI, FRANCESCO PAOLI
Pubblicato in: The Review of Symbolic Logic, 2019, Pagina/e 1-40, ISSN 1755-0203
Editore: Cambridge University Press
DOI: 10.1017/s175502031900008x

On the existence of free models in fuzzy universal Horn classes

Autori: Vicent Costa, Pilar Dellunde
Pubblicato in: Journal of Applied Logic, 2016, ISSN 1570-8683
Editore: Elsevier BV
DOI: 10.1016/j.jal.2016.11.002

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

Autori: Nick Bezhanishvili, Nick Galatos, Luca Spada
Pubblicato in: Algebra universalis, 2017, ISSN 0002-5240
Editore: Birkhauser Verlag
DOI: 10.1007/s00012-017-0430-7

Term Models of Horn Clauses over Rational Pavelka Predicate Logic

Autori: Vicent Costa, Pilar Dellunde
Pubblicato in: 2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL), 2017, Pagina/e 112-117, ISBN 978-1-5090-5496-1
Editore: IEEE
DOI: 10.1109/ismvl.2017.26

A Logical Framework for Graded Predicates

Autori: Petr Cintula, Carles Noguera, Nicholas J. J. Smith
Pubblicato in: Lecture Notes in Computer Science, 2017, Pagina/e 3-16
Editore: Springer Berlin Heidelberg
DOI: 10.1007/978-3-662-55665-8_1

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

Autori: Francese Esteva, Lluis Godo, Ricardo Oscar Rodriguez
Pubblicato in: 2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 2017, Pagina/e 1-6, ISBN 978-1-5090-6034-4
Editore: IEEE
DOI: 10.1109/fuzz-ieee.2017.8015703

Coherence in Modal Logic

Autori: Kowalski, Tomasz; Metcalfe, George
Pubblicato in: Advances in Modal Logic, Numero 12, 2018, Pagina/e 451-464, ISBN 978-1-84890-255-8
Editore: College Publications
DOI: 10.7892/boris.119774

Proof Theory and Ordered Groups

Autori: Almudena Colacito, George Metcalfe
Pubblicato in: Lecture Notes in Computer Science, Numero 10388, 2017, Pagina/e 80-91, ISBN 978-3-662-55385-5
Editore: Springer Berlin Heidelberg
DOI: 10.1007/978-3-662-55386-2_6

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

Autori: Félix Bou, Francesc Esteva, Lluís Godo, Ricardo Oscar Rodriguez
Pubblicato in: Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2016, Pagina/e 123-135, ISBN 978-3-319-40581-0
Editore: Springer International Publishing
DOI: 10.1007/978-3-319-40581-0_11

Fuzzy Positive Primitive Formulas

Autori: Pilar Dellunde
Pubblicato in: Modeling Decisions for Artificial Intelligence - 15th International Conference, MDAI 2018, Mallorca, Spain, October 15–18, 2018, Proceedings, Numero 11144, 2018, Pagina/e 156-168, ISBN 978-3-030-00201-5
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-00202-2_13

Risultati finali

Pubblicazioni

Condividi questa pagina

Scarica