Pages that link to "Item:Q4948528"
From MaRDI portal
The following pages link to Displaying the modal logic of consistency (Q4948528):
Displayed 8 items.
- Gentzen-type methods for bilattice negation (Q813084) (← links)
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- Phase semantics and Petri net interpretation for resource-sensitive strong negation (Q1006444) (← links)
- A survey of nonstandard sequent calculi (Q2259014) (← links)
- Hypersequent Calculi for S5: The Methods of Cut Elimination (Q2987741) (← links)
- Natural deduction systems for Nelson's paraconsistent logic and its neighbors (Q3647236) (← links)
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK (Q5346691) (← links)
- A spatial modal logic with a location interpretation (Q5462985) (← links)