The following pages link to Umberto Rivieccio (Q368471):
Displaying 50 items.
- Bilattices with implications (Q368472) (← links)
- (Q454388) (redirect page) (← links)
- Priestley duality for bilattices (Q454389) (← links)
- Varieties of interlaced bilattices (Q647327) (← links)
- Leibniz-linked pairs of deductive systems (Q647411) (← links)
- Neutrosophic logics: Prospects and problems (Q835186) (← links)
- Locally tabular \(\neq \) locally finite (Q1682298) (← links)
- An algebraic view of super-Belnap logics (Q1685564) (← links)
- Characterizing finite-valuedness (Q1795205) (← links)
- Algebraic semantics for Nelson's logic \(\mathcal{S}\) (Q1799291) (← links)
- Residuated bilattices (Q1933771) (← links)
- Nothing but the truth (Q1947033) (← links)
- Bilattice logic of epistemic actions and knowledge (Q1987215) (← links)
- Representation of De Morgan and (semi-)Kleene lattices (Q2153649) (← links)
- A duality for two-sorted lattices (Q2156992) (← links)
- Compatibly involutive residuated lattices and the Nelson identity (Q2317520) (← links)
- Bilattice logic properly displayed (Q2328914) (← links)
- Quasi-Nelson algebras (Q2333675) (← links)
- Representation of interlaced trilattices (Q2446542) (← links)
- Implicative twist-structures (Q2449455) (← links)
- Quasi-Nelson; or, non-involutive Nelson algebras (Q2658305) (← links)
- Paraconsistent Modal Logics (Q2825416) (← links)
- Four-valued modal logic: Kripke semantics and duality (Q2987046) (← links)
- (Q3059234) (← links)
- The logic of distributive bilattices (Q3081248) (← links)
- Plug and Play Negations (Q3305346) (← links)
- (Q3367313) (← links)
- Non-involutive twist-structures (Q3386908) (← links)
- Epistemic Updates on Bilattices (Q3457727) (← links)
- An infinity of super-Belnap logics (Q4583174) (← links)
- (Q4636308) (← links)
- Nelson’s logic 𝒮 (Q5022331) (← links)
- Quasi-Nelson algebras and fragments (Q5022928) (← links)
- Fragments of Quasi-Nelson: The Algebraizable Core (Q5046720) (← links)
- Negation and Implication in Quasi-Nelson Logic (Q5059693) (← links)
- Łukasiewicz Public Announcement Logic (Q5117203) (← links)
- Modal twist-structures over residuated lattices (Q5172134) (← links)
- Dualities for modal N4-lattices (Q5172143) (← links)
- Kripke Semantics for Modal Bilattice Logic (Q5271081) (← links)
- (Q5869701) (← links)
- The value of the one value: \textit{exactly true logic} revisited (Q6054063) (← links)
- Prelinearity in (quasi-)Nelson logic (Q6079417) (← links)
- Finite axiomatizability of logics of distributive lattices with negation (Q6111084) (← links)
- Finite Hilbert systems for Weak Kleene logics (Q6516385) (← links)
- Generating proof systems for three-valued propositional logics (Q6516388) (← links)
- Axiomatizing the Logic of Ordinary Discourse (Q6533504) (← links)
- Intuitionistic modal algebras (Q6562368) (← links)
- Nelson conuclei and nuclei: the twist construction beyond involutivity (Q6636379) (← links)
- Finite Hilbert systems for weak Kleene logics (Q6642819) (← links)
- Algebraizability of the logic of quasi-N4-lattices (Q6659913) (← links)
