Skip to content
<title>Channels - Many-valued coalgebraic logic over semi-primal varieties :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Many-valued coalgebraic logic over semi-primal varieties
Search for more channels:
Similar Items: Many-valued coalgebraic logic over semi-primal varieties
Channel Options
View Record
Explore related channels
Quick Look
Encoding many-valued logic in $lambda$-calculus
Quick Look
Strongly Complete Logics for Coalgebras
Quick Look
Positive fragments of coalgebraic logics
Quick Look
Moss' logic for ordered coalgebras
Quick Look
Coalgebraic Semantics for Probabilistic Logic Programming
Quick Look
Coalgebraic Geometric Logic: Basic Theory
Quick Look
Coalgebras for Bisimulation of Weighted Automata over Semirings
Quick Look
Linear-time logics -- a coalgebraic perspective
Quick Look
Coalgebraic trace semantics via forgetful logics
Quick Look
Hopf and Lie algebras in semi-additive Varieties
Quick Look
Weak bisimulation for coalgebras over order enriched monads
Quick Look
Model Theory and Proof Theory of Coalgebraic Predicate Logic
Quick Look
Relation lifting, with an application to the many-valued cover modality
Quick Look
Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)
Quick Look
Bases as Coalgebras
Quick Look
The Many-Worlds Calculus
Quick Look
Rational streams coalgebraically
Quick Look
Well-Pointed Coalgebras
Quick Look
Coalgebraic Behavioral Metrics
Quick Look
Duality for powerset coalgebras
Quick Look
Convergence and Sample Complexity of Natural Policy Gradient Primal-Dual Methods for Constrained MDPs
Quick Look
Non-Deterministic Kleene Coalgebras
Quick Look
Relating coalgebraic notions of bisimulation
Quick Look
Conway games, algebraically and coalgebraically
Load more items
View Record
Prev
Explore related channels
Next
