设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
CNKI学位论文(1)
知网期刊论文(1)
在“
SpringerLink电子期刊
”中,
命中:
11
条,耗时:小于0.01 秒
在所有数据库中总计命中:
2
条
1.
Representations of polyadic-like equality algebras
作者:
Miklós Ferenczi
关键词:
Primary
;
03G
15
;
Secondary
;
03G27
;
03C95
;
polyadic algebras
;
cylindric algebras
;
algebraic logic
;
representation
刊名:Algebra Universalis
出版年:2016
2.
Characteristic Inference Rules
作者:
Alex Citkin (1)
1. 30 Upper Warren Way
;
Warren
;
NJ
;
07059
;
USA
关键词:
Primary
03G27
;
Secondary 03B55
;
Multiple
;
conclusion rule
;
algebra
;
characteristic rule
;
partial algebra
;
equivalential logic
;
Universal class
刊名:Logica Universalis
出版年:2015
3.
Implicative twist-structures
作者:
Umberto Rivieccio (1)
关键词:
Primary
;
06D05
;
Secondary
;
18A23
;
06D20
;
03G2
5
;
03G27
;
twist
;
structure
;
implicative bilattice
;
N4
;
lattice
;
Nelson lattice
;
representation
;
subreducts
;
algebraic logic
刊名:Algebra Universalis
出版年:2014
4.
A note on congruences of semilattices with sectionally finite height
作者:
Josep Maria Font (1)
Tommaso Moraschini (2)
关键词:
Primary
;
06A12
;
Secondary
;
03G27
;
semilattices
;
congruences
;
sectionally finite height
;
rainbows
;
clouds
;
Leibniz operator
;
abstract algebraic logic
刊名:Algebra Universalis
出版年:2014
5.
Beyond Rasiowan Systems: Unital Deductive Systems
作者:
Alexei Y. Muravitsky (1)
关键词:
Primary 03B22
;
Secondary
03G27
;
Monotone structural deductive system
;
consequence
;
variety
;
free algebra
刊名:Logica Universalis
出版年:2014
6.
Categorical Abstract Algebraic Logic: Behavioral π-Institutions
作者:
George Voutsadakis (1)
关键词:
Algebraic Logic
;
Multi
;
sorted Behavioral Logic
;
Behavioral Algebraizability
;
Behavioral Leibniz Operator
;
Behavioral Leibniz Hierarchy
;
Multi
;
sorted π
;
Institutions
;
Behavioral Leibniz Congruence Systems
;
Behavioral Categorical Leibniz Hierarchy
;
03G27
;
18A15
;
68N30
刊名:Studia Logica
出版年:2014
7.
Quantum B-algebras
作者:
Wolfgang Rump (1)
关键词:
03G
12
;
03G27
;
06F07
;
06F15
;
06F35
;
03F52
;
03G2
5
;
Quantale
;
Non
;
commutative logic
;
Partially ordered group
刊名:Central European Journal of Mathematics
出版年:2013
8.
Deduction as Reduction, from a Categorical Point of View
作者:
Dominique Duval (1)
关键词:
03G27
;
18C30
;
Deduction
;
graph transformation
;
categories in logic
刊名:Logica Universalis
出版年:2013
9.
Relation Formulas for Protoalgebraic Equality Free Quasivarieties; Pa?asińska’s Theorem Revisited
作者:
Anvar M. Nurakunov (1) (2)
Micha? M. Stronkowski (3) (4)
关键词:
Equality free quasivariety
;
Protoalgebraicity
;
Relation distributivity
;
Finite axiomatization
;
Relation formulas
;
Definable principal subrelations
;
08C15
;
08C10
;
03G27
刊名:Studia Logica
出版年:2013
10.
Algebraizable logics with a strong conjunction and their semi-lattice based companions
作者:
Ramon Jansana (1)
关键词:
Algebraizable logics
;
Strongly algebraizable logics
;
Logics based on semi
;
lattices
;
Abstract Algebraic logic
;
03G27
;
03B22
;
06A12
刊名:Archive for Mathematical Logic
出版年:2012
1
2
按检索点细分(11)
关键词(11)
按出版年细分(11)
2016年(1)
2015年(1)
2014年(4)
2013年(3)
2012年(1)
2011年(1)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via
email
.