A PARTIAL PREDICATE CALCULUS IN A TWO-VALUED LOGIC

DOI10.1002/malq.19830290410zbMath0521.03006OpenAlexW2122409425MaRDI QIDQ3671121

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)

Related Items (6)

Partial-predicate logic in computer science ⋮ A simple sequent calculus for partial functions ⋮ 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 ⋮ The non-definability notion and first order logic ⋮ Meeting of the Association for Symbolic Logic, Stanford, California, 1985

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