Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Almudena Colacito"'
Publikováno v:
Journal of Algebra. 601:129-148
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c456b4d9995b5d52bddcb9fbc790bbca
https://doi.org/10.1016/j.jalgebra.2022.02.012
https://doi.org/10.1016/j.jalgebra.2022.02.012
Autor:
Almudena Colacito, Marta Bílková
Publikováno v:
Studia Logica. 108:649-686
Proof-theoretic methods are developed for subsystems of Johansson's logic obtained by extending the positive fragment of intuitionistic logic with weak negations. These methods are exploited to establish properties of the logical systems. In particul
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::04c5be7c7d2fb36c5897fd5c7cb25e37
https://doi.org/10.1007/s11225-019-09869-y
https://doi.org/10.1007/s11225-019-09869-y
Publikováno v:
Outstanding Contributions to Logic ISBN: 9783030712570
A theorem of alternatives provides a reduction of validity in a substructural logic to validity in its multiplicative fragment. Notable examples include a theorem of Arnon Avron that reduces the validity of a disjunction of multiplicative formulas in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::06b78a380da2caa97d7f01f035e51ea5
https://doi.org/10.1007/978-3-030-71258-7_5
https://doi.org/10.1007/978-3-030-71258-7_5
This paper studies nilpotent and Hamiltonian cancellative residuated lattices and their relationship with nilpotent and Hamiltonian lattice-ordered groups. In particular, results about lattice-ordered groups are extended to the domain of residuated l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::56972061b32987495b410994cf7620c8
http://arxiv.org/abs/2005.06533
http://arxiv.org/abs/2005.06533
Autor:
Almudena Colacito, Vincenzo Marra
Extending pioneering work by Weinberg, Conrad, McCleary, and others, we provide a systematic way of relating spaces of right orders on a partially ordered group, on the one hand, and spectral spaces of free lattice-ordered groups, on the other. The a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9f30bf4dda235f233f7e0dc3a2073d1b
http://arxiv.org/abs/1901.07638
http://arxiv.org/abs/1901.07638
Autor:
George Metcalfe, Almudena Colacito
An inductive characterization is given of the subsets of a group that extend to the positive cone of a right order on the group. This characterization is used to relate validity of equations in lattice-ordered groups ( l -groups) to subsets of free g
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9054188c2e80b1c179e0cd690b030caf
http://arxiv.org/abs/1809.02574
http://arxiv.org/abs/1809.02574
Autor:
Almudena Colacito, George Metcalfe
Publikováno v:
Logic, Language, Information, and Computation ISBN: 9783662553855
WoLLIC
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Logic, Language, Information, and Computation
WoLLIC
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Logic, Language, Information, and Computation
Ordering theorems, characterizing when partial orders of a group extend to total orders, are used to generate hypersequent calculi for varieties of lattice-ordered groups (\(\ell \)-groups). These calculi are then used to provide new proofs of theore
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::80d2a8b9773fd87fe8aa0c3840af1549
http://arxiv.org/abs/1708.00640
http://arxiv.org/abs/1708.00640
Publikováno v:
Colacito, Almudena; de Jongh, Dick; Vargas, A. L. (2017). Subminimal negation. Soft computing, 21(1), pp. 165-174. Springer 10.1007/s00500-016-2391-8
Soft Computing, 21(1), 165-174. Springer Verlag
Soft Computing, 21(1), 165-174. Springer Verlag
Minimal logic, i.e., intuitionistic logic without the ex falso principle, is investigated in its original form with a negation symbol instead of a symbol denoting the contradiction. A Kripke semantics is developed for minimal logic and its sublogics
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::754c4ff13d63cae6bb042cf890045fa4
https://boris.unibe.ch/92781/1/art%3A10.1007%2Fs00500-016-2391-8.pdf
https://boris.unibe.ch/92781/1/art%3A10.1007%2Fs00500-016-2391-8.pdf