Logic Journal of the IGPL 26 (4):408-428 (2018)
Abstract | This article has no associated abstract. (fix it) |
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
DOI | 10.1093/jigpal/jzy006 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
An Algebraic Approach to Non-Classical Logics.Helena Rasiowa - 1974 - Warszawa, Pwn - Polish Scientific Publishers.
Notes on N-Lattices and Constructive Logic with Strong Negation.D. Vakarelov - 1977 - Studia Logica 36 (1-2):109-125.
Constructive Logic with Strong Negation is a Substructural Logic. I.Matthew Spinks & Robert Veroff - 2008 - Studia Logica 88 (3):325-348.
Semi-Intuitionistic Logic with Strong Negation.Juan Manuel Cornejo & Ignacio Viglizzo - 2018 - Studia Logica 106 (2):281-293.
Expansions of Semi-Heyting Algebras I: Discriminator Varieties.H. P. Sankappanavar - 2011 - Studia Logica 98 (1-2):27-81.
View all 10 references / Add more references
Citations of this work BETA
Dually Hemimorphic Semi-Nelson Algebras.Juan Manuel Cornejo & HernÁn Javier San MartÍn - 2020 - Logic Journal of the IGPL 28 (3):316-340.
Similar books and articles
Gentzen-Style Sequent Calculus for Semi-Intuitionistic Logic.Diego Castaño & Juan Manuel Cornejo - 2016 - Studia Logica 104 (6):1245-1265.
On Some Semi-Intuitionistic Logics.Juan M. Cornejo & Ignacio D. Viglizzo - 2015 - Studia Logica 103 (2):303-344.
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.
Expansions of Semi-Heyting Algebras I: Discriminator Varieties.H. P. Sankappanavar - 2011 - Studia Logica 98 (1-2):27-81.
Semi-Intuitionistic Logic with Strong Negation.Juan Manuel Cornejo & Ignacio Viglizzo - 2018 - Studia Logica 106 (2):281-293.
Subalgebras of Heyting and De Morgan Heyting Algebras.Valeria Castaño & Marcela Muñoz Santis - 2011 - Studia Logica 98 (1-2):123-139.
Plain Semi-Post Algebras as a Poset-Based Generalization of Post Algebras and Their Representability.Nguyen Cat Ho & Helena Rasiowa - 1989 - Studia Logica 48 (4):509 - 530.
Subalgebras and Homomorphisms of Semi-Post Algebras.Nguyen Cat Ho & Helena Rasiowa - 1987 - Studia Logica 46 (2):161 - 175.
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.
Principal Congruences on Semi-de Morgan Algebras.Cândida Palma & Raquel Santos - 2001 - Studia Logica 67 (1):75-88.
Analytics
Added to PP index
2018-04-11
Total views
17 ( #589,641 of 2,411,686 )
Recent downloads (6 months)
1 ( #539,172 of 2,411,686 )
2018-04-11
Total views
17 ( #589,641 of 2,411,686 )
Recent downloads (6 months)
1 ( #539,172 of 2,411,686 )
How can I increase my downloads?
Downloads