矢算场论札记
- 作者梁昌洪著
- 出版社北京：科学出版社
- 标注页数178 页
- 文件页数187 页
- 文件大小8.05 MB
- 出版时间2007
- ISBN9787030198891
Classical linear logics with mix separation principleNorihiro Kamide · 2003
A note on dual-intuitionistic logicNorihiro Kamide · 2003
On a logic of involutive quantalesNorihiro Kamide · 2005
Synthesized substructural logicsNorihiro Kamide · 2007
Paraconsistent Computation Tree LogicKen Kaneiwa; Norihiro Kamide · 2011
Dynamic Non-Commutative LogicNorihiro Kamide · 2010
Synchronized Linear-Time Temporal LogicHeinrich Wansing; Norihiro Kamide · 2011
StrongMotohiko Mouri; Norihiro Kamide · 2008
Craig interpolation for semilinear substructural logicsMarchioni, Enrico; Metcalfe, George · Mathematical Logic Quarterly · 2012
Contents: (Math. Log. Quart. 6/2012)Mathematical Logic Quarterly · 2012
Cover PictureMathematical Logic Quarterly · 2012
Issue InformationMathematical Logic Quarterly · 2012
SEMANTISCHE UNTERSUCHUNGEN ÜBER QUANTOREN IIssel, Walter · Mathematical Logic Quarterly · 1969
A note on definition by casesBird, Richard · Mathematical Logic Quarterly · 1973
Untersuchungen über Mengentheoretische GleichungenMüller, Horst · Mathematical Logic Quarterly · 1973
Zur Vergrösserung von StrukturenPodewski, Klaus-Peter · Mathematical Logic Quarterly · 1973