Pages that link to "Item:Q5222681"
From MaRDI portal
The following pages link to Proof theory, semantics and algebra for normative systems (Q5222681):
Displaying 6 items.
- Normative positions within an algebraic approach to normative systems (Q598543) (← links)
- Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization (Q2238136) (← links)
- Normative systems represented by Boolean quasi-orderings (Q2718313) (← links)
- Proof Theory, Semantics and Algebra for Normative Systems (Q2859108) (← links)
- (Q3190364) (← links)
- Subordination algebras as semantic environment of input/output logic (Q6160753) (← links)