Jump to main content

yr 〜
yr

Search results 28

Hiroakira Ono on substructural logic (Outstanding contributions to logic ; volume 23)

Hiroakira Ono on substructural logic (Outstanding contributions to logic ; volume 23)
Paper図書
Nikolaos Galatos, Kazushige Terui, editorsSpringer[2022]<MA41-D8>
National Diet Library
  • Summary, etc.... lifes work on substructural logics. Chapters, wri......tems for modal substructural logics, results on the existence and...
  • Contents... expansions of substructural logics (Jacopo Amidei, Rodolfo C. Er...

Commutative substructural logics : an algebraic study

Commutative substructural logics : an algebraic study
Paper博士論文
Hitoshi Kihara [著][Hitoshi Kihara][2006]<UT51-2008-D885>
National Diet LibraryOther Libraries in Japan

Operations and relations : two semantical treatments of intensional connectives in substructural logics

Operations and relations : two semantical treatments of intensional connectives in substructural logics
Paper博士論文
Ying Gao [著][Ying Gao][2007]<UT51-2008-A617>
National Diet Library

Natural deductions for substructural logics

Natural deductions for substructural logics
PaperDigital博士論文障害者向け資料あり
上野岳史 [著]<UT51-2000-G495>
Available onlineNational Diet Library

Substructural logics with restricted versions of structural rules

Substructural logics with restricted versions of structural rules
PaperDigital博士論文障害者向け資料あり
上出哲広 [著]<UT51-2000-K147>
National Diet Library
  • Toc / Article...troduction 1.1 Substructural logics 1.2 Cut-elimin...... Implicational Substructural Logics 2.1 Introducti...... Implicational Substructural Logics 3.1 Introducti...... Implicational Substructural Logics 4.1 Introducti...... 5.4 Remarks 6 Substructural Logics with Mingle 6.......Intuitionistic substructural logics with mingle 6.3 Classical substructural logics with mingle 6....... Implicational substructural logics with mingle 6.5 Restricted mi...

A proof-theoretical investigation on intuitionistic substructural logics

A proof-theoretical investigation on intuitionistic substructural logics
PaperDigital博士論文障害者向け資料あり
Bayu Surarso [著]<UT51-2000-C160>
Available onlineNational Diet Library
  • Toc / Article...nt systems for substructural logics 2.1 FL and its......on theorem for substructural logics 3.1 Gentzen's ......stributionless substructural logics 4.1 Maehara's ......5 Distributive substructural logics without weaken......6 Distributive substructural logics with weakening rules 6.1 Gent...

Decidability and finite model property of substructural logics / Hiroakira Ono. (ILLC research report and technical notes series. Computation and complexity theory (CT) series ; ML-95-09)

Decidability and finite model property of substructural logics / Hiroakira Ono. (ILLC research report and technical notes series. Computation and complexity theory (CT) series ; ML-95-09)
Paper図書
Institute for Logic, Language and Computation (ILLC) , University of Amsterdam[1995?]<MA41-A104>
National Diet Library

Hiroakira Ono on substructural logics

Hiroakira Ono on substructural logics
Paper図書
Nikolaos Galatos, Kazushige TeruiSpringerc2022
Other Libraries in Japan

Algebraic perspectives on substructural logics

Algebraic perspectives on substructural logics
Paper図書
Davide Fazio, Antonio Ledda, Francesco Paoli, editorsSpringerc2021
Other Libraries in Japan

Substructural logics

Substructural logics
Paper図書
edited by Peter Schroeder-Heister and Kosta DošenClarendon Press1993
Other Libraries in Japan

Quantifiers, propositions and identity : admissible semantics for quantified modal and substructural logics

Quantifiers, propositions and identity : admissible semantics for quantified modal and substructural logics
Paper図書
Robert GoldblattAssociation for Symbolic Logic2011
Other Libraries in Japan

Residuated lattices : an algebraic glimpse at substructural logics 1st ed

Residuated lattices : an algebraic glimpse at substructural logics 1st ed
Paper図書
Nikolaos Galatos ... [et al.]Elsevier2007
Other Libraries in Japan

Substructural logics : a primer

Substructural logics : a primer
Paper図書
Francesco PaoliKluwer Academicc2002
Other Libraries in Japan

An introduction to substructural logics : hbk : pbk

An introduction to substructural logics : hbk : pbk
Paper図書
Greg RestallRoutledge2000
Other Libraries in Japan

Substructural logics with mingle

Substructural logics with mingle
Paper文書・図像類
Kamide, Norihiro北陸先端科学技術大学院大学情報科学研究科1999-02-08Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-99-0003p.1-17
Other Libraries in Japan

Substructural logics with restricted versions of structural rules

Substructural logics with restricted versions of structural rules
Paper図書
by Norihiro KamideNorihiro Kamide2000.3
Other Libraries in Japan

Mingle converse principle for substructural logics

Mingle converse principle for substructural logics
Paper文書・図像類
Kamide, Norihiro北陸先端科学技術大学院大学情報科学研究科1999-04-16Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-99-0013p.1-8
Other Libraries in Japan

A family of substructural logics with restricted/generalized structural rules

A family of substructural logics with restricted/generalized structural rules
Paper文書・図像類
Kamide, Norihiro北陸先端科学技術大学院大学情報科学研究科1998-09-17Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-98-0023p.1-41
Other Libraries in Japan

Operations and relations : two semantical treatments of intensional connectives in substructural logics = 操作と関係 : 部分構造論理における内包的結合子に関する二つの意味論的手法

Operations and relations : two semantical treatments of intensional connectives in substructural logics = 操作と関係 : 部分構造論理における内包的結合子に関する二つの意味論的手法
Paper図書
Ying GaoYing Gao2007
Other Libraries in Japan

Glueing of algebras for substructural logics

Glueing of algebras for substructural logics
Paper文書・図像類
Shirasu, Hiroyuki北陸先端科学技術大学院大学情報科学研究科1995-09Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-95-0017p.1-13
Other Libraries in Japan
RSS