The following pages link to (Q5746017):
Displaying 3 items.
- Some remarks on extending and interpreting theories with a partial predicate for truth (Q1093626) (← links)
- An inference system of an extension of Floyd-Hoare logic for partial predicates (Q2311523) (← links)
- Partial logics with two kinds of negation as a foundation for knowledge-based reasoning (Q2715521) (← links)