Studia Logica: An International Journal for Symbolic Logic, Vol. 60, No. 1, Natural Deduction (Jan., 1998), pp. 161-208 (48 pages) We present and discuss various formalizations of Modal Logics in ...
THE Boolian reform of logical science is at las beginning to manifest itself and to bear the first-fruits of controversy. Thirty years ago Boole's remarkable memoirs were treated as striking but ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results