Sign in
Author

Conference

Journal

Organization

Year

DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(4)
Algebraic Approach
Decision Problem
nonclassical logic
Universal Algebra
Related Publications
(37)
The Lattice of Lambda Theories
Fundamentals of semigroup theory
On n permutable congruences
The representation of biregular rings by sheaves
Algebraic Theory of Automata
Subscribe
Academic
Publications
A Course in Universal Algebra
A Course in Universal Algebra,H. P. Sankappanavar,Stanley Burris
Edit
A Course in Universal Algebra
(
Citations: 739
)
BibTex

RIS

RefWorks
Download
H. P. Sankappanavar
,
Stanley Burris
Algebra, Holt, Rinehart and Winston,New York, 1968.29. H. Rasiowa, An
Algebraic Approach
to NonClassical Logics, NorthHolland, Amsterdam,1974.30. H. Rasiowa and R. Sikorski, The Mathematics of Metamathematics, Panstwowe WydawnictwoNaukowe, Warszawa, 1963.31. H.P. Sankappanavar, Decision Problems: History and Methods, in A.I. Arruda, N.C.A.da Costa, and R. Chuaqui, eds., Mathematical Logic: Proceedings of the First BrazilianConference, Marcel Dekker, New York, 1978, 241291.32. R....
Published in 1981.
Cumulative
Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
(
www.math.sc.edu
)
(
bigcheese.math.sc.edu
)
Citation Context
(355)
...From (1) and Theorem 9.4 of [
19
] we conclude (2)...
...Hence (3) follows from Theorem 10.7 of [
19
]...
...Now, use the preceding corollary and Theorem 10.7 of [
19
]...
H. P. Sankappanavar
.
Expansions of SemiHeyting Algebras I: Discriminator Varieties
...His proof uses deep structural theorems from universal algebra [
11
], [29], [25]...
JinYi Cai
,
et al.
Nonnegatively Weighted #CSP: An Effective Complexity Dichotomy
...discriminator [
1
] is now represented by a term in our fields...
...and observe that ϕ is an EFDsentence of the language LF .A sFF ϕ, Lemma 4 produces ISPu(FF ) ϕ .N ow, letV be the variety generated by FF .S inceV is a discriminator variety, everyone of its members is isomorphic to a Boolean product with factors in ISPu(FF ) [
1
]...
Miguel A. Campercholi
,
et al.
An implicit function theorem for algebraically closed fields
...The invertiblity of operations also can be defined by means of orthogonality of operations [
18
, 19]...
E. M. Nazari
.
Invertible medial algebras and a group of operations
...The reader is referred to [
1
] and [2] for any undefined notations and terminology...
Jian Rong Li
,
et al.
On the finite basis problem for the monoids of triangular boolean matr...
References
(49)
Open problems about regular languages
(
Citations: 12
)
Janusz Brzozowski
Published in 1980.
Algebraic Theory of Lattices
(
Citations: 264
)
P. Crawley
,
R. Dilworth
Published in 1973.
Cylindric algebras (part i)
(
Citations: 151
)
L. Henkin
,
J. D. Monk
,
A. Tarski
Published in 1971.
An algebraic approach to nonclassical logics
(
Citations: 198
)
H. Rasiowa
Published in 1978.
The mathematics of metamathematics
(
Citations: 268
)
H. Rasiowa
,
R. Sikorski
Published in 1963.
Sort by:
Citations
(739)
A noncoordinatizable sectionally complemented modular lattice with a large Jónsson fourframe
(
Citations: 3
)
Friedrich Wehrung
Journal:
Advances in Applied Mathematics  ADVAN APPL MATH
, vol. 47, no. 1, pp. 173193, 2011
Epigenetic regulation of microRNAs in cancer: An integrated review of literature
(
Citations: 2
)
Tanja Kunej
,
Irena Godnic
,
Jana Ferdin
,
Simon Horvat
,
Peter Dovc
,
George Adrian Calin
Journal:
Mutation Researchfundamental and Molecular Mechanisms of Mutagenesis  MUTAT RESFUNDAM MOL MECH MUT
, vol. 717, no. 1, pp. 7784, 2011
Nonreversible betting games on fuzzy events: Complexity and algebra
(
Citations: 1
)
Martina Fedel
,
Tommaso Flaminio
Journal:
Fuzzy Sets and Systems  FSS
, vol. 169, no. 1, pp. 91104, 2011
Reduction of fuzzy automata by means of fuzzy quasiorders
(
Citations: 2
)
Aleksandar Stamenkovic
,
Miroslav Ciric
,
Jelena Ignjatovic
Published in 2011.
Bacterial biofilmbased water toxicity sensor
Hadar BenYoav
,
Tal Amzel
,
Alva Biran
,
Marek Sternheim
,
Shimshon Belkin
,
Amihay Freeman
,
Yosi ShachamDiamand
Journal:
Sensors and Actuators Bchemical  SENSOR ACTUATOR BCHEM
, vol. 158, no. 1, pp. 366371, 2011