Pages that link to "Item:Q4644566"
From MaRDI portal
The following pages link to Decidability and complexity of fibred logics without shared connectives (Q4644566):
Displaying 6 items.
- An NP-complete fragment of fibring logic (Q905999) (← links)
- Characterizing finite-valuedness (Q1795205) (← links)
- Proof search on bilateralist judgments over non-deterministic semantics (Q2142069) (← links)
- On the characterization of fibred logics, with applications to conservativity and finite-valuedness (Q3133188) (← links)
- Plug and Play Negations (Q3305346) (← links)
- On Axioms and Rexpansions (Q5020163) (← links)