A deduction rule for VBTO( )ni=1
Notre Dame Journal of Formal Logic
Abstract & Figures
Sorry, we couldn't extract an abstract for this paper.
Figures and Tables
Sorry, we couldn't extract any figures or tables for this paper.
Sorry, we couldn't extract any citations for this paper.
Sorry, we couldn't extract any references for this paper.
Loading similar papers…
Slides referencing similar topics
Benjamin Wack • Feb 15, 2018
Natural Deduction for Predicate Calculus
Robert Keller • Aug 03, 2017
Natural Deduction for Propositional Logic
Bow-Yaw Wang • Jan 11, 2016