A parameterized implication function derived from the relations to be satisfied between a premise and the conclusion

Author(s):  
T. Oyama ◽  
S. Tano ◽  
T. Arnould
Sign in / Sign up

Export Citation Format

Share Document