Results 21 to 30 of about 58 (41)

Monadic 𝐵𝐿-Algebras

, 2006
Revaz Grigolia
semanticscholar   +1 more source

An intuitionistic Sheffer function.

Notre Dame Journal of Formal Logic, 1985
Kosta Dosen
exaly  

I'm Thinking of a Number $\ldots$

Missouri Journal of Mathematical Sciences, 2016
Greg Oman
exaly  

De Finetti Coherence and Logical Consistency

Notre Dame Journal of Formal Logic, 2009
William D Sudderth, Morris L Eaton
exaly  

Peirce's Truth-functional Analysis and the Origin of the Truth Table

History and Philosophy of Logic, 2012
Irving H Anellis
exaly  

Classes of universal decision elements using negative substitutions.

Notre Dame Journal of Formal Logic, 1979
J C Muzio
exaly  

A five-valued model of the $E$-$p$-$q$-theses.

Notre Dame Journal of Formal Logic, 1987
exaly  

Post's functional completeness theorem.

Notre Dame Journal of Formal Logic, 1990
exaly  

The decidability of one-variable propositional calculi.

Notre Dame Journal of Formal Logic, 1979
exaly  

Sentential notations: unique decomposition.

Notre Dame Journal of Formal Logic, 1979
exaly