Pages that link to "Item:Q1770594"
From MaRDI portal
The following pages link to Quantized linear logic, involutive quantales and strong negation (Q1770594):
Displaying 18 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)
- Quantum logic and linear logic (Q1330093) (← links)
- Linear and affine logics with temporal, spatial and epistemic operators (Q2368991) (← links)
- Gentzen-type calculi for involutive quantales (Q2575479) (← links)
- Equality in linear logic (Q2735816) (← links)
- On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility (Q2915076) (← links)
- Algebraic and Categorical Aspects of Quantales (Q3053874) (← links)
- Quantales and (noncommutative) linear logic (Q3478401) (← links)
- (Q4459084) (← links)
- Moore-Penrose equations in involutive residuated semigroups and involutive quantales (Q5005464) (← links)
- QUANTIFIERS ON LATTICES WITH AN ANTITONE INVOLUTION (Q5190818) (← links)