A simple sequent calculus for partial functions
- 1 June 1993
- journal article
- research article
- Published by Elsevier in Theoretical Computer Science
- Vol. 114 (2) , 317-330
- https://doi.org/10.1016/0304-3975(93)90077-7
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- A Complete Axiomatization of the Three valued Completion of Logic ProgramsJournal of Logic and Computation, 1991
- Natural 3-valued logics—characterization and proof theoryThe Journal of Symbolic Logic, 1991
- Weak logic theoryTheoretical Computer Science, 1991
- A first order logic for partial functionsTheoretical Computer Science, 1990
- Partial LogicPublished by Springer Nature ,1986
- A logic covering undefinedness in program proofsActa Informatica, 1984
- A PARTIAL PREDICATE CALCULUS IN A TWO-VALUED LOGICMathematical Logic Quarterly, 1983
- On a Formalization of the Non‐Definedness NotionMathematical Logic Quarterly, 1979