Free-decomposability in varieties of semi-Heyting algebras

, &
Mathematical Logic Quarterly 58 (3):168-176 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Free‐decomposability in varieties of semi‐Heyting algebras.Manuel Abad, Juan Manuel Cornejo & Patricio Díaz Varela - 2012 - Mathematical Logic Quarterly 58 (3):168-176.
Gentzen-Style Sequent Calculus for Semi-intuitionistic Logic.Diego Castaño & Juan Manuel Cornejo - 2016 - Studia Logica 104 (6):1245-1265.
De Don Juan Bautista a Don Juan Manuel.Fermín Chávez - 1997 - Instituto Nacional de Investigaciones Históricas Juan Manuel de Rosas.
The Semi Heyting–Brouwer Logic.Juan Manuel Cornejo - 2015 - Studia Logica 103 (4):853-875.
Juan José AYÁN CALVO – Manuel ARÓZTEGI ESNAOLA – Patricio de NAVASCUÉS BENLLOCH – Andrés SÁEZ GUTIÉRREZ (eds.), IRENEO DE LYON, Contra las herejías I. Introducción, edición crítica, traducción y notas (Fuentes Patrísticas 37), Madrid, Ciudad Nueva, 2022.Antonio Bueno Ávila - 2022 - Isidorianum 31 (2):219-221.
Decomposability of free Łukasiewicz implication algebras.Jose Díaz Varela & Antoni Torrens Torrell - 2006 - Archive for Mathematical Logic 45 (8):1011-1020.
Bounded distributive lattices with strict implication.Sergio Celani & Ramon Jansana - 2005 - Mathematical Logic Quarterly 51 (3):219-246.
A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions.Juan Manuel Cornejo & Hanamantagouda P. Sankappanavar - 2022 - Bulletin of the Section of Logic 51 (4):555-645.
The Variety of Semi-Heyting Algebras Satisfying the equation ^* \vee ^{**} \approx 1.Manuel Abad, Juan Cornejo & Jos\'E. Varela - 2011 - Reports on Mathematical Logic:75-90.
Semi-intuitionistic Logic.Juan Manuel Cornejo - 2011 - Studia Logica 98 (1-2):9-25.

Analytics

Added to PP
2013-12-01

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references