We stand with Ukraine

We stand with Ukraine

Ramon Jansana

Orcid: 0000-0003-4191-5699

According to our database¹, Ramon Jansana authored at least 57 papers between 1989 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

Online presence:

On csauthors.net:

Bibliography

2023

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 €.

[BibT_eX]

[DOI]

Stud Logica, August, 2023

The Poset of All Logics II: Leibniz Classes and Hierarchy.

[BibT_eX]

[DOI]

,

Tommaso Moraschini

J. Symb. Log., March, 2023

2022

A variety of algebras closely related to subordination algebras.

[BibT_eX]

[DOI]

Sergio A. Celani

,

J. Appl. Non Class. Logics, 2022

2021

The Poset of All Logics III: Finitely Presentable Logics.

[BibT_eX]

[DOI]

,

Tommaso Moraschini

Stud Logica, 2021

Quasi-Nelson algebras and fragments.

[BibT_eX]

[DOI]

Umberto Rivieccio

,

Math. Struct. Comput. Sci., 2021

The Poset of All Logics I: Interpretations and Lattice Structure.

[BibT_eX]

[DOI]

,

Tommaso Moraschini

J. Symb. Log., 2021

2020

Two Dualities for Weakly Pseudo-complemented quasi-Kleene Algebras.

[BibT_eX]

[DOI]

Umberto Rivieccio

,

,

Thiago Nascimento

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2020

2019

On the free frontal implicative semilattice extension of a frontal Hilbert algebra.

[BibT_eX]

[DOI]

,

Hernán Javier San Martín

Soft Comput., 2019

On Principal Congruences in Distributive Lattices with a Commutative Monoidal Operation and an Implication.

[BibT_eX]

[DOI]

,

Hernán Javier San Martín

Stud Logica, 2019

2018

A Spectral-style Duality for Distributive Posets.

[BibT_eX]

[DOI]

Luciano J. González

,

Order, 2018

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

[BibT_eX]

[DOI]

,

Hernán Javier San Martín

Log. J. IGPL, 2018

2017

The Strong Version of a Sentential Logic.

[BibT_eX]

[DOI]

Hugo Albuquerque

,

Josep Maria Font

,

Stud Logica, 2017

Note of the Full Generalized Models of the Extensions of a Logic.

[BibT_eX]

[DOI]

Hugo Albuquerque

,

Josep Maria Font

,

Reports Math. Log., 2017

Four-valued modal logic: Kripke semantics and duality.

[BibT_eX]

[DOI]

Umberto Rivieccio

,

,

J. Log. Comput., 2017

A General Algebraic Semantics for Sentential Logics

[BibT_eX]

[DOI]

Josep Maria Font

,

Lecture Notes in Logic 7, Cambridge University Press, ISBN: 9781316716915, 2017

2016

On the Deductive System of the Order of an Equationally Orderable Quasivariety.

[BibT_eX]

[DOI]

Stud Logica, 2016

A Note on Hilbert Algebras and Their Related Generalized Esakia Spaces.

[BibT_eX]

[DOI]

Sergio A. Celani

,

Order, 2016

Compatibility operators in Abstract Algebraic Logic.

[BibT_eX]

[DOI]

Hugo Albuquerque

,

Josep Maria Font

,

J. Symb. Log., 2016

2014

Dualities for modal N4-lattices.

[BibT_eX]

[DOI]

,

Umberto Rivieccio

Log. J. IGPL, 2014

2013

Introduction.

[BibT_eX]

[DOI]

Josep Maria Font

,

Stud Logica, 2013

Δ1-completions of a Poset.

[BibT_eX]

[DOI]

,

,

Alessandra Palmigiano

Order, 2013

Esakia Style Duality for Implicative Semilattices.

[BibT_eX]

[DOI]

Guram Bezhanishvili

,

Appl. Categorical Struct., 2013

Priestley duality for (modal) N4-lattices.

[BibT_eX]

[DOI]

,

Umberto Rivieccio

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

Spectral-like duality for Distributive Hilbert Algebras with Infimum.

[BibT_eX]

[DOI]

Sergio A. Celani

,

,

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

Priestley duality for N4-lattices.

[BibT_eX]

[DOI]

,

Umberto Rivieccio

Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology, 2013

2012

Residuated bilattices.

[BibT_eX]

[DOI]

,

Umberto Rivieccio

Soft Comput., 2012

On the free implicative semilattice extension of a Hilbert algebra.

[BibT_eX]

[DOI]

Sergio A. Celani

,

