An extended joint consistency theorem for a nonconstructive logic of partial terms with definite descriptions

DOI10.1023/A:1013822008159zbMath0988.03049OpenAlexW1543262318MaRDI QIDQ5955617

Raymond D. Gumb

Publication date: 22 July 2002

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1013822008159

zbMATH Keywords

definite descriptionsextended joint consistency theoreminterpolation lemmalogic of partial termsnegative free logictableaux system

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)

Related Items (5)

Tableaux for free logics with descriptions ⋮ A sequent calculus for a negative free logic ⋮ Free logics are cut-free ⋮ Free Definite Description Theory – Sequent Calculi and Cut Elimination ⋮ The lazy logic of partial terms

This page was built for publication: An extended joint consistency theorem for a nonconstructive logic of partial terms with definite descriptions