Pages that link to "Item:Q5845380"
From MaRDI portal
The following pages link to The Two-Valued Iterative Systems of Mathematical Logic. (AM-5) (Q5845380):
Displayed 50 items.
- Combinatorial problems raised from 2-semilattices (Q2496183) (← links)
- On the cardinality of the family of precomplete classes in \(P_{E}\) (Q2508750) (← links)
- The generation of clones with majority operations (Q2510717) (← links)
- Closed classes generated by symmetric functions in the three-valued logic (Q2513000) (← links)
- Classes generated by monotone symmetric functions in the three-valued logic (Q2513048) (← links)
- Equivalent transformations of formulas in \(P_2\). (Q2513087) (← links)
- Completeness of systems of functions for classes of extended superposition (Q2513192) (← links)
- Dichotomy for finite tournaments of mixed-type (Q2515599) (← links)
- On function classes in \(P _{3}\) precomplete with respect to a strengthened closure operator (Q2518016) (← links)
- A grammar of functions (Q2529469) (← links)
- A grammar of functions. II (Q2534288) (← links)
- Simple bases and the number of functions in certain classes introduced by Post (Q2543455) (← links)
- Über den Untergruppenverband der symmetrischen Gruppe, den Unterhablgruppenverband der symmetrischen Halbgruppe und den Unteralgebrenverband der Postschen Algebra. (The lattice of subgroups of the symmetric group, the lattice of subsemigroups of the symm (Q2548618) (← links)
- A classification of universal algebras by infinitary relations (Q2554347) (← links)
- Maximal clones on algebras A and A\(^r\) (Q2559402) (← links)
- Conditioned disjunction as a primitive connective for the \(m\)-valued propositional calculus (Q2649134) (← links)
- Relating the Time Complexity of Optimization Problems in Light of the Exponential-Time Hypothesis (Q2922627) (← links)
- Monoidal intervals on three- and four-element sets (Q2973185) (← links)
- TERM EQUATION SATISFIABILITY OVER FINITE ALGEBRAS (Q3067781) (← links)
- UNCOUNTABLY MANY DUALISABLE ALGEBRAS (Q3094340) (← links)
- Characterization of zigzag De Morgan functions (Q3178160) (← links)
- CLONES CLOSED UNDER CONJUGATION I: CLONES WITH CONSTANTS (Q3502745) (← links)
- Menger Algebras and Clones of Cooperations (Q3521680) (← links)
- Non-uniform Boolean Constraint Satisfaction Problems with Cardinality Constraint (Q3540174) (← links)
- EVERY SHIFT AUTOMORPHISM VARIETY HAS AN INFINITE SUBDIRECTLY IRREDUCIBLE MEMBER (Q3560283) (← links)
- (Q3597354) (← links)
- Parallelizable algebras (Q3773330) (← links)
- Satisfiability problems for propositional calculi (Q3864500) (← links)
- (Q4389691) (← links)
- (Q4508825) (← links)
- (Q4553280) (← links)
- Varying interpolation and amalgamation in polyadic MV-algebras (Q4586142) (← links)
- (Q4606689) (← links)
- (Q4612556) (← links)
- Categorical equivalence of clones of operations preserving a nontrivial n-equivalence (Q4621415) (← links)
- (Q4638073) (← links)
- Quirky Quantifiers: Optimal Models and Complexity of Computation Tree Logic (Q4639929) (← links)
- Hardness results for the subpower membership problem (Q4686441) (← links)
- Partial clones containing all permutations (Q4859671) (← links)
- THE SUBPOWER MEMBERSHIP PROBLEM FOR MAL'CEV ALGEBRAS (Q4902687) (← links)
- Henry M. Sheffer and Notational Relativity (Q4914196) (← links)
- A GENERAL DUALITY THEORY FOR CLONES (Q4923198) (← links)
- A-classification of idempotent functions of many-valued logic (Q4947377) (← links)
- (Q4963133) (← links)
- (Q4963135) (← links)
- The Complexity of Satisfiability for Fragments of CTL and CTL⋆ (Q4982095) (← links)
- The Tractability of Model-checking for LTL: The Good, the Bad, and the Ugly Fragments (Q4982126) (← links)
- Meet-reducible submaximal clones determined by two central relations (Q5223094) (← links)
- A complete classification of equational classes of threshold functions included in clones (Q5247685) (← links)
- Aggregation of Votes with Multiple Positions on Each Issue (Q5283212) (← links)