Linked e-resources
Details
Table of Contents
Representing and Completing Lattices by Propositions of Cover Systems
A Uniform Algebraic Approach to Cut Elimination via Semi-completeness
Ancient Indian Logic, Paksa and Analogy
Provability and Decidability of Arithmetical Sentences
On the Minimization Principle in the Boolean Approach to Causal Discovery
Contentual and Formal Aspects of Gentzen's Consistency Proofs
Saving Supervaluationism from the Challenge of Higher-Order Vagueness Argument
Cut free Labelled Sequent Calculus for Dynamic Logic of Relation Changers
On Second Order Propositional Intuitionistic Logics
Classical Model Existence Theorem in Subclassical Predicate Logics. II
On Incorporating Reasoning Time into Epistemic Logic
Proof-theoretic Embedding from Visser's Basic Propositional Logic to Modal Logic K4 via Non-Labelled Sequent Calculi
Varieties of Parthood
Infinite "Atomic" Mereological Structures.
A Uniform Algebraic Approach to Cut Elimination via Semi-completeness
Ancient Indian Logic, Paksa and Analogy
Provability and Decidability of Arithmetical Sentences
On the Minimization Principle in the Boolean Approach to Causal Discovery
Contentual and Formal Aspects of Gentzen's Consistency Proofs
Saving Supervaluationism from the Challenge of Higher-Order Vagueness Argument
Cut free Labelled Sequent Calculus for Dynamic Logic of Relation Changers
On Second Order Propositional Intuitionistic Logics
Classical Model Existence Theorem in Subclassical Predicate Logics. II
On Incorporating Reasoning Time into Epistemic Logic
Proof-theoretic Embedding from Visser's Basic Propositional Logic to Modal Logic K4 via Non-Labelled Sequent Calculi
Varieties of Parthood
Infinite "Atomic" Mereological Structures.