Results 261 to 270 of about 4,442,858 (282)

Assumption Classes in Natural Deduction

Mathematical Logic Quarterly, 1979
openaire   +3 more sources

On sequence-conclusion natural deduction systems

Journal of Philosophical Logic, 1985
exaly  

A Semantics of Realisability for the Classical Propositional Natural Deduction

Electronic Notes in Theoretical Computer Science, 2005
Karim Nour
exaly  

A Natural Deduction System for Keisler's Quantification

Electronic Notes in Theoretical Computer Science, 2005
Edward Haeusler
exaly  

Natural Deduction.

The American Mathematical Monthly, 1963
N. D. Belnap, John M. Anderson, Henry W. Johnstone   +2 more
openaire   +1 more source

A natural deduction system for discourse representation theory

Journal of Philosophical Logic, 1993
exaly  

Natural Deduction

1984
Alan Bundy, Lincoln Wallen
openaire   +1 more source

Natural deduction and Hilbert's ?-operator

Journal of Philosophical Logic, 1987
exaly  

Natural deduction, separation, and the meaning of logical operators

Journal of Philosophical Logic, 1978
exaly  

NATURAL DEDUCTION

Philosophical Books, 1966
openaire   +1 more source