Order, ISSN 0167-8094, 3/2018, Volume 35, Issue 1, pp. 23 - 45

Generalizing the well known and exploited relation between Heyting and Nelson algebras to semi-Heyting algebras, we introduce the variety of semi-Nelson...

Geometry | Twist structures | Nelson algebras | Semi-Heyting algebras | Semi-Nelson algebras | Mathematics | Number Theory | Heyting algebras | MATHEMATICS | VARIETIES | Algebra

Geometry | Twist structures | Nelson algebras | Semi-Heyting algebras | Semi-Nelson algebras | Mathematics | Number Theory | Heyting algebras | MATHEMATICS | VARIETIES | Algebra

Journal Article

Order, ISSN 0167-8094, 2013, Volume 30, Issue 2, pp. 625 - 642

In this paper we investigate those subvarieties of the variety of semi-Heyting algebras which are term-equivalent to the variety of Godel algebras (linear...

Heyting algebra | Term-equivalent varieties | Linear Heyting algebra | Semi-Heyting algebra | MATHEMATICS | Algebra

Heyting algebra | Term-equivalent varieties | Linear Heyting algebra | Semi-Heyting algebra | MATHEMATICS | Algebra

Journal Article

3.
Full Text
A categorical equivalence between semi-Heyting algebras and centered semi-Nelson algebras

Logic Journal of the IGPL, ISSN 1367-0751, 08/2018, Volume 26, Issue 4, pp. 408 - 428

Motivated by a construction due to R. Cignoli that relates Heyting algebras and centered Nelson algebras, in this paper we prove that there exists an...

Semi-Heyting algebras | Semi-Nelson algebras | Duality | Congruences | MATHEMATICS | MATHEMATICS, APPLIED | congruences | duality | LOGIC | semi-Nelson algebras

Semi-Heyting algebras | Semi-Nelson algebras | Duality | Congruences | MATHEMATICS | MATHEMATICS, APPLIED | congruences | duality | LOGIC | semi-Nelson algebras

Journal Article

Annals of the University of Craiova, Mathematics and Computer Science Series, ISSN 1223-6934, 2016, Volume 43, Issue 2, pp. 210 - 217

Journal Article

Studia Logica: An International Journal for Symbolic Logic, ISSN 0039-3215, 6/2011, Volume 98, Issue 1/2, pp. 27 - 81

This paper is a contribution toward developing a theory of expansions of semi-Heyting algebras. It grew out of an attempt to settle a conjecture we had made in...

Universal algebra | Algebra | Mathematical theorems | Lattice theory | Logical theorems | Boolean data | Distributivity | Mathematical lattices | Heyting algebras | Mathematical congruence | subdirectly irreducible | 08B15 | 06D20 | Double semi-Heyting algebra | Computational Linguistics | Blended ∨-De Morgan law | Dually pseudocomplemented semi-Heyting algebra | Blended dually quasi-Stone semi-Heyting algebra | discriminator variety | simple | congruence | directly indecomposable | Blended dually quasi-De Morgan semi-Heyting algebra | Dually hemimorphic semi-Heyting algebra | equational base | Logic | De Morgan semi-Heyting algebra | normal filter | Philosophy | Mathematical Logic and Foundations | Primary: 03G25 | Secondary: 08B26 | 06D15 | LOGIC | DEMORGAN ALGEBRAS | MATHEMATICS | PHILOSOPHY | Blended V-De Morgan law | Algorithms | Universities and colleges

Universal algebra | Algebra | Mathematical theorems | Lattice theory | Logical theorems | Boolean data | Distributivity | Mathematical lattices | Heyting algebras | Mathematical congruence | subdirectly irreducible | 08B15 | 06D20 | Double semi-Heyting algebra | Computational Linguistics | Blended ∨-De Morgan law | Dually pseudocomplemented semi-Heyting algebra | Blended dually quasi-Stone semi-Heyting algebra | discriminator variety | simple | congruence | directly indecomposable | Blended dually quasi-De Morgan semi-Heyting algebra | Dually hemimorphic semi-Heyting algebra | equational base | Logic | De Morgan semi-Heyting algebra | normal filter | Philosophy | Mathematical Logic and Foundations | Primary: 03G25 | Secondary: 08B26 | 06D15 | LOGIC | DEMORGAN ALGEBRAS | MATHEMATICS | PHILOSOPHY | Blended V-De Morgan law | Algorithms | Universities and colleges

Journal Article

Mathematical Logic Quarterly, ISSN 0942-5616, 05/2012, Volume 58, Issue 3, pp. 168 - 176

In this paper we prove that the free algebras in a subvariety \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\mathcal...

free decomposability | Semi‐Heyting algebra | Glivenko theorem. msc Primary: 03G25, 06D20, 06D14 | Secondary: 08B20, 08B15 | Glivenko theorem | Semi-Heyting algebra | Free decomposability | MATHEMATICS | LOGIC

free decomposability | Semi‐Heyting algebra | Glivenko theorem. msc Primary: 03G25, 06D20, 06D14 | Secondary: 08B20, 08B15 | Glivenko theorem | Semi-Heyting algebra | Free decomposability | MATHEMATICS | LOGIC

Journal Article

Demonstratio Mathematica, ISSN 0420-1213, 09/2016, Volume 49, Issue 3, pp. 252 - 265

The purpose of this note is two-fold. Firstly, we prove that the variety RDMSH of regular De Morgan semi-Heyting algebras of level 1 satisfies Stone identity...

subdirectly irreducible | equational base | regular De Morgan semi-Heyting algebra of level 1 | amalgamation property | lattice of subvarieties | discriminator variety | simple | Discriminator variety | Regular De Morgan semi-Heyting algebra of level 1 | Subdirectly irreducible | Amalgamation property | Equational base | Lattice of subvarieties | Simple

subdirectly irreducible | equational base | regular De Morgan semi-Heyting algebra of level 1 | amalgamation property | lattice of subvarieties | discriminator variety | simple | Discriminator variety | Regular De Morgan semi-Heyting algebra of level 1 | Subdirectly irreducible | Amalgamation property | Equational base | Lattice of subvarieties | Simple

Journal Article

Studia Logica: An International Journal for Symbolic Logic, ISSN 0039-3215, 8/2015, Volume 103, Issue 4, pp. 853 - 875

In this paper we introduce a logic that we name semi Heyting-Brouwer logic, SHB, in such a way that the variety of double semi-Hey ting algebras is its...

Heyting–Brouwer logic | Computational Linguistics | Semi Heyting–Brouwer logic | Semi-Heyting algebras | Heyting algebras | Logic | Philosophy | Mathematical Logic and Foundations | Semi Heyting-Brouwer logic | INTUITIONISTIC LOGIC | MATHEMATICS | ALGEBRAS | Heyting-Brouwer logic | PHILOSOPHY | SUBTRACTIVE LOGIC | COMPLETENESS | LOGIC | EQUIVALENT | Algebra

Heyting–Brouwer logic | Computational Linguistics | Semi Heyting–Brouwer logic | Semi-Heyting algebras | Heyting algebras | Logic | Philosophy | Mathematical Logic and Foundations | Semi Heyting-Brouwer logic | INTUITIONISTIC LOGIC | MATHEMATICS | ALGEBRAS | Heyting-Brouwer logic | PHILOSOPHY | SUBTRACTIVE LOGIC | COMPLETENESS | LOGIC | EQUIVALENT | Algebra

Journal Article

Soft Computing, ISSN 1432-7643, 06/2017, Volume 21, Issue 12, pp. 3167 - 3176

In this paper we characterize the congruences in classes of algebras that properly include varieties of interest for the logic. These algebras are obtained by...

Semi-Heyting algebras | Implicative semi-lattices | Congruences | Compatible functions | Implication operation | Locally affine completeness | COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS | HEYTING ALGEBRAS | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | Algebra

Semi-Heyting algebras | Implicative semi-lattices | Congruences | Compatible functions | Implication operation | Locally affine completeness | COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS | HEYTING ALGEBRAS | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | Algebra

Journal Article

Studia Logica: An International Journal for Symbolic Logic, ISSN 0039-3215, 4/2015, Volume 103, Issue 2, pp. 303 - 344

Semi-intuitionistic logic is the logic counterpart to semi-Heyting algebras, which were defined by H. P. Sankappanavar as a generalization of Hey ting...

Intuitionistic logic | Computational Linguistics | Semi-Heyting algebras | Heyting algebras | Logic | Philosophy | Mathematical Logic and Foundations | Semi-intuitionistic logic | MATHEMATICS | PHILOSOPHY | LOGIC | EQUIVALENT | Algebra

Intuitionistic logic | Computational Linguistics | Semi-Heyting algebras | Heyting algebras | Logic | Philosophy | Mathematical Logic and Foundations | Semi-intuitionistic logic | MATHEMATICS | PHILOSOPHY | LOGIC | EQUIVALENT | Algebra

Journal Article

Studia Logica: An International Journal for Symbolic Logic, ISSN 0039-3215, 12/2016, Volume 104, Issue 6, pp. 1245 - 1265

The variety Sℋ of semi-Heyting algebras was introduced by H. P. Sankappanavar (in: Proceedings of the 9th "Dr. Antonio A. R. Monteiro" Congress, Universidad...

Abstract logic | Algebra | Mathematical theorems | Intuitionistic logic | Sequents | Logical theorems | Mathematical logic | Abstract algebraic logic | Sequent calculus | Induction assumption | Computational Linguistics | Semi-Heyting algebras | Heyting algebras | Logic | Philosophy | Mathematical Logic and Foundations | Semi-intuitionistic logic | MATHEMATICS | PHILOSOPHY | VARIETIES | Semi | LOGIC | EQUIVALENT | Analysis

Abstract logic | Algebra | Mathematical theorems | Intuitionistic logic | Sequents | Logical theorems | Mathematical logic | Abstract algebraic logic | Sequent calculus | Induction assumption | Computational Linguistics | Semi-Heyting algebras | Heyting algebras | Logic | Philosophy | Mathematical Logic and Foundations | Semi-intuitionistic logic | MATHEMATICS | PHILOSOPHY | VARIETIES | Semi | LOGIC | EQUIVALENT | Analysis

Journal Article

Studia Logica: An International Journal for Symbolic Logic, ISSN 0039-3215, 6/2011, Volume 98, Issue 1/2, pp. 9 - 25

The purpose of this paper is to define a new logic SI called semi-intuitionistic logic such that the semi-Heything algebras introduced [4] by Sankappanavar are...

Algebra | Mathematical theorems | Intuitionistic logic | Axioms | Logical theorems | Lindenbaum Tarski algebra | Semantics | Modus ponens | Deduction theorem | Heyting algebras | semi-intuitionistic logic | Computational Linguistics | semi-Heyting algebras | Logic | Philosophy | Mathematical Logic and Foundations | MATHEMATICS | PHILOSOPHY | LOGIC

Algebra | Mathematical theorems | Intuitionistic logic | Axioms | Logical theorems | Lindenbaum Tarski algebra | Semantics | Modus ponens | Deduction theorem | Heyting algebras | semi-intuitionistic logic | Computational Linguistics | semi-Heyting algebras | Logic | Philosophy | Mathematical Logic and Foundations | MATHEMATICS | PHILOSOPHY | LOGIC

Journal Article

Soft Computing, ISSN 1432-7643, 4/2010, Volume 15, Issue 4, pp. 721 - 728

The purpose of this paper was to investigate the structure of semi-Heyting chains and the variety $${{\mathcal{CSH}}}$$ generated by them. We determine the...

Engineering | Computational Intelligence | Control , Robotics, Mechatronics | Artificial Intelligence (incl. Robotics) | Semi-Heyting algebras | Heyting algebras | Mathematical Logic and Foundations | Varieties | COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE

Engineering | Computational Intelligence | Control , Robotics, Mechatronics | Artificial Intelligence (incl. Robotics) | Semi-Heyting algebras | Heyting algebras | Mathematical Logic and Foundations | Varieties | COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE

Journal Article

Lobachevskii Journal of Mathematics, ISSN 1995-0802, 4/2015, Volume 36, Issue 2, pp. 184 - 189

In this paper, we introduce the concept of a Semi Heyting Almost Distributive Lattice (SHADL) as a generalization of a Semi Heyting Algebra in the class of...

Geometry | Semi Heyting Almost Distributive Lattice(SHADL) | Heyting Almost Distributive Lattice(HADL) | Algebra | Almost Distributive Lattice (ADL) | Analysis | Mathematics, general | Probability Theory and Stochastic Processes | Mathematics | Mathematical Logic and Foundations | Principal ideal | Semi Heyting Algebra | Activities of daily living

Geometry | Semi Heyting Almost Distributive Lattice(SHADL) | Heyting Almost Distributive Lattice(HADL) | Algebra | Almost Distributive Lattice (ADL) | Analysis | Mathematics, general | Probability Theory and Stochastic Processes | Mathematics | Mathematical Logic and Foundations | Principal ideal | Semi Heyting Algebra | Activities of daily living

Journal Article

Categories and General Algebraic Structures with Applications, ISSN 2345-5853, 07/2014, Volume 2, Issue 1, pp. 47 - 64

This paper is the first of a two part series. In this paper, we first prove that the variety of dually quasi-De Morgan Stone semi-Heyting algebras of level 1...

subdirectly irreducible | strongly blended dually quasi-De Morgan Stone semi-Heyting algebra | equational base | discriminator variety | dually pseudocomplemented semi-Heyting algebra | simple | Regular dually, quasi-De Morgan, semi-Heyting algebra of level 1 | De Morgan semi-Heyting algebra | directly indecomposable

subdirectly irreducible | strongly blended dually quasi-De Morgan Stone semi-Heyting algebra | equational base | discriminator variety | dually pseudocomplemented semi-Heyting algebra | simple | Regular dually, quasi-De Morgan, semi-Heyting algebra of level 1 | De Morgan semi-Heyting algebra | directly indecomposable

Journal Article

Categories and General Algebraic Structures with Applications, ISSN 2345-5853, 07/2014, Volume 2, Issue 1, pp. 65 - 82

This paper is the second of a two part series. In this Part, we prove, using the description of simples obtained in Part I, that the variety...

subdirectly irreducible | Regular dually quasi-De Morgan semi-Heyting algebra of level 1 | strongly blended dually quasi-De Morgan Stone semi-Heyting algebra | equational base | discriminator variety | dually pseudocomplemented semi-Heyting algebra | simple | De Morgan semi-Heyting algebra | directly indecomposable

subdirectly irreducible | Regular dually quasi-De Morgan semi-Heyting algebra of level 1 | strongly blended dually quasi-De Morgan Stone semi-Heyting algebra | equational base | discriminator variety | dually pseudocomplemented semi-Heyting algebra | simple | De Morgan semi-Heyting algebra | directly indecomposable

Journal Article

No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.