The following pages link to Vladimir Komendantsky (Q588686):
Displayed 27 items.
- An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus (Q557788) (← links)
- Ordering default theories and nonmonotonic logic programs (Q557790) (← links)
- Product Łukasiewicz logic (Q701745) (← links)
- Some useful 16-valued logics: How a computer network should think (Q815018) (← links)
- Differential interaction nets (Q860836) (← links)
- Generic models for computational effects (Q860841) (← links)
- A completeness result for a realisability semantics for an intersection type system (Q882122) (← links)
- Functors of Lindenbaum-Tarski, schematic interpretations, and adjoint cylinders between sentential logics (Q929639) (← links)
- Strongly continuous posets and the local Scott topology (Q932355) (← links)
- Continuity in partially ordered sets (Q938481) (← links)
- On very true (Q1349204) (← links)
- MV-algebras with operators (the commutative and the non-commutative case). (Q1421512) (← links)
- Graded many-valued resolution with aggregation. (Q1428680) (← links)
- Effective descent morphisms in some quasivarieties of algebraic, relational, and more general structures (Q1771122) (← links)
- A game semantics for generic polymorphism (Q1772770) (← links)
- Distance in Post algebras (Q1869237) (← links)
- Variants of the basic calculus of constructions (Q1885480) (← links)
- Checking determinism of regular expressions with counting (Q2343138) (← links)
- Morita equivalence of many-sorted algebraic theories (Q2491817) (← links)
- Loomis-Sikorski representation of monotone \(\sigma\)-complete effect algebras (Q2492319) (← links)
- On an essentially algebraic theory for locally presentable categories (Q2502182) (← links)
- (Q4631184) (← links)
- Denotational Semantics of Call-by-name Normalization in Lambda-mu Calculus (Q4982059) (← links)
- Interfacing Coq + SSReflect with GAP (Q5170233) (← links)
- View of Computer Algebra Data from Coq (Q5200109) (← links)
- \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\) (Q5946276) (← links)
- \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\) (Q5946327) (← links)