Search Results

Filter
  • 1-10 of  1,812 results for ""DEFINITION (Logic)""

Your Filters

Reset filters
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

A Constructor-Based Reachability Logic for Rewrite Theories.

Subjects: *DEFINITION (Logic); *LOGIC; *ELECTRIC circuit design & construction

  • Source: Fundamenta Informaticae. 2020, Vol. 173 Issue 4, p315-382. 68p.

Record details

×
Academic Journal

The computational content of atomic polymorphism.

Subjects: Lambda calculus; Definition (Logic)

  • Source: Logic Journal of the IGPL. Oct2019, Vol. 27 Issue 5, p625-638. 14p.

Record details

×
Academic Journal

Justification announcements in discrete time. Part II: Frame definability results.

Subjects: *Logic; Definition (Logic); Announcements

  • Source: Logic Journal of the IGPL. Oct2019, Vol. 27 Issue 5, p671-692. 22p.

Record details

×
Academic Journal

Forward transition rates.

Subjects: *Interest rates; *Rates; *Markov processes

  • Source: Finance & Stochastics. Oct2019, Vol. 23 Issue 4, p975-999. 25p.

Record details

×
Academic Journal

On Local definability of holomorphic functions.

Subjects: *HOLOMORPHIC functions; *DEFINITION (Logic); *ANALYTIC functions

  • Source: Quarterly Journal of Mathematics. Dec2019, Vol. 70 Issue 4, p1305-1326. 22p.

Record details

×
Academic Journal

Supervenience, Reduction, and Translation.

Subjects: *TRANSLATIONS; *DEFINITION (Logic); *ARGUMENT

  • Source: Philosophy of Science. Dec2019, Vol. 86 Issue 5, p942-954. 13p.

Record details

×
Academic Journal

On Mutual Definability of Operations on Fields.

Subjects: *DEFINITION (Logic); *EXPONENTIATION; *FINITE fields

  • Source: Siberian Mathematical Journal. Nov2019, Vol. 60 Issue 6, p1032-1039. 8p.

Record details

×
Academic Journal

On definability of types and relative stability.

Subjects: *DEFINITION (Logic); *MODEL theory

  • Source: Mathematical Logic Quarterly. Oct2019, Vol. 65 Issue 3, p332-346. 15p.

Record details

×
  • 1-10 of  1,812 results for ""DEFINITION (Logic)""