default search action

combined dblp search
author search
venue search
publication search

ask others

Naosuke Matsuda

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2022
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/wollic/MatsudaT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wollic/MatsudaT22
Naosuke Matsuda, Kento Takagi:
What Kinds of Connectives Cause the Difference Between Intuitionistic Predicate Logic and the Logic of Constant Domains? WoLLIC 2022: 175-189
2021
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/NakamuraM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/NakamuraM21
Yoshiki Nakamura, Naosuke Matsuda:
On Implicational Intermediate Logics Axiomatizable by Formulas Minimal in Classical Logic: A Counter-Example to the Komori-Kashima Problem. Stud Logica 109(6): 1413-1422 (2021)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2017
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/Matsuda17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/Matsuda17
Naosuke Matsuda:
Cut-free sequent calculi for logics characterized by finite linear Kripke frames. Log. J. IGPL 25(5): 686-696 (2017)
2015
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/FujitaKKM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/FujitaKKM15
Ken-etsu Fujita, Ryo Kashima, Yuichi Komori, Naosuke Matsuda:
Reduction Rules for Intuitionistic λρ-calculus. Stud Logica 103(6): 1225-1244 (2015)
2014
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/KomoriMY14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/KomoriMY14
Yuichi Komori, Naosuke Matsuda, Fumika Yamakawa:
A Simplified Proof of the Church-Rosser Theorem. Stud Logica 102(1): 175-183 (2014)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.