Search Results - "Colacito, Almudena"

Orders on groups, and spectral spaces of lattice-groups by Colacito, Almudena, Marra, Vincenzo

“…Extending pioneering work by Weinberg, Conrad, McCleary, and others, we provide a systematic way of relating spaces of right orders on a partially ordered…”
Get full text

PH.D.S IN LOGIC XI 2019 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Bern, Switzerland April 24–26, 2019 by Colacito, Almudena

Get full text

From distributive ℓ-monoids to ℓ-groups, and back again by Colacito, Almudena, Galatos, Nikolaos, Metcalfe, George, Santschi, Simon

“…We prove that an inverse-free equation is valid in the variety LG of lattice-ordered groups (ℓ-groups) if and only if it is valid in the variety DLM of…”
Get full text

Proof Theory for Positive Logic with Weak Negation by Bílková, Marta, Colacito, Almudena

“…Proof-theoretic methods are developed for subsystems of Johansson's logic obtained by extending the positive fragment of intuitionistic logic with weak…”
Get full text

Subminimal negation by Colacito, Almudena, de Jongh, Dick, Vargas, Ana Lucia

“…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…”
Get full text

Nilpotency and the Hamiltonian property for cancellative residuated lattices by Colacito, Almudena, Tsinakis, Constantine

“…The present article studies nilpotent and Hamiltonian cancellative residuated lattices and their relationship with nilpotent and Hamiltonian lattice-ordered…”
Get full text

Proof Theory for Positive Logic with Weak Negation by Bílková, Marta, Colacito, Almudena

“…Proof-theoretic methods are developed for subsystems of Johansson's logic obtained by extending the positive fragment of intuitionistic logic with weak…”
Get full text

Orders on groups, and spectral spaces of lattice-groups by Colacito, Almudena, Marra, Vincenzo

“…Extending pioneering work by Weinberg, Conrad, McCleary, and others, we provide a systematic way of relating spaces of right orders on a partially ordered…”
Get full text

Ordering groups and validity in lattice-ordered groups by Colacito, Almudena, Metcalfe, George

“…A characterization is given of the subsets of a group that extend to the positive cone of a right order on the group and used to relate validity of equations…”
Get full text

Proof Theory and Ordered Groups by Colacito, Almudena, Metcalfe, George

“…Ordering theorems, characterizing when partial orders of a group extend to total orders, are used to generate hypersequent calculi for varieties of…”
Get full text

A Study of Subminimal Logics of Negation and their Modal Companions by Bezhanishvili, Nick, Colacito, Almudena, de Jongh, Dick

“…We study propositional logical systems arising from the language of Johansson's minimal logic and obtained by weakening the requirements for the negation…”
Get full text

Theorems of Alternatives for Substructural Logics by Colacito, Almudena, Galatos, Nikolaos, Metcalfe, George

“…A theorem of alternatives provides a reduction of validity in a substructural logic to validity in its multiplicative fragment. Notable examples include a…”
Get full text

From distributive l-monoids to l-groups, and back again by Colacito, Almudena, Galatos, Nikolaos, Metcalfe, George, Santschi, Simon

“…We prove that an inverse-free equation is valid in the variety LG of lattice-ordered groups (l-groups) if and only if it is valid in the variety DLM of…”
Get full text