추상논리학

Abstract logic
기타 용도는 추상 논리(동음이의)를 참조하십시오.

수학적 논리학에서 추상논리는 발생, 팽창, 이형성, 개명, 정량화와 관련된 구체적인 성질에 대한 만족 관계와 문장의 등급으로 구성된 형식적 시스템이다.[1]

린드스트룀의 특성화에 기초하여 1차 논리학은 등가성까지, 셀 수 없을 정도로 압축되고 뢰웬하임 숫자 Ω을 갖는 유일한 추상적 논리다.[2]

참고 항목

참조

  1. ^ C. C. Chang과 Jerome Keisler 모델 이론, 1990 ISBN0-444-88054-2페이지
  2. ^ C. C. Chang과 Jerome Keisler 모델 이론, 1990 ISBN 0-444-88054-2페이지


Stub icon

이 수학적 논리 관련 논문은 단조롭다.위키피디아를 확장하여 도울 수 있다.