#### Filter Results:

- Full text PDF available (5)

#### Publication Year

2003

2017

- This year (2)
- Last 5 years (9)
- Last 10 years (14)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- José L. Castiglioni, Marta Sagastume, Hernán Javier San Martín
- Reports on Mathematical Logic
- 2010

- José L. Castiglioni, Hernán Javier San Martín
- Reports on Mathematical Logic
- 2010

Received 22 December 2008 226 J.L. CASTIGLIONI AND H.J. SAN MARTÍN

- José L. Castiglioni, Hernán Javier San Martín
- Studia Logica
- 2011

- José L. Castiglioni, Rodolfo C. Ertola
- Logic Journal of the IGPL
- 2014

In this article we provide some results concerning a logic that results from propositional intuitionistic logic when dual negation is added in certain way, producing a paraconsistent logic that has been called da Costa Logic. In particular, we prove the finite model property and strict paraconsistency of this logic.

The (dual) Dold-Kan correspondence says that there is an equivalence of categories K : Ch → Ab between nonnegatively graded cochain complexes and cosimplicial abelian groups, which is inverse to the normalization functor. We show that the restriction of K to DG-rings can be equipped with an associative product and that the resulting functor DGR → Rings,… (More)

The main objectives of this paper are to give general proofs of the following two facts: A. For an operad O in Ab, let A be a simplicial O-algebra such that Am is the O-subalgebra generated by ( ∑m i=0 si(Am−1)), for every n, and let NA be the Moore complex of A. Then d(NmA) = ∑

- José L. Castiglioni, Hernán Javier San Martín
- Reports on Mathematical Logic
- 2013

In [3] we have claimed that finite Heyting algebras with successor only generate a proper subvariety of that of all Heyting algebras with successor, and in particular all finite chains generate a proper subvariety of the latter. As Xavier Caicedo made us notice, this claim is not true. He proved, using techniques of Kripke models, that the intuitionistic… (More)

- José L. Castiglioni, Hernán Javier San Martín
- Logic Journal of the IGPL
- 2015

- José L. Castiglioni, Matías Menni, Marta Sagastume
- Studia Logica
- 2008

Motivated by an old construction due to J. Kalman that relates distributive lattices and centered Kleene algebras we define the functor K relating integral residuated lattices with 0 (IRL0) with certain involutive residuated lattices. Our work is also based on the results obtained by Cignoli about an adjunction between Heyting and Nelson algebras, which is… (More)

- José L. Castiglioni, Hernán Javier San Martín
- Soft Comput.
- 2015