Pages that link to "Item:Q1982009"
From MaRDI portal
The following pages link to \(\mathrm{IKT}^\omega\) and Łukasiewicz-models (Q1982009):
Displaying 4 items.
- The Lawrence-Sullivan construction is the right model for \(I^{+}\) (Q1945742) (← links)
- Quadratic forms in models of \(I\Delta _{0}+\Omega _{1}\). I (Q2382276) (← links)
- MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations (Q5038471) (← links)
- IKT$^\omega$ and \L{}ukasiewicz-models (Q6353701) (← links)