Characterising dominated weak-operator continuous functionals on subspaces of B(H) Fulltext Access 5 Pages 2013
Confirmation as partial entailment: A representation theorem in inductive logic Fulltext Access 9 Pages 2013
An intelligent task analysis approach for special education based on MIRA Fulltext Access 9 Pages 2013
Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields Fulltext Access 11 Pages 2013
Multiple-Valued Logic mathematical approaches for multi-state system reliability analysis Fulltext Access 13 Pages 2013
Applicative theories for the polynomial hierarchy of time and its levels Fulltext Access 13 Pages 2013
Goodstein sequences for prominent ordinals up to the ordinal of Π11−CA0 Fulltext Access 14 Pages 2013
Regular opens in constructive topology and a representation theorem for overlap algebras Fulltext Access 16 Pages 2013
Ultralarge lotteries: Analyzing the Lottery Paradox using non-standard analysis Fulltext Access 16 Pages 2013
Conditional computability of real functions with respect to a class of operators Fulltext Access 16 Pages 2013
The expressibility of fragments of Hybrid Graph Logic on finite digraphs Fulltext Access 17 Pages 2013
An epistemic and dynamic approach to abductive reasoning: Abductive problem and abductive solution Fulltext Access 18 Pages 2013
An order-theoretic analysis of interpretations among propositional deductive systems Fulltext Access 19 Pages 2013
Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras Fulltext Access 19 Pages 2013
Locally o-minimal structures and structures with locally o-minimal open core Fulltext Access 19 Pages 2013
Lambek vs. Lambek: Functorial vector space semantics and string diagrams for Lambek calculus Fulltext Access 22 Pages 2013
Kripke semantics and proof systems for combining intuitionistic logic and classical logic Fulltext Access 26 Pages 2013
Modal definability of first-order formulas with free variables and query answering Fulltext Access 27 Pages 2013
Learning based realizability for HA + EM1 and 1-Backtracking games: Soundness and completeness Fulltext Access 27 Pages 2013
Denotation of contextual modal type theory (CMTT): Syntax and meta-programming Fulltext Access 29 Pages 2013