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 35 items.
- 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)
- Constraint Satisfaction Problems for Reducts of Homogeneous Graphs (Q5232325) (← 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)
- An Algebraic Characterization of Testable Boolean CSPs (Q5326555) (← links)
- Equational closure (Q5491213) (← links)
- Basics of Galois Connections (Q5504699) (← links)
- Completeness in Finite Algebras with a Single Operation (Q5538980) (← links)
- (Q5547626) (← links)
- The algebra of multiplace vector-valued functions (Q5620605) (← links)
- Réalisation des fonctions definies dans un ensemble fini à l'aide des organes élémentairesd'entrée-sortie (Q5626528) (← links)
- Identities in Two-Valued Calculi (Q5806804) (← links)
- Generalized satisfiability problems via operator assignments (Q5919560) (← links)
- Homeomorphism and the equivalence of logical systems (Q5937829) (← links)