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

DOI10.1016/0270-0255(86)90094-1zbMATH Open0633.68089OpenAlexW2113856834MaRDI QIDQ3771659FDOQ3771659

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)

Recommendations

• Title not available (Why is that?) 👍 👎
• A set-theoretic translation method for polymodal logics 👍 👎
• Semantics-Based Translation Methods for Modal Logics 👍 👎
• Modal translations in substructural logics 👍 👎
• Alternative translation techniques for propositional and first-order modal logics 👍 👎
• A set-theoretic translation method for (poly)modal logics 👍 👎
• Modal translation of substructural logics 👍 👎
• Translations Between Logics: A Survey 👍 👎
• On an automated translation of modal proof rules into formulas of the classical logic 👍 👎

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3771659)