Ramon Jansana

58 papers Journal 53Unranked 4
YearRankTypeTitle / Venue / Authors
2023 J jnl
Petr Cintula, Carles Noguera, Logic and Implication. An Introduction to the General Algebraic Study of Non-classical Logics, vol. 57 of Trends in Logic, Springer, 2021, pp. 465+xxii; ISBN: 978-3-030-85674-8 (Hardcover) 117.69€, ISBN: 978-3-030- 85675-5 (eBook) 93.08 €.
Stud Logica
Ramon Jansana
2023 J jnl
The Poset of All Logics II: Leibniz Classes and Hierarchy.
J. Symb. Log.
Ramon Jansana, Tommaso Moraschini
2022 J jnl
A variety of algebras closely related to subordination algebras.
J. Appl. Non Class. Logics
Sergio A. Celani, Ramon Jansana
2021 J jnl
Quasi-Nelson algebras and fragments.
Math. Struct. Comput. Sci.
Umberto Rivieccio, Ramon Jansana
2021 J jnl
The Poset of All Logics I: Interpretations and Lattice Structure.
J. Symb. Log.
Ramon Jansana, Tommaso Moraschini
2021 J jnl
The Poset of All Logics III: Finitely Presentable Logics.
Stud Logica
Ramon Jansana, Tommaso Moraschini
2020 — conf
Two Dualities for Weakly Pseudo-complemented quasi-Kleene Algebras.
IPMU (3)
Umberto Rivieccio, Ramon Jansana, Thiago Nascimento
2019 J jnl
On Principal Congruences in Distributive Lattices with a Commutative Monoidal Operation and an Implication.
Stud Logica
Ramon Jansana, Hernán Javier San Martín
2019 J jnl
On the free frontal implicative semilattice extension of a frontal Hilbert algebra.
Soft Comput.
Ramon Jansana, Hernán Javier San Martín
2018 J jnl
A Spectral-style Duality for Distributive Posets.
Order
Luciano J. González, Ramon Jansana
2018 J jnl
On Kalman's functor for bounded hemi-implicative semilattices and hemi-implicative lattices.
Log. J. IGPL
Ramon Jansana, Hernán Javier San Martín
2017 — book
A General Algebraic Semantics for Sentential Logics
Josep Maria Font, Ramon Jansana
2017 J jnl
Four-valued modal logic: Kripke semantics and duality.
J. Log. Comput.
Umberto Rivieccio, Achim Jung, Ramon Jansana
2017 J jnl
Note of the Full Generalized Models of the Extensions of a Logic.
Reports Math. Log.
Hugo Albuquerque, Josep Maria Font, Ramon Jansana
2017 J jnl
The Strong Version of a Sentential Logic.
Stud Logica
Hugo Albuquerque, Josep Maria Font, Ramon Jansana
2016 J jnl
A Note on Hilbert Algebras and Their Related Generalized Esakia Spaces.
Order
Sergio A. Celani, Ramon Jansana
2016 J jnl
Compatibility operators in Abstract Algebraic Logic.
J. Symb. Log.
Hugo Albuquerque, Josep Maria Font, Ramon Jansana
2016 J jnl
On the Deductive System of the Order of an Equationally Orderable Quasivariety.
Stud Logica
Ramon Jansana
2014 J jnl
Dualities for modal N4-lattices.
Log. J. IGPL
Ramon Jansana, Umberto Rivieccio
2013 J jnl
Esakia Style Duality for Implicative Semilattices.
Appl. Categorical Struct.
Guram Bezhanishvili, Ramon Jansana
2013 J jnl
Introduction.
Stud Logica
Josep Maria Font, Ramon Jansana
2013 — conf
Priestley duality for (modal) N4-lattices.
TACL
Ramon Jansana, Umberto Rivieccio
2013 — conf
Priestley duality for N4-lattices.
EUSFLAT Conf.
Ramon Jansana, Umberto Rivieccio
2013 — conf
Spectral-like duality for Distributive Hilbert Algebras with Infimum.
TACL
Sergio A. Celani, María Esteban, Ramon Jansana
2013 J jnl
Δ1-completions of a Poset.
Order
Mai Gehrke, Ramon Jansana, Alessandra Palmigiano
2012 J jnl
A Note on the Model Theory for Positive Modal Logic.
Fundam. Informaticae
Sergio A. Celani, Ramon Jansana
2012 J jnl
Algebraizable logics with a strong conjunction and their semi-lattice based companions.
Arch. Math. Log.
Ramon Jansana
2012 J jnl
On the free implicative semilattice extension of a Hilbert algebra.
Math. Log. Q.
Sergio A. Celani, Ramon Jansana
2012 J jnl
Residuated bilattices.
Soft Comput.
Ramon Jansana, Umberto Rivieccio
2011 J jnl
Distributive Lattices with a Generalized Implication: Topological Duality.
Order
Jorge E. Castro, Sergio A. Celani, Ramon Jansana
2011 J jnl
Generalized Priestley Quasi-Orders.
Order
Guram Bezhanishvili, Ramon Jansana
2011 J jnl
Leibniz-linked Pairs of Deductive Systems.
Stud Logica
Josep Maria Font, Ramon Jansana
2011 J jnl
Priestley Style Duality for Distributive Meet-semilattices.
Stud Logica
Guram Bezhanishvili, Ramon Jansana
2010 J jnl
Canonical extensions for congruential logics with the deduction theorem.
Ann. Pure Appl. Log.
Mai Gehrke, Ramon Jansana, Alessandra Palmigiano
2009 J jnl
Update to "A Survey of Abstract Algebraic Logic".
Stud Logica
Josep Maria Font, Ramon Jansana, Don Pigozzi
2006 J jnl
On the Closure Properties of the Class of Full G-models of a Deductive System.
Stud Logica
Josep Maria Font, Ramon Jansana, Don Pigozzi
2006 J jnl
Referential semantics: duality and applications.
Reports Math. Log.
Ramon Jansana, Alessandra Palmigiano
2006 J jnl
Selfextensional Logics with a Conjunction.
Stud Logica
Ramon Jansana
2006 J jnl
Willem Blok's Contribution to Abstract Algebraic Logic.
Stud Logica
Ramon Jansana
2005 J jnl
Bounded distributive lattices with strict implication.
Math. Log. Q.
Sergio A. Celani, Ramon Jansana
2003 J jnl
A Survey of Abstract Algebraic Logic.
Stud Logica
Josep Maria Font, Ramon Jansana, Don Pigozzi
2003 J jnl
Foreword.
Stud Logica
Josep Maria Font, Ramon Jansana, Don Pigozzi
2003 J jnl
Leibniz Filters Revisited.
Stud Logica
Ramon Jansana
2002 J jnl
Full Models for Positive Modal Logic.
Math. Log. Q.
Ramon Jansana
2001 J jnl
A Closer Look at Some Subintuitionistic Logics.
Notre Dame J. Formal Log.
Sergio A. Celani, Ramon Jansana
2001 J jnl
Fully Adequate Gentzen Systems and the Deduction Theorem.
Reports Math. Log.
Josep Maria Font, Ramon Jansana, Don Pigozzi
2001 J jnl
Leibniz filters and the strong version of a protoalgebraic logic.
Arch. Math. Log.
Josep Maria Font, Ramon Jansana
2000 J jnl
Foreword.
Stud Logica
Josep Maria Font, Ramon Jansana, Don Pigozzi
2000 J jnl
Weakly Algebraizable Logics.
J. Symb. Log.
Janusz Czelakowski, Ramon Jansana
1999 J jnl
Definability of Leibniz Equality.
Stud Logica
Raimon Elgueta, Ramon Jansana
1999 J jnl
Priestley Duality, a Sahlqvist Theorem and a Goldblatt-Thomason Theorem for Positive Modal Logic.
Log. J. IGPL
Sergio A. Celani, Ramon Jansana
1997 J jnl
A New Semantics for Positive Modal Logic.
Notre Dame J. Formal Log.
Sergio A. Celani, Ramon Jansana
1996 J jnl
On Elementary Equivalence for Equality-free Logic.
Notre Dame J. Formal Log.
Enrique Casanovas, Pilar Dellunde, Ramon Jansana
1996 J jnl
Some Characterization Theorems for Infinitary Universal Horn Logic Without Equality.
J. Symb. Log.
Pilar Dellunde, Ramon Jansana
1995 J jnl
Abstract modal logics.
Stud Logica
Ramon Jansana
1994 J jnl
On the Sentential Logics Associated with Strongly Nice and Semi-Nice General Logics.
Log. J. IGPL
Josep Maria Font, Ramon Jansana
1994 J jnl
Some Logics Related to von Wright's Logic of Place.
Notre Dame J. Formal Log.
Ramon Jansana
1989 J jnl
On the Mathematical Content of the Theory of Classes KM.
Math. Log. Q.
Ramon Jansana