Journal of Philosophical Logic · 1980 · 18 citations · 2 references
ComputingMathematicsFormal MethodsLogicSemanticsAutomated ReasoningDeductive VerificationModel TheoryProof ComplexityProof TheoryTheorem ProvingFormal Proof SystemsProof By InferenceProof Search
2
XII.—Entailment and Deducibility
Timothy Smiley · Proceedings of the Aristotelian Society · 1959 · 66 citations
Humanities, Philosophy, Logic +8
Neil Tennant · Proceedings of the Aristotelian Society · 1979 · 20 citations
Humanities, Philosophy, Logic +4