The following pages link to On notation for ordinal numbers (Q5772803):
Displaying 50 items.
- On elementary theories of ordinal notation systems based on reflection principles (Q281010) (← links)
- Kleene's three-valued logic and process algebra (Q293327) (← links)
- Three-valued logics in modal logic (Q383567) (← links)
- Inversive meadows and divisive meadows (Q420833) (← links)
- A calculus for four-valued sequential logic (Q549178) (← links)
- Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics (Q744990) (← links)
- The noneffectivity of Arslanov's completeness criterion and related theorems (Q781514) (← links)
- Correspondence analysis for some fragments of classical propositional logic (Q828774) (← links)
- A generalization of ACP using Belnap's logic (Q864509) (← links)
- Basic intuitionistic principles in fuzzy set theories and its extensions (a terminological debate on Atanassov IFS) (Q869120) (← links)
- Grounded fixpoints and their applications in knowledge representation (Q892232) (← links)
- An algebraic expression of finite horizon optimal control algorithm for stochastic logical dynamical systems (Q899110) (← links)
- An \(n\)-player semantic game for an \(n+1\)-valued logic (Q1005944) (← links)
- Infinite time extensions of Kleene's \({\mathcal O}\) (Q1031833) (← links)
- Turing oracle machines, online computing, and three displacements in computability theory (Q1032637) (← links)
- Fuzzy power sets and fuzzy implication operators (Q1139034) (← links)
- The independence of control structures in abstract programming systems (Q1155949) (← links)
- A many-valued semantics for category mistakes (Q1221081) (← links)
- Facts and the semantics of gerunds (Q1224071) (← links)
- Efficient linear orders (Q1231485) (← links)
- On interpreting Chaitin's incompleteness theorem (Q1277329) (← links)
- On dynamically non-trivial three-valued logics: Oscillatory and bifurcatory species (Q1433787) (← links)
- Concept lattices defined from implication operators (Q1582765) (← links)
- Process algebra and conditional composition (Q1607116) (← links)
- Convex MV-algebras: many-valued logics meet decision theory (Q1615991) (← links)
- Monoids of non-halting programs with tests (Q1646607) (← links)
- On fixed-point theorems in synthetic computability (Q1683373) (← links)
- An algebraic view of super-Belnap logics (Q1685564) (← links)
- The never-ending recursion (Q1688713) (← links)
- Natural deduction for Fitting's four-valued generalizations of Kleene's logics (Q1689568) (← links)
- Fixpoint semantics for active integrity constraints (Q1693567) (← links)
- On the characterizations of fuzzy implications satisfying \(I(x,I(y,z))=I(I(x,y),I(x,z))\) (Q1726392) (← links)
- Stone-type representations and dualities for varieties of bisemilattices (Q1744009) (← links)
- Key notions of Tarski's methodology of deductive systems (Q1820770) (← links)
- Molecular dynamics (Q1858435) (← links)
- Russell and his sources for non-classical logics (Q1931336) (← links)
- Computable linear orders and limitwise monotonic functions (Q2036468) (← links)
- Intensional Kleene and Rice theorems for abstract program semantics (Q2105439) (← links)
- Local higher-order fixpoint iteration (Q2105477) (← links)
- Fast three-valued abstract bit-vector arithmetic (Q2152654) (← links)
- Wave-particle duality and the objectiveness of ``true'' and ``false'' (Q2241464) (← links)
- Things that can be made into themselves (Q2252527) (← links)
- Limitwise monotonic functions relative to the Kleene's ordinal notation system (Q2263107) (← links)
- Mind change complexity of inferring unbounded unions of restricted pattern languages from positive data (Q2268856) (← links)
- Missing values and dragonfly operations in fuzzy relational compositions (Q2302773) (← links)
- Generic Kleene fixed point theorem (Q2403650) (← links)
- Semantic games with chance moves revisited: from IF logic to partial logic (Q2441754) (← links)
- Belnap's logic and conditional composition (Q2464948) (← links)
- Effectivity questions for Kleene's recursion theorem (Q2636408) (← links)
- Zur Theorie der konstruktiven Wohlordnungen (Q2651884) (← links)
