## Notre Dame Journal of Formal Logic, Volumes 1-2 |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Investigations on a comprehension axiom without negation | 13 |

Studies in the axiomatic foundations of Boolean Algebra I | 23 |

Independence of Faris rejection axioms By Ivo Thomas | 48 |

6 other sections not shown

### Common terms and phrases

Abelard aleph antecedent Arithmetic assumption axiom of choice axiom of comprehension belongs Boethius Bolesław Sobociński Boolean Algebra cardinal number categorical syllogism closure algebras concept red consequence constant corresponding Cretan assertion Dame defined domain entails exists expression extension algebra extensionality false finite formula free variables functors G-number Hence implies inference inferentially equivalent integer interpreter Jan Łukasiewicz language Lemma Lesniewski line line line linguistic ability Maxim means metarule metatheorem modal natural numbers nonverbal thought obtain occurs Ockham paradoxical Peter of Spain predicated principle of bivalency proof propositional calculus prosleptic premiss prosleptic syllogism protothetic provable proved quantifier recursive respect rules of procedure satisfied selectors semantical category sense sentence sequence Sill single axiom Sobocinski statements substitution symbols Tarski Theophrastus theorem theory therbligs thesis tion Topics true truth truth-value Umgangssprache values virtue