The following pages link to (Q2753604):
Displaying 10 items.
- Canonical signed calculi with multi-ary quantifiers (Q408550) (← links)
- An informational view of classical logic (Q897935) (← links)
- Non-deterministic semantics for logics with a consistency operator (Q997049) (← links)
- Non-distributive relatives of ETL and NFL (Q2021563) (← links)
- Analytic tableaux for non-deterministic semantics (Q2142063) (← links)
- A qualitative temporal extension of here-and-there logic (Q2694563) (← links)
- Classic-Like Analytic Tableaux for Finite-Valued Logics (Q3638289) (← links)
- Graded tableaux for Rational Pavelka Logic (Q5717796) (← links)
- Axiomatizing non-deterministic many-valued generalized consequence relations (Q6088603) (← links)
- Signed dual tableaux for Kleene answer set programs (Q6599615) (← links)
