지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
ABSTRACT
1. Introduction
2. Ginsberg‘s Multivalued Logic
3. A Use of Material Implication in Multival ued Logic
4. Relevance Logics
5. A Relevant Entailment for Multivalued Logic
6. Relevant Constraints
7. Discussion
References
저자소개
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
논리형 추론컴퓨터 ( Logic Machine )
전자공학회지
1987 .06
논리 세기 개념을 이용한 논리 레벨 시뮬레이션 ( Logic Level Simulation Using The Logic Strength Concept )
대한전자공학회 학술대회
1987 .11
확장된 논리에 의한 추론 시스템에 관한 연구 ( A STUDY ON REASONING SYSTEM BY DEFAULT LOGIC )
대한전자공학회 학술대회
1987 .11
확장논리에 기초한 순차디지털논리시스템 및 컴퓨터구조에 관한 연구
한국인터넷방송통신학회 논문지
2008 .01
D-알리고즘을 利用한 多値組合論理 回路의 缺陷 檢出
(구)정보과학회논문지
1982 .08
추론 테이블을 이용한 논리기반 전문가 시스템에 관한 연구
전기학회논문지
1995 .03
I²L 배열에 의한 다치논리 회로의 설계
대한전자공학회 학술대회
1986 .12
I2L 배열에 의한 다치논리 회로의 설계 ( Design of Multivalued Logic Circuits using I2L Array )
대한전자공학회 학술대회
1986 .01
가능성세개의 모델에 관한 연구
한국정보과학회 학술발표논문집
1986 .10
연관분석을 이용한 마코프 논리네트워크의1차 논리 공식 생성과 가중치 학습방법
산업경영시스템학회지
2015 .01
시간논리와 표현논리를 이용한 운전절차 자동합성 시스템 개발
한국가스학회지
2001 .03
논리 언어 확장 및 병렬 추론기계의 설계 및 구현 ( The Design and Implementation of a Parallel Inference Machine and An Extension of A Logic Language )
특정연구 결과 발표회 논문집
1989 .01
논리 언어 확장 및 병렬 추론기계의 설계 및 구현 ( The Design and Implementation of a Parallel Inference Machine and An Extension of a Logic Language )
한국통신학회 학술대회논문집
1989 .01
Fuzzy Inference Network and Search Strategy using Neural Logic Network
멀티미디어학회논문지
2001 .04
Logic Simulation
대한전자공학회 단기강좌
1983 .01
컴퓨터 논리와 현실적 논리
소프트웨어세계
1994 .01
그래픽 인터페이스를 이용한 논리 환경의 자동 생성
한국정보과학회 학술발표논문집
1993 .04
논리와 논리머신
전자공학회지
1988 .06
암호학적 프로토콜 분석을 위한 개선된 논리
한국정보과학회 학술발표논문집
2003 .04
다치논리를 적용한 D/A 변환기의 설계
대한전자공학회 학술대회
2003 .07
0