The fallacy of composition: Guiding concepts, historical cases, and research problems Fulltext Access 20 Pages 2015
Axiomatizing Lüttgen & Vogler's ready simulation for finite processes in CLLR Fulltext Access 22 Pages 2015
Naturalizing logic: Errors of reasoning vindicated: Logic reapproaches cognitive science Fulltext Access 24 Pages 2015
An intuitionistic version of Ramsey's Theorem and its use in Program Termination Fulltext Access 25 Pages 2015
An approach to abstract argumentation with recursive attack and support Fulltext Access 25 Pages 2015
A concept for the evolution of relational probabilistic belief states and the computation of their changes under optimum entropy semantics Fulltext Access 27 Pages 2015
Second-order propositional modal logic and monadic alternation hierarchies Fulltext Access 28 Pages 2015
The eco-cognitive model of abduction: Ἀπαγωγή now: Naturalizing the logic of abduction Fulltext Access 31 Pages 2015
A new model construction by making a detour via intuitionistic theories II: Interpretability lower bound of Feferman's explicit mathematics T0T0 Fulltext Access 36 Pages 2015
A history based approximate epistemic action theory for efficient postdictive reasoning Fulltext Access 50 Pages 2015
Notes on some second-order systems of iterated inductive definitions and Π11-comprehensions and relevant subsystems of set theory Fulltext Access 55 Pages 2015
A model of type theory in simplicial sets: A brief introduction to Voevodsky's homotopy type theory Fulltext Access 5 Pages 2014
Category theory, logic and formal linguistics: Some connections, old and new Fulltext Access 13 Pages 2014
An application of Carnapian inductive logic to an argument in the philosophy of statistics Fulltext Access 17 Pages 2014
A neural cognitive model of argumentation with application to legal inference and decision making Fulltext Access 19 Pages 2014
Temporal logics for concurrent recursive programs: Satisfiability and model checking Fulltext Access 22 Pages 2014
The existence of superluminal particles is consistent with relativistic dynamics Fulltext Access 24 Pages 2014
Relativized ordinal analysis: The case of Power Kripke–Platek set theory Fulltext Access 24 Pages 2014
Exponentially closed fields and the conjecture on intersections with tori Fulltext Access 27 Pages 2014
Runtime verification using the temporal description logic ALCALC-LTL revisited Fulltext Access 30 Pages 2014
Empiricism, probability, and knowledge of arithmetic: A preliminary defense Fulltext Access 30 Pages 2014
Omitting uncountable types and the strength of [0,1][0,1]-valued logics Fulltext Access 32 Pages 2014
The logic of justified belief, explicit knowledge, and conclusive evidence Fulltext Access 33 Pages 2014
Inside the Muchnik degrees II: The degree structures induced by the arithmetical hierarchy of countably continuous functions Fulltext Access 41 Pages 2014
Some supplements to Feferman–Vaught related to the model theory of adeles Fulltext Access 41 Pages 2014
The categorical imperative: Category theory as a foundation for deontic logic Fulltext Access 45 Pages 2014
Inside the Muchnik degrees I: Discontinuity, learnability and constructivism Fulltext Access 57 Pages 2014
Fraïssé sequences: category-theoretic approach to universal homogeneous structures Fulltext Access 57 Pages 2014