Ramon Jansana - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 58 from 58

2023

The Poset of All Logics II: Leibniz Classes and HierarchyRamon Jansana, Tommaso Moraschini. JSYML, 88(1):324-362, March 2023. [doi]

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 €Ramon Jansana. sLogica, 111(4):709-715, August 2023. [doi]

2022

A variety of algebras closely related to subordination algebrasSergio A. Celani, Ramon Jansana. jancl, 32(2-3):200-238, 2022. [doi]

2021

The Poset of All Logics III: Finitely Presentable LogicsRamon Jansana, Tommaso Moraschini. sLogica, 109(3):539-580, 2021. [doi]

The Poset of All Logics I: Interpretations and Lattice StructureRamon Jansana, Tommaso Moraschini. JSYML, 86(3):935-964, 2021. [doi]

Quasi-Nelson algebras and fragmentsUmberto Rivieccio, Ramon Jansana. mscs, 31(3):257-285, 2021. [doi]

2020

Two Dualities for Weakly Pseudo-complemented quasi-Kleene AlgebrasUmberto Rivieccio, Ramon Jansana, Thiago Nascimento. ipmu 2020: 634-653 [doi]

2019

On Principal Congruences in Distributive Lattices with a Commutative Monoidal Operation and an ImplicationRamon Jansana, Hernán Javier San Martín. sLogica, 107(2):351-374, 2019. [doi]

On the free frontal implicative semilattice extension of a frontal Hilbert algebraRamon Jansana, Hernán Javier San Martín. soco, 23(21):10635-10648, 2019. [doi]

2018

A Spectral-style Duality for Distributive PosetsLuciano J. González, Ramon Jansana. order, 35(2):321-347, 2018. [doi]

On Kalman's functor for bounded hemi-implicative semilattices and hemi-implicative latticesRamon Jansana, Hernán Javier San Martín. igpl, 26(1):47-82, 2018. [doi]

2017

The Strong Version of a Sentential LogicHugo Albuquerque, Josep Maria Font, Ramon Jansana. sLogica, 105(4):703-760, 2017. [doi]

Note of the Full Generalized Models of the Extensions of a LogicHugo Albuquerque, Josep Maria Font, Ramon Jansana. rml, 52:57-68, 2017. [doi]

A General Algebraic Semantics for Sentential LogicsJosep Maria Font, Ramon Jansana. Volume 7 of Lecture Notes in Logic, Cambridge University Press, 2017. [doi]

Four-valued modal logic: Kripke semantics and dualityUmberto Rivieccio, Achim Jung, Ramon Jansana. logcom, 27(1):155-199, 2017. [doi]

2016

Compatibility operators in Abstract Algebraic LogicHugo Albuquerque, Josep Maria Font, Ramon Jansana. JSYML, 81(2):417-462, 2016. [doi]

A Note on Hilbert Algebras and Their Related Generalized Esakia SpacesSergio A. Celani, Ramon Jansana. order, 33(3):429-458, 2016. [doi]

On the Deductive System of the Order of an Equationally Orderable QuasivarietyRamon Jansana. sLogica, 104(3):547-566, 2016. [doi]

2014

Dualities for modal N4-latticesRamon Jansana, Umberto Rivieccio. igpl, 22(4):608-637, 2014. [doi]

2013

2012

On the free implicative semilattice extension of a Hilbert algebraSergio A. Celani, Ramon Jansana. mlq, 58(3):188-207, 2012. [doi]

A Note on the Model Theory for Positive Modal LogicSergio A. Celani, Ramon Jansana. FUIN, 114(1):31-54, 2012. [doi]

Algebraizable logics with a strong conjunction and their semi-lattice based companionsRamon Jansana. AML, 51(7-8):831-861, 2012. [doi]

Residuated bilatticesRamon Jansana, Umberto Rivieccio. soco, 16(3):493-504, 2012. [doi]

2011

Generalized Priestley Quasi-OrdersGuram Bezhanishvili, Ramon Jansana. order, 28(2):201-220, 2011. [doi]

Priestley Style Duality for Distributive Meet-semilatticesGuram Bezhanishvili, Ramon Jansana. sLogica, 98(1-2):83-122, 2011. [doi]

