Search results

height of models of stable theories 2007-11-19 Paper Possible cardinalities of maximal abelian subgroups of quotients of permutation groups of the integers...

coordinates of the orbits of the coadjoint representation of tensor extensions of Lie groups 2000-05-23 Paper Mechanisms of vibrational control of heat transfer...

and linear orderings 2001-07-24 Paper Expansions of o-minimal structures by sparse sets 2001-06-17 Paper Finite functions and the necessary use of large...

combinatorial proof of the equivalence of the classical and combinatorial definitions of Schur function 1996-12-09 Paper On the lattices of NP-subspaces of a polynomial...

Feedback invariants of matrix quadruple completions 1999-11-29 Paper Finiteness of a set of non-collinear vectors generated by a family of linear operators 1999-11-29...

Publication Date of Publication Type A general method for representing sets of relations by vectors 2023-08-17 Paper Relational computation of sets of relations...

Families of permutations and ideals of Turing degrees 2024-01-11 Paper ON COHESIVE POWERS OF LINEAR ORDERS 2023-09-11 Paper Lower semilattices of separable...

approximation of the neuronal model with synaptic reversal potentials 1987-01-01 Paper Asymptotic normality of linear functions of concomitants of order statistics...

to the classical scattering function of disordered systems 2010-01-05 Paper Propagation of Einstein's equations with quasi-Maxwellian equations of gravity...

trilattice logics Syntactical investigations into \(BI\) logic and \(BB^ \prime I\) logic Embedding Linear-Time Temporal Logic into Infinitary Logic: Application...

Formalizing a logic for logic programming The generalized counting method for recursive logic queries Intuitionistic three-valued logic and logic programming...

Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5 Modal Foundations for Predicate Logic Predicate logics on display...

quantified lax logic Proof of the independence of the primitive symbols of Heyting's calculus of propositions Topoi. The categorial analysis of logic. Rev. ed...

minimal logic into classical linear logic Mathematics Subject Classification ID Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic...

Heyting's intuitionistic logic A propositional logic with explicit fixed points Logic of proofs Basic predicate calculus Generic copies of countable structures...

for intuitionistic predicate logic Nonstandard fuzzy sets On the Universal Theory of Classes of Finite Models Closure properties of locally finite \(\omega\)-languages...

theorem Hyperfinite models of adapted probability logic Observational logic, constructor-based logic, and their duality. Logic of transition systems Arrovian...

Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism Follow the math! : the mathematics of quantum mechanics as...

years to elevate logic programming from its roots in first-order classical logic into higher-order versions of intuitionistic and linear logic. These more expressive...

DIAGNOSTIC ALGORITHMS FOR TEAMS OF SITUATED AGENTS: SCALING UP Analysis of notions of diagnosis Theory of evidence ? A survey of its mathematical foundations...