A PARTIAL PREDICATE CALCULUS IN A TWO-VALUED LOGIC

DOI10.1002/MALQ.19830290410MaRDI QIDQ3671121zbMATH OpenOpenAlexFDO

Authors Albert Hoogewijs

Publication date 1983

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19830290410

zbMATH Keywords

deduction calculuspartial predicate calculus

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Cited in

(6)

• Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus
• A guided tour of the mathematics of MetaSoft '88
• A simple sequent calculus for partial functions
• Meeting of the Association for Symbolic Logic, Stanford, California, 1985
• The non-definability notion and first order logic
• Partial-predicate logic in computer science

This page was built for publication: A PARTIAL PREDICATE CALCULUS IN A TWO-VALUED LOGIC

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