A systematic proof theory for several modal logics
A System of Interaction and Structure
A Syntactic Characterization of Minimal Entailment
A Survey on the Model Theory of Difference Fields - Library
A Survey on Small Fragments of First-Order Logic over Finite
A survey on Interactive Theorem Proving
A Supervised Learning Approach to Search of Definitions[*]
A strong intuitionistic theory of functionals
A Small Framework for Proof Checking - CEUR
A simplified form of condensed detachment - Research Online
A Simple Tableau System for the Logic of Elsewhere
A simple proof of Parsons` theorem
A Simple Exposition of Gödel`s Theorem
A Simple and Practical Valuation Tree Calculus for First
A Simpl Shortest Path Checker Verification
A SHORT PROOF FOR THE COMPLETENESS OF
A Short Introduction to the Idea of Proof.
A Short Glossary of Metaphysics
A short article for the Encyclopedia of Artificial Intelligence: Second
A SHORT AND READABLE PROOF OF CUT ELIMINATION FOR