Math. Log. Q., 2012

A Note on the Model Theory for Positive Modal Logic.

[BibT_eX]

[DOI]

Sergio A. Celani

,

Fundam. Informaticae, 2012

Algebraizable logics with a strong conjunction and their semi-lattice based companions.

[BibT_eX]

[DOI]

Arch. Math. Log., 2012

2011

Leibniz-linked Pairs of Deductive Systems.

[BibT_eX]

[DOI]

Josep Maria Font

,

Stud Logica, 2011

Priestley Style Duality for Distributive Meet-semilattices.

[BibT_eX]

[DOI]

Guram Bezhanishvili

,

Stud Logica, 2011

Distributive Lattices with a Generalized Implication: Topological Duality.

[BibT_eX]

[DOI]

Jorge E. Castro

,

Sergio A. Celani

,

Order, 2011

Generalized Priestley Quasi-Orders.

[BibT_eX]

[DOI]

Guram Bezhanishvili

,

Order, 2011

2010

Canonical extensions for congruential logics with the deduction theorem.

[BibT_eX]

[DOI]

,

,

Alessandra Palmigiano

Ann. Pure Appl. Log., 2010

2009

Update to "A Survey of Abstract Algebraic Logic".

[BibT_eX]

[DOI]

Josep Maria Font

,

,

Stud Logica, 2009

2006

Selfextensional Logics with a Conjunction.

[BibT_eX]

[DOI]

Stud Logica, 2006

Willem Blok's Contribution to Abstract Algebraic Logic.

[BibT_eX]

[DOI]

Stud Logica, 2006

On the Closure Properties of the Class of Full G-models of a Deductive System.

[BibT_eX]

[DOI]

Josep Maria Font

,

,

Stud Logica, 2006

Referential semantics: duality and applications.

[BibT_eX]

[DOI]

,

Alessandra Palmigiano

Reports Math. Log., 2006

2005

Bounded distributive lattices with strict implication.

[BibT_eX]

[DOI]

Sergio A. Celani

,

Math. Log. Q., 2005

2003

Leibniz Filters Revisited.

[BibT_eX]

[DOI]

Stud Logica, 2003

A Survey of Abstract Algebraic Logic.

[BibT_eX]

[DOI]

Josep Maria Font

,

,

Stud Logica, 2003

Foreword.

[BibT_eX]

[DOI]

Josep Maria Font

,

,

Stud Logica, 2003

2002

Full Models for Positive Modal Logic.

[BibT_eX]

[DOI]

Math. Log. Q., 2002

2001

Fully Adequate Gentzen Systems and the Deduction Theorem.

[BibT_eX]

[DOI]

Josep Maria Font

,

,

Reports Math. Log., 2001

A Closer Look at Some Subintuitionistic Logics.

[BibT_eX]

[DOI]

Sergio A. Celani

,

Notre Dame J. Formal Log., 2001

Leibniz filters and the strong version of a protoalgebraic logic.

[BibT_eX]

[DOI]

Josep Maria Font

,

Arch. Math. Log., 2001

2000

Weakly Algebraizable Logics.

[BibT_eX]

[DOI]

Janusz Czelakowski

,

J. Symb. Log., 2000

1999

Definability of Leibniz Equality.

[BibT_eX]

[DOI]

,

Stud Logica, 1999

Priestley Duality, a Sahlqvist Theorem and a Goldblatt-Thomason Theorem for Positive Modal Logic.

[BibT_eX]

[DOI]

Sergio A. Celani

,

Log. J. IGPL, 1999

1997

A New Semantics for Positive Modal Logic.

[BibT_eX]

[DOI]

Sergio A. Celani

,

Notre Dame J. Formal Log., 1997

1996

On Elementary Equivalence for Equality-free Logic.

[BibT_eX]

[DOI]

Enrique Casanovas

,

,

Notre Dame J. Formal Log., 1996

Some Characterization Theorems for Infinitary Universal Horn Logic Without Equality.

[BibT_eX]

[DOI]

,

J. Symb. Log., 1996

1995

Abstract modal logics.

[BibT_eX]

[DOI]

Stud Logica, 1995

1994

Some Logics Related to von Wright's Logic of Place.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 1994

On the Sentential Logics Associated with Strongly Nice and Semi-Nice General Logics.

[BibT_eX]

[DOI]

Josep Maria Font

,

Log. J. IGPL, 1994

1989

On the Mathematical Content of the Theory of Classes KM.

[BibT_eX]

[DOI]

Math. Log. Q., 1989

Loading...