Tools-Slides-3 - Michael Johnson`s Homepage
PREDICATE LOGIC
Many-Valued Logic
Master Thesis - Yoichi Hirai
The Foundations: Logic and Proofs
logic for the mathematical
19_pl
Dialectica Interpretations A Categorical Analysis
Logic Part II: Intuitionistic Logic and Natural Deduction
Predicate logic
q - Mona Shores Blogs
Propositional Logic Proof
X - NUS School of Computing
relevance logic - Consequently.org
On the Complexity of Resolution-based Proof Systems
1 Introduction to Categories and Categorical Logic
Introduction to first order logic for knowledge representation
Towards an Epistemic Logic of Grounded Belief
proof terms for classical derivations
