Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Math
  2. Advanced Math
  3. Logic
ON PRESERVING
ON PRESERVING
On pragmatic compositionality
On pragmatic compositionality
ON PF0VING LAWS OF TBE ALGEBRA OF FP-SYSTE2% INEDINB~LCF Jacek Leszczykcwski
ON PF0VING LAWS OF TBE ALGEBRA OF FP-SYSTE2% INEDINB~LCF Jacek Leszczykcwski
On Notions of Causality and Distributed Knowledge Ron van der Meyden
On Notions of Causality and Distributed Knowledge Ron van der Meyden
On non-tabular m-pre-complete classes of formulas in the propositional provability logic
On non-tabular m-pre-complete classes of formulas in the propositional provability logic
On Loop Formulas with Variables Joohyung Lee and Yunsong Meng
On Loop Formulas with Variables Joohyung Lee and Yunsong Meng
On Logics and Semantics of Indeterminate Causation Alexander Bochman
On Logics and Semantics of Indeterminate Causation Alexander Bochman
On Integrating Ontologies with Relational Probabilistic Models
On Integrating Ontologies with Relational Probabilistic Models
On Initial Segment Complexity and Degrees of Randomness
On Initial Segment Complexity and Degrees of Randomness
ON IMPLICATION ALGEBRAS YOUNG BAE JUN
ON IMPLICATION ALGEBRAS YOUNG BAE JUN
On ignorance and contradiction considered as truth-values
On ignorance and contradiction considered as truth-values
On Hybrid Systems and the Modal/z-Calculus
On Hybrid Systems and the Modal/z-Calculus
On Guessing Whether a Sequence has a Certain Property
On Guessing Whether a Sequence has a Certain Property
ON GENERALIZED ω
ON GENERALIZED ω
On Full Abstraction of PCF: I, II, and III
On Full Abstraction of PCF: I, II, and III
On Forgetting Postulates in Answer Set Programming
On Forgetting Postulates in Answer Set Programming
On First-Order Definability and Computability of Progression
On First-Order Definability and Computability of Progression
On Denoting
On Denoting
ON DEFINITIONS OF DISCRETE TOPOLOGICAL CHAOS AND THEIR RELATIONS ON INTERVALS
ON DEFINITIONS OF DISCRETE TOPOLOGICAL CHAOS AND THEIR RELATIONS ON INTERVALS
On Default Representation of Defeasible Inference and Specificity Alexander Bochman
On Default Representation of Defeasible Inference and Specificity Alexander Bochman
On continuous timed automata with input-determined guards Fabrice Chevalier , Deepak D’Souza
On continuous timed automata with input-determined guards Fabrice Chevalier , Deepak D’Souza
On connections and higher-order logic
On connections and higher-order logic
On Condensing a Sequence of Updates in Answer-Set Programming
On Condensing a Sequence of Updates in Answer-Set Programming
On computation of the compositional rule of inference under triangular norms ∗
On computation of the compositional rule of inference under triangular norms ∗