A PARTIAL PREDICATE CALCULUS IN A TWO-VALUED LOGIC

DOI10.1002/MALQ.19830290410zbMATH Open0521.03006OpenAlexW2122409425MaRDI QIDQ3671121FDOQ3671121

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
• Meeting of the Association for Symbolic Logic, Stanford, California, 1985
• A simple sequent calculus for partial functions
• 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)