Pages that link to "Item:Q2071578"
From MaRDI portal
The following pages link to Non-deterministic logic of informal provability has no finite characterization (Q2071578):
Displaying 6 items.
- Entailment is undecidable for symbolic heap separation logic formulæ with non-established inductive rules (Q2234797) (← links)
- (Q3791119) (← links)
- MANY-VALUED LOGIC OF INFORMAL PROVABILITY: A NON-DETERMINISTIC STRATEGY (Q4577994) (← links)
- Finite-Variable Logics Do Not Have Weak Beth Definability Property (Q5350328) (← links)
- Proof systems for BAT consequence relations (Q5384361) (← links)
- Logic of informal provability with truth values (Q5877712) (← links)