Pages that link to "Item:Q1770594"
From MaRDI portal
The following pages link to Quantized linear logic, involutive quantales and strong negation (Q1770594):
Displayed 12 items.
- Free \(Q\)-algebras. (Q279346) (← links)
- On the power-set \(Q\)-algebras (Q284662) (← links)
- Nuclei and conuclei on residuated lattices (Q549349) (← links)
- Bounded linear-time temporal logic: a proof-theoretic investigation (Q764266) (← links)
- Gentzen-type methods for bilattice negation (Q813084) (← links)
- Some useful 16-valued logics: How a computer network should think (Q815018) (← 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)
- Linear and affine logics with temporal, spatial and epistemic operators (Q2368991) (← links)
- Gentzen-type calculi for involutive quantales (Q2575479) (← links)
- Algebraic and Categorical Aspects of Quantales (Q3053874) (← links)
- Moore-Penrose equations in involutive residuated semigroups and involutive quantales (Q5005464) (← links)