Publication | Open Access
Completeness theorems for some presupposition-free logics
40
Citations
0
References
1968
Year
Non-classical LogicEngineeringAutomated ReasoningCompleteness TheoremsClassical LogicFormal MethodsFirst-order LogicLinguistics
No additional data available for this publication yet. Check back later!