Department of Mathematics, Jansons Institute of Technology
degrees of recursively saturated models
Definitions that Classify
Definition: A proof is a system of reasoning or argument to convince
Definition - Rogelio Davila
Definition - Industrial Engineering 2011
Definition (model) - UBC Computer Science
Defining liveness.
Defining Liveness - Kent State University
Defining Fairness
Definable maximal cofinitary groups.
Definability properties and the congruence closure
Definability in Boolean bunched logic
Defending a Dialetheist Response to the Liar`s Paradox
Default reasoning using classical logic
Default Reasoning in a Terminological Logic
Default Logic (Reiter) - Department of Computing
Deep Sequent Systems for Modal Logic
Deep Sequent Systems for Modal Logic
Dedukti
