The following pages link to (Q4889421):
Displayed 4 items.
- Syntactic refutations against finite models in modal logic (Q1903134) (← links)
- On pairs of dual consequence operations (Q1941723) (← links)
- Rejection in Łukasiewicz’s and Słupecki’s Sense (Q4611693) (← links)
- Sequent-type rejection systems for finite-valued non-deterministic logics (Q6080581) (← links)