FORMALIZING THE META-THEORY OF FIRST-ORDER PREDICATE LOGIC

DOI10.4134/JKMS.J160546OpenAlexW3158496506MaRDI QIDQ4609965

Gyesik Lee, Sunyoung Kim, Hugo Herberlin

Publication date: 27 March 2018

Full work available at URL: http://dspace.kci.go.kr/handle/kci/195260

zbMATH Keywords

completenessfirst-order predicate logicKripke semanticsformal proofssoundness

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (1)

A linear logic framework for multimodal logics

Uses Software

• Unnamed Item
• Unnamed Item

This page was built for publication: FORMALIZING THE META-THEORY OF FIRST-ORDER PREDICATE LOGIC