report of the stay in budapest
Report Lab work 2
remarks on synthetic tableaux for classical propositional calculus
Remarks on Second-Order Consequence
relevant reasoning as the logical basis of
Relevant Logic A Philosophical Examination of Inference Stephen Read February 21, 2012
Relevant deduction
Relevant and Substructural Logics
relevance logic - Consequently.org
Relative normalization
Relative and Modified Relative Realizability
Relations 1 Relations
Relational semantics of the Lambek calculus
Relational Predicate Logic
Relation between Hilbert Algebras and BE–Algebras
Relating Infinite Set Theory to Other Branches of Mathematics
RegulatoryAnalysisAttachment2015-00731
Regular Languages and Finite Automata
REGULAR COST FUNCTIONS, PART I: LOGIC AND ALGEBRA
Refining Internet and Database Searches
