Partial logics reconsidered: A conservative approach

DOI10.1007/BF01211555zbMath0785.03013MaRDI QIDQ1261311

Olaf Owe

Publication date: 21 April 1994

Published in: Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

nonmonotonic logicconsequence relationthree-valued logicpartial logicrecursive functionscalculus for partial functionsnonmonotonic operators

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in computer science (03B70) Many-valued logic (03B50)

Related Items (4)

A simple sequent calculus for partial functions ⋮ Monitoring of temporal first-order properties with aggregations ⋮ Inversive meadows and divisive meadows ⋮ Satisfiability in composition-nominative logics

Cites Work

• A logic covering undefinedness in program proofs
• A first order logic for partial functions
• Partial-predicate logic in computer science
• Weak logic theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Partial logics reconsidered: A conservative approach