The following pages link to Pawel Pawlowski (Q2071577):
Displaying 9 items.
- Non-deterministic logic of informal provability has no finite characterization (Q2071578) (← links)
- Tree-like proof systems for finitely-many valued non-deterministic consequence relations (Q2228348) (← links)
- (Q3536408) (← links)
- MANY-VALUED LOGIC OF INFORMAL PROVABILITY: A NON-DETERMINISTIC STRATEGY (Q4577994) (← links)
- Modular non-deterministic semantics for T, TB, S4, S5 and more (Q5028307) (← links)
- Proof systems for BAT consequence relations (Q5384361) (← links)
- Logic of informal provability with truth values (Q5877712) (← links)
- 8 valued non-deterministic semantics for modal logics (Q6128769) (← links)
- Informal provability, first-order BAT logic and first steps towards a formal theory of informal provability (Q6484828) (← links)
