Finite algebra and multiple valued logic:
Gespeichert in:
Weitere Verfasser: | |
---|---|
Format: | Tagungsbericht Buch |
Sprache: | English |
Veröffentlicht: |
Amsterdam [u.a.]
North-Holland Publ. Co.
1981
|
Schriftenreihe: | Colloquia mathematica Societatis János Bolyai
28 |
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | Literaturangaben |
Beschreibung: | 880 S. graph. Darst. |
ISBN: | 0444854398 9638021527 |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV007474291 | ||
003 | DE-604 | ||
005 | 20221013 | ||
007 | t | ||
008 | 930421s1981 d||| |||| 10||| eng d | ||
020 | |a 0444854398 |9 0-444-85439-8 | ||
020 | |a 9638021527 |9 963-8021-52-7 | ||
035 | |a (OCoLC)8409837 | ||
035 | |a (DE-599)BVBBV007474291 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
049 | |a DE-355 |a DE-188 | ||
050 | 0 | |a QA251 | |
082 | 0 | |a 512 |2 19 | |
084 | |a SD 1979 |0 (DE-625)142713: |2 rvk | ||
245 | 1 | 0 | |a Finite algebra and multiple valued logic |c ed. by B. Csákány ... |
264 | 1 | |a Amsterdam [u.a.] |b North-Holland Publ. Co. |c 1981 | |
300 | |a 880 S. |b graph. Darst. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 1 | |a Colloquia mathematica Societatis János Bolyai |v 28 | |
500 | |a Literaturangaben | ||
650 | 7 | |a Algebra |2 gtt | |
650 | 4 | |a Algèbre universelle - Congrès | |
650 | 4 | |a Logique multivalente - Congrès | |
650 | 4 | |a Algebra, Universal |v Congresses | |
650 | 4 | |a Many-valued logic |v Congresses | |
650 | 0 | 7 | |a Mehrwertige Logik |0 (DE-588)4169335-8 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Algebra |0 (DE-588)4001156-2 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Endliche Algebra |0 (DE-588)4014647-9 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1979 |z Szeged |2 gnd-content | |
689 | 0 | 0 | |a Mehrwertige Logik |0 (DE-588)4169335-8 |D s |
689 | 0 | 1 | |a Algebra |0 (DE-588)4001156-2 |D s |
689 | 0 | |5 DE-604 | |
689 | 1 | 0 | |a Mehrwertige Logik |0 (DE-588)4169335-8 |D s |
689 | 1 | 1 | |a Endliche Algebra |0 (DE-588)4014647-9 |D s |
689 | 1 | |8 1\p |5 DE-604 | |
700 | 1 | |a Csákány, B. |4 edt | |
711 | 2 | |a Colloquium on Finite Algebra and Multiple Valued Logic |d 1979 |c Szeged |j Sonstige |0 (DE-588)249476-0 |4 oth | |
830 | 0 | |a Colloquia mathematica Societatis János Bolyai |v 28 |w (DE-604)BV000001677 |9 28 | |
856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004852710&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-004852710 | ||
883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk |
Datensatz im Suchindex
_version_ | 1804121751365353472 |
---|---|
adam_text | CONTENTS
PREFACE 3
CONTENTS 6
SCIENTIFIC PROGRAM 9
LIST OF PARTICIPANTS 15
H. ANDRfiKA I. NfiMETI, Which finite cylindric
algebras are generated by a single element? . . 23
R.A. BAIRAMOV, Some new results in the theory of
function algebras of finite valued logics ... 41
I. CHAJDA, Recent results and trends in toler¬
ances on algebras and varieties 69
K.N. CIMEV, On some properties of functions ... 97
Y. COUFALOVA, Polynomial functions over S ...ill
B. CSAKANY T. GAVALCOVA, Inductive clones ... 115
G. CZfiDLI J.D.H. SMITH, On the uniqueness
of Mal cev polynomials 127
A.F. DANIL CENKO, On parametrical expressibility
of the functions of fe valued logic 147
J. DASSOW, On the congruence lattice of
algebras of automaton mappings 161
J. DEMETROVICS L. HANNAK S.S. MARCENKOV, On
closed classes of selfdual functions in P . . 183
J. DEMETROVICS L. HANNAK L. R6NYAI, Almost
all prime element algebras with transitive
automorphism groups are functionally
complete 191
T. EVANS, Some remarks on the general theory
of clones 203
F. FERENCI, A representation of groupoids by
means of mappings 245
F. GECSEG, Tree transformations preserving
recognizability 251
K. GLAZEK, On weak automorphisms of finite
fields 275
P. GORALCIK V. KOUBEK, Pseudovarieties
and pseudotheories 301
V.A. GORBUNOV D.M. SMIRNOV, Finite algebras
and the general theory of guasivarieties . . . 325
J. HENNO, The depth of functions in many sorted
logic 333
T. HIKITA, On completeness for fe valued
functions with delay 345
T. KEPKA, Strong amalgamation property in some
groupoid varieties 373
R.A. KNOEBEL, A decomposition theorem for
several sorted algebras 387
D. LAU, Congruences on closed sets of
fc valued logic 417
H. MACHIDA, On closed sets of three valued
monotone logical functions 441
M. MIYAKAWA, Enumerations of bases of three
valued logical functions 469
A. NOZAKI, Completeness criteria for a set of
delayed functions with or without non uniform
compositions 489
P.P. PALFY L. SZABO A. SZENDREI, Algebras
with doubly transitive automorphism groups . . 521
V. PINKAVA, On Sheffer functions in fe valued
logical calculi 537
A.P. PIXLEY, The operations of finite
arithmetical algebras 547
L. POLAK, Multiplicity types of algebras
chain algebras 573
R. POSCHEL, Homogeneous relational algebras
are relationally complete 587
R.W. QUACKENBUSH, A new proof of Rosenberg s
primal algebra characterization theorem ... 603
I.G. ROSENBERG, Functional completeness of
single generated or surjective algebras ... 635
J. ROSICKY L. POLAK, Implicit operations
on finite algebras 653
I. STRAZDINS, On fundamental transformation
groups in the algebra of logic 669
A. SZENDREI, Clones of linear operations
on finite sets 693
D. UHLIG, On two classes of Boolean functions . . 739
E. VARMONOSTORY, Relational pattern functions . . 753
H. J. VOGEL, On Birkhoff algebras in
dftt symmetric categories 759
H. WERNER, A duality for weakly associative
lattices 78 1
D. CLARK H. WERNER, Affine completeness
in semiprimal varieties 809
P. ZLATOS, Two levelled logic and model
theory 825
PROBLEMS 873
|
any_adam_object | 1 |
author2 | Csákány, B. |
author2_role | edt |
author2_variant | b c bc |
author_facet | Csákány, B. |
building | Verbundindex |
bvnumber | BV007474291 |
callnumber-first | Q - Science |
callnumber-label | QA251 |
callnumber-raw | QA251 |
callnumber-search | QA251 |
callnumber-sort | QA 3251 |
callnumber-subject | QA - Mathematics |
classification_rvk | SD 1979 |
ctrlnum | (OCoLC)8409837 (DE-599)BVBBV007474291 |
dewey-full | 512 |
dewey-hundreds | 500 - Natural sciences and mathematics |
dewey-ones | 512 - Algebra |
dewey-raw | 512 |
dewey-search | 512 |
dewey-sort | 3512 |
dewey-tens | 510 - Mathematics |
discipline | Mathematik |
format | Conference Proceeding Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02257nam a2200553 cb4500</leader><controlfield tag="001">BV007474291</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20221013 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">930421s1981 d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444854398</subfield><subfield code="9">0-444-85439-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9638021527</subfield><subfield code="9">963-8021-52-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)8409837</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV007474291</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA251</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">512</subfield><subfield code="2">19</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 1979</subfield><subfield code="0">(DE-625)142713:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Finite algebra and multiple valued logic</subfield><subfield code="c">ed. by B. Csákány ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam [u.a.]</subfield><subfield code="b">North-Holland Publ. Co.</subfield><subfield code="c">1981</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">880 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Colloquia mathematica Societatis János Bolyai</subfield><subfield code="v">28</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Algebra</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algèbre universelle - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique multivalente - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebra, Universal</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Many-valued logic</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mehrwertige Logik</subfield><subfield code="0">(DE-588)4169335-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algebra</subfield><subfield code="0">(DE-588)4001156-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Endliche Algebra</subfield><subfield code="0">(DE-588)4014647-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1979</subfield><subfield code="z">Szeged</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mehrwertige Logik</subfield><subfield code="0">(DE-588)4169335-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Algebra</subfield><subfield code="0">(DE-588)4001156-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Mehrwertige Logik</subfield><subfield code="0">(DE-588)4169335-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Endliche Algebra</subfield><subfield code="0">(DE-588)4014647-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Csákány, B.</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Colloquium on Finite Algebra and Multiple Valued Logic</subfield><subfield code="d">1979</subfield><subfield code="c">Szeged</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)249476-0</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Colloquia mathematica Societatis János Bolyai</subfield><subfield code="v">28</subfield><subfield code="w">(DE-604)BV000001677</subfield><subfield code="9">28</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004852710&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-004852710</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift 1979 Szeged gnd-content |
genre_facet | Konferenzschrift 1979 Szeged |
id | DE-604.BV007474291 |
illustrated | Illustrated |
indexdate | 2024-07-09T17:02:57Z |
institution | BVB |
institution_GND | (DE-588)249476-0 |
isbn | 0444854398 9638021527 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-004852710 |
oclc_num | 8409837 |
open_access_boolean | |
owner | DE-355 DE-BY-UBR DE-188 |
owner_facet | DE-355 DE-BY-UBR DE-188 |
physical | 880 S. graph. Darst. |
publishDate | 1981 |
publishDateSearch | 1981 |
publishDateSort | 1981 |
publisher | North-Holland Publ. Co. |
record_format | marc |
series | Colloquia mathematica Societatis János Bolyai |
series2 | Colloquia mathematica Societatis János Bolyai |
spelling | Finite algebra and multiple valued logic ed. by B. Csákány ... Amsterdam [u.a.] North-Holland Publ. Co. 1981 880 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Colloquia mathematica Societatis János Bolyai 28 Literaturangaben Algebra gtt Algèbre universelle - Congrès Logique multivalente - Congrès Algebra, Universal Congresses Many-valued logic Congresses Mehrwertige Logik (DE-588)4169335-8 gnd rswk-swf Algebra (DE-588)4001156-2 gnd rswk-swf Endliche Algebra (DE-588)4014647-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1979 Szeged gnd-content Mehrwertige Logik (DE-588)4169335-8 s Algebra (DE-588)4001156-2 s DE-604 Endliche Algebra (DE-588)4014647-9 s 1\p DE-604 Csákány, B. edt Colloquium on Finite Algebra and Multiple Valued Logic 1979 Szeged Sonstige (DE-588)249476-0 oth Colloquia mathematica Societatis János Bolyai 28 (DE-604)BV000001677 28 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004852710&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
spellingShingle | Finite algebra and multiple valued logic Colloquia mathematica Societatis János Bolyai Algebra gtt Algèbre universelle - Congrès Logique multivalente - Congrès Algebra, Universal Congresses Many-valued logic Congresses Mehrwertige Logik (DE-588)4169335-8 gnd Algebra (DE-588)4001156-2 gnd Endliche Algebra (DE-588)4014647-9 gnd |
subject_GND | (DE-588)4169335-8 (DE-588)4001156-2 (DE-588)4014647-9 (DE-588)1071861417 |
title | Finite algebra and multiple valued logic |
title_auth | Finite algebra and multiple valued logic |
title_exact_search | Finite algebra and multiple valued logic |
title_full | Finite algebra and multiple valued logic ed. by B. Csákány ... |
title_fullStr | Finite algebra and multiple valued logic ed. by B. Csákány ... |
title_full_unstemmed | Finite algebra and multiple valued logic ed. by B. Csákány ... |
title_short | Finite algebra and multiple valued logic |
title_sort | finite algebra and multiple valued logic |
topic | Algebra gtt Algèbre universelle - Congrès Logique multivalente - Congrès Algebra, Universal Congresses Many-valued logic Congresses Mehrwertige Logik (DE-588)4169335-8 gnd Algebra (DE-588)4001156-2 gnd Endliche Algebra (DE-588)4014647-9 gnd |
topic_facet | Algebra Algèbre universelle - Congrès Logique multivalente - Congrès Algebra, Universal Congresses Many-valued logic Congresses Mehrwertige Logik Endliche Algebra Konferenzschrift 1979 Szeged |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004852710&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
volume_link | (DE-604)BV000001677 |
work_keys_str_mv | AT csakanyb finitealgebraandmultiplevaluedlogic AT colloquiumonfinitealgebraandmultiplevaluedlogicszeged finitealgebraandmultiplevaluedlogic |