Microcomputer translator for medical text: Theorem verification for chapter two of Zeman's modal logic

DOI10.1016/0270-0255(86)90094-1zbMath0633.68089OpenAlexW2113856834MaRDI QIDQ3771659

Grover M. Hutchins, G. William Moore, Robert E. Miller

Publication date: 1986

Published in: Mathematical Modelling (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0270-0255(86)90094-1

zbMATH Keywords

medical document translatorQuine- McCluskey algorithmverification by Gentzen reduction

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35) Natural language processing (68T50)

This page was built for publication: Microcomputer translator for medical text: Theorem verification for chapter two of Zeman's modal logic