The universal modality, the center of a Heyting algebra, and the Blok–Esakia theorem Fulltext Access 15 Pages 2009
Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions Fulltext Access 16 Pages 2009
Lightweight relevance filtering for machine-generated resolution problems Fulltext Access 17 Pages 2009
A constructive theory of continuous domains suitable for implementation Fulltext Access 17 Pages 2009
Two approaches to the problems of self-attacking arguments and general odd-length cycles of attack Fulltext Access 18 Pages 2009
Cell decomposition and dimension function in the theory of closed ordered differential fields Fulltext Access 18 Pages 2009
Causal discovery and the problem of ignorance. An adaptive logic approach Fulltext Access 18 Pages 2009
Towards refinement of abductive or inductive hypotheses through propagation Fulltext Access 18 Pages 2009
Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence Fulltext Access 18 Pages 2009
First-order t-norm based fuzzy logics with truth-constants: Distinguished semantics and completeness properties Fulltext Access 18 Pages 2009
On intuitionistic modal and tense logics and their classical companion logics: Topological semantics and bisimulations Fulltext Access 19 Pages 2009
Full operational set theory with unbounded existential quantification and power set Fulltext Access 20 Pages 2009
Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules Fulltext Access 22 Pages 2009
Towards the decidability of the theory of modules over finite commutative rings Fulltext Access 22 Pages 2009
On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular Fulltext Access 23 Pages 2009
Covering theorems for the core model, and an application to stationary set reflection Fulltext Access 28 Pages 2009
Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalencies Fulltext Access 29 Pages 2009
Turing oracle machines, online computing, and three displacements in computability theory Fulltext Access 32 Pages 2009
The strength of extensionality I — weak weak set theories with infinity Fulltext Access 35 Pages 2009
Substitution Frege and extended Frege proof systems in non-classical logics Fulltext Access 48 Pages 2009
The strength of choiceless patterns of singular and weakly compact cardinals Fulltext Access 51 Pages 2009
A Gδ ideal of compact sets strictly above the nowhere dense ideal in the Tukey order Fulltext Access 4 Pages 2008