IfCoLog Journal of Logics and their Applications, Volume 4
Volume 4, Number 1, January 2017
: Teaching Logic to Information Systems Student: A Student-centric Approach.
: Rules and Derivations in an Elementary Logic Course.
: Logic for Fun: An Online Tool for Logical Modelling.
Volume 4, Number 2, March 2017
V. Michele Abrusci
: Hilbert's tau and epsilon in Proof Theoretical Foundations of Mathematics: An Introduction.
, Corey Mulvihill
: Buying Logical Principles with Ontological Coin: The Metaphysical Lessons of Adding epsilon to Intuitionistic Logic.
: On Equality of Contexts and Completeness of the Indexed epsilon-Calculus.
: A Simplified and Improved Free-variable Framework for Hilbert's epsilon as an Operator of Indefinite Committed Choice.
: The Explicit Definition of Quantifiers via Hilbert's epsilon is Confluent and Terminating.
Volume 4, Number 3, April 2017
: Cut-elimination in RM Proved Semantically.
: Channel Composition and Ternary Relation Semantics.
Ross T. Brady
: Some Concerns Regarding Ternary-relation Semantics and Truth-theoretic Semantics in General.
: A Preservationist Perspective on Relevance Logic.
Volume 4, Number 4, November 2017
: Correction note to "Proof theory for non-normal modal logics: The neighbourhood formalism".
: Grigori Mints, a Proof Theorist in the USSR: Some Personal Recollections in a Scientific Context.
: An Ordinal-free Proof of the Complete Cut-elimination Theorem for \Pi^1_1-CA+BI with the omega-rule.
: Implicit Dynamic Function Introduction and Ackermann-like FunctionTheory.
Michel De Glas
: Locology and Localistic Logic: MathematicalandEpistemologicalAspects.
: Commentary on Jaakko Hintikka's "IF Logic and Linguistic Theory".
Yuri I. Manin
: Foundations as Superstructure (Reflections of a practicing mathematician).
: Proof Theory for Non-normal Modal Logics: The Neighbourhood Formalism and Basic Results.
: Topologies and Sheaves Appeared as Syntax and Semantics of Natural Language.
: Long Sequences of Descending Theories and other Miscellanea on Slow Consistency.
: On a Combination of Truth and Probability: Probabilistic IF Logic.
Volume 4, Number 5, June 2017
Volume 4, Number 6, July 2017
Dov M. Gabbay
, Lydia Rivlin
: HEAL2100: Human Effective Argumentation and Logic for the 21st Century. The Next Step in the Evolution of Logic.
Volume 4, Number 7, August 2017
: Resolution and Clause-Learning with Restarts for Signed CNF Formulas.
Volume 4, Number 8, September 2017
: Rationality Postulates: Applying Argumentation Theory for Non-monotonic Reasoning.
: On the Nature of Argumentation Semantics: Existence and Uniqueness, Expressibility, and Replaceability.
Volume 4, Number 9, October 2017
, founded at