증명론적 의미론과 원자적 기반

정인교

철학

2015 .11

증명론적 타당성의 사소성 문제

정인교

논리연구

2015 .01

직관주의적 유형론에서의 진리개념

정인교

논리연구

2013 .01

“자체적으로 정당한 규칙과 논리상항의 의미”

정인교

논리연구

2003 .01

직관주의적 유형론에서의 명제와 판단

정인교

논리연구

2011 .01

피동의 의미론

이향천

언어학

1992 .04

직관주의적 진리개념

정인교

철학연구

2013 .09

'ANY'의 상보분포와 의미론

윤영은

언어

1997 .09

수학적 직관주의와 그 논리학

李鍾權

철학탐구

1990 .11

21세기 국어의미론 연구의 방향과 과제

박영순

언어과학연구

2004 .03

General Semantics

金宗太

코기토

1968 .12

의미론과 게임이론 : 그 이론적 결합의 문제점

이성범

언어

1999 .03

Algebraic Kripke-style semantics for substructural fuzzy logics

양은석

논리연구

2016 .01

離言絶慮의 의미론

박병수

인문언어

2019 .01

On Semantics and Distribution of Any

Kwang-sup Kim

언어

1998 .09

진리 의미론 대 결정이론적 의미론

정대현

철학연구

1992 .06

'-이나'와 '-도'의 의미론 : 분류사구와 결합하는 경우를 중심으로

정대호 ,  이정민 ,  남승호

어학연구

2002 .03

A Density Problem in Semantics

Eun-Joo Kwak

언어

2008 .06

Set-theoretic Kripke-style Semantics for Involutive Monoidal T-norm (Based) Logics

Eunsuk Yang

철학사상

2017 .08