Distributive Lattices with a Generalized Implication: Topological DualityJorge E. Castro, Sergio A. Celani, Ramon Jansana. order, 28(2):227-249, 2011. [doi]

Leibniz-linked Pairs of Deductive SystemsJosep Maria Font, Ramon Jansana. sLogica, 99(1-3):171-202, 2011. [doi]

2010

Canonical extensions for congruential logics with the deduction theoremMai Gehrke, Ramon Jansana, Alessandra Palmigiano. APAL, 161(12):1502-1519, 2010. [doi]

2009

Update to A Survey of Abstract Algebraic Logic Josep Maria Font, Ramon Jansana, Don Pigozzi. sLogica, 91(1):125-130, 2009. [doi]

2006

On the Closure Properties of the Class of Full G-models of a Deductive SystemJosep Maria Font, Ramon Jansana, Don Pigozzi. sLogica, 83(1-3):215-278, 2006. [doi]

Selfextensional Logics with a ConjunctionRamon Jansana. sLogica, 84(1):63-104, 2006. [doi]

Willem Blok s Contribution to Abstract Algebraic LogicRamon Jansana. sLogica, 83(1-3):31-48, 2006. [doi]

Referential semantics: duality and applicationsRamon Jansana, Alessandra Palmigiano. rml, 41:63-93, 2006. [doi]

2005

Bounded distributive lattices with strict implicationSergio A. Celani, Ramon Jansana. mlq, 51(3):219-246, 2005. [doi]

2003

A Survey of Abstract Algebraic LogicJosep Maria Font, Ramon Jansana, Don Pigozzi. sLogica, 74(1-2):13-97, 2003.

ForewordJosep Maria Font, Ramon Jansana, Don Pigozzi. sLogica, 74(1-2):3-12, 2003.

Leibniz Filters RevisitedRamon Jansana. sLogica, 75(3):305-317, 2003. [doi]

2002

Full Models for Positive Modal LogicRamon Jansana. mlq, 48(3):427-445, 2002. [doi]

2001

A Closer Look at Some Subintuitionistic LogicsSergio A. Celani, Ramon Jansana. ndjfl, 42(4):225-255, 2001.

Fully Adequate Gentzen Systems and the Deduction TheoremJosep Maria Font, Ramon Jansana, Don Pigozzi. rml, 35:115-165, 2001. [doi]

Leibniz filters and the strong version of a protoalgebraic logicJosep Maria Font, Ramon Jansana. AML, 40(6):437-465, 2001. [doi]

2000

Weakly Algebraizable LogicsJanusz Czelakowski, Ramon Jansana. JSYML, 65(2):641-668, 2000.

ForewordJosep Maria Font, Ramon Jansana, Don Pigozzi. sLogica, 65(1):1-9, 2000.

1999

Priestley Duality, a Sahlqvist Theorem and a Goldblatt-Thomason Theorem for Positive Modal LogicSergio A. Celani, Ramon Jansana. igpl, 7(6):683-715, 1999. [doi]

Definability of Leibniz EqualityR. Elgueta, Ramon Jansana. sLogica, 63(2):223-243, 1999.

1997

A New Semantics for Positive Modal LogicSergio A. Celani, Ramon Jansana. ndjfl, 38(1):1-18, 1997.

1996

On Elementary Equivalence for Equality-free LogicEnrique Casanovas, Pilar Dellunde, Ramon Jansana. ndjfl, 37(3):506-522, 1996.

Some Characterization Theorems for Infinitary Universal Horn Logic Without EqualityPilar Dellunde, Ramon Jansana. JSYML, 61(4):1242-1260, 1996.

1995

Abstract modal logicsRamon Jansana. sLogica, 55(2):273-299, 1995.

1994

On the Sentential Logics Associated with Strongly Nice and Semi-Nice General LogicsJosep Maria Font, Ramon Jansana. igpl, 2(1):55-76, 1994. [doi]

Some Logics Related to von Wright s Logic of PlaceRamon Jansana. ndjfl, 35(1):88-98, 1994.

1989

On the Mathematical Content of the Theory of Classes KMRamon Jansana. mlq, 35(5):399-412, 1989. [doi]

Sign in or sign up to see more results.

runs on WebDSL