Zobrazeno 1 - 10
of 70
pro vyhledávání: '"Ramon Jansana"'
Autor:
Josep Maria Font, Ramon Jansana
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In t
Autor:
Sergio Celani, Ramon Jansana
Publikováno v:
Journal of Applied Non-Classical Logics. 32:200-238
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7944561704ca6598942d8bfd9a4d4fc4
https://doi.org/10.1080/11663081.2022.2109122
https://doi.org/10.1080/11663081.2022.2109122
Autor:
Ramon Jansana, Umberto Rivieccio
Publikováno v:
Mathematical Structures in Computer Science. 31:257-285
The variety of quasi-Nelson algebras (QNAs) has been recently introduced and characterised in several equivalent ways: among others, as (1) the class of bounded commutative integral (but non-necessarily involutive) residuated lattices satisfying the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7855e03cee902d5fec0b8bd83ae0b2de
https://doi.org/10.1017/s0960129521000049
https://doi.org/10.1017/s0960129521000049
Autor:
Tommaso Moraschini, Ramon Jansana
Publikováno v:
Studia Logica. 109:539-580
A logic in a finite language is said to be finitely presentable if it is axiomatized by finitely many finite rules. It is proved that binary non-indexed products of logics that are both finitely presentable and finitely equivalential are essentially
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9bfbe2a9fd88bea40a1d597e226945a0
https://doi.org/10.1007/s11225-020-09916-z
https://doi.org/10.1007/s11225-020-09916-z
Autor:
Ramon Jansana, Sergio Arturo Celani
Publikováno v:
Logic, Epistemology, and the Unity of Science ISBN: 9783030536534
In this paper we consider the notion of subordination on distributive lattices, equivalent to that of quasi-modal operator for distributive lattices introduced by Castro and Celani in 2004. We provide topological dualities for categories of distribut
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b47a70485cde90d1423599e1588a7ee2
https://doi.org/10.1007/978-3-030-53654-1_8
https://doi.org/10.1007/978-3-030-53654-1_8
Autor:
Tommaso Moraschini, Ramon Jansana
A Leibniz class is a class of logics closed under the formation of term-equivalent logics, compatible expansions, and non-indexed products of sets of logics. We study the complete lattice of all Leibniz classes, called the Leibniz hierarchy. In parti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9d5a5190a29e3f321859fd7944d02e50
http://arxiv.org/abs/2002.07792
http://arxiv.org/abs/2002.07792
Publikováno v:
Information Processing and Management of Uncertainty in Knowledge-Based Systems ISBN: 9783030501525
IPMU (3)
IPMU (3)
Quasi-Nelson algebras are a non-involutive generalisation of Nelson algebras that can be characterised in several ways, e.g. as (i) the variety of bounded commutative integral (not necessarily involutive) residuated lattices that satisfy the Nelson i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3fc536084d3d03548000ec8abdfa1584
https://doi.org/10.1007/978-3-030-50153-2_47
https://doi.org/10.1007/978-3-030-50153-2_47
Autor:
Luciano J. González, Ramon Jansana
Publikováno v:
Order. 35:321-347
In this paper, we present a topological duality for a category of partially ordered sets that satisfy a distributivity condition studied by David and Erne. We call these posets mo-distributive. Our duality extends a duality given by David and Erne be
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::642ca92a8f9dc5c02212780ff0edf40b
https://doi.org/10.1007/s11083-017-9435-2
https://doi.org/10.1007/s11083-017-9435-2
Publikováno v:
Studia Logica. 105:703-760
This paper explores a notion of “the strong version” of a sentential logic S, initially defined in terms of the notion of a Leibniz filter, and shown to coincide with the logic determined by the matrices of S whose filter is the least S-filter in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a9a7f4bbc5b8a81bc332c5dcf70012fd
https://doi.org/10.1007/s11225-017-9709-0
https://doi.org/10.1007/s11225-017-9709-0
Publikováno v:
CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y Técnicas
instacron:CONICET
Studia Logica
Consejo Nacional de Investigaciones Científicas y Técnicas
instacron:CONICET
Studia Logica
In this paper we introduce and study a variety of algebras that properly includes integral distributive commutative residuated lattices and weak Heyting algebras. Our main goal is to give a characterization of the principal congruences in this variet
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dfedfd2cc121f754d2c3080149dfbca2
https://link.springer.com/article/10.1007/s11225-018-9796-6
https://link.springer.com/article/10.1007/s11225-018-9796-6