Unification and admissible rules for paraconsistent minimal Johanssonsʼ logic J and positive intuitionistic logic IPC+ Fulltext Access 14 Pages 2013
Hyperations, Veblen progressions and transfinite iteration of ordinal functions Fulltext Access 17 Pages 2013
Reactive Kripke models and contrary to duty obligations. Part A: Semantics Fulltext Access 34 Pages 2013
The partial orderings of the computably enumerable ibT-degrees and cl-degrees are not elementarily equivalent Fulltext Access 12 Pages 2013
Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty Fulltext Access 19 Pages 2013
Aligning the weak König lemma, the uniform continuity theorem, and Brouwer’s fan theorem Fulltext Access 5 Pages 2012
Automatic detection of bunches of grapes in natural environment from color images Fulltext Access 6 Pages 2012
Pitting corrosion behaviour of austenitic stainless steel using artificial intelligence techniques Fulltext Access 7 Pages 2012
The intermediate value theorem in constructive mathematics without choice Fulltext Access 7 Pages 2012
Breast cancer MRI diagnosis approach using support vector machine and pulse coupled neural networks Fulltext Access 8 Pages 2012
Generalizing realizability and Heyting models for constructive set theory Fulltext Access 10 Pages 2012
Formal neighbourhoods, combinatory Böhm trees, and untyped normalization by evaluation Fulltext Access 10 Pages 2012
Combining genetic algorithms and the finite element method to improve steel industrial processes Fulltext Access 11 Pages 2012
Algorithmic randomness, reverse mathematics, and the dominated convergence theorem Fulltext Access 11 Pages 2012
Quine on intensional entities: Modality and quantification, truth and satisfaction Fulltext Access 12 Pages 2012
Goodstein sequences for prominent ordinals up to the Bachmann–Howard ordinal Fulltext Access 12 Pages 2012
In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid Fulltext Access 13 Pages 2012
A cut-free sequent system for two-dimensional modal logic, and why it matters Fulltext Access 13 Pages 2012
The limits of tractability in Resolution-based propositional proof systems Fulltext Access 13 Pages 2012