The following pages link to Helena Rasiowa (Q766810):
Displaying 50 items.
- On a fragment of the implicative propositional calculus (Q766811) (← links)
- A proof of Herbrand's theorem (Q767858) (← links)
- Plain semi-Post algebras as a poset-based generalization of Post algebras and their representability (Q920988) (← links)
- Semi-Post algebras (Q1095960) (← links)
- Subalgebras and homomorphisms of semi-Post algebras (Q1098868) (← links)
- Approximating sets with equivalence relations (Q1099631) (← links)
- Algorithmic logic. Multiple-valued extensions (Q1155047) (← links)
- On logic of complex algorithms (Q1162145) (← links)
- Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents (Q1176175) (← links)
- \(LT\)-fuzzy sets (Q1197834) (← links)
- An algebraic approach to non-classical logics (Q1214924) (← links)
- Mixed-valued predicate calculi (Q1221737) (← links)
- In memory of Andrzej Mostowski (Q1237769) (← links)
- Axiomatization and completeness of uncountably valued approximation logic (Q1317906) (← links)
- Cecylia Rauszer (Q1338477) (← links)
- Topological representations of Post algebras of order \(\omega ^ +\) and open theories based on \(\omega ^ +\)-valued Post logic (Q1820764) (← links)
- A partially ordered extension of the integers (Q1893122) (← links)
- Addition au travail `A proof of Herbrand theorem' (Q2540422) (← links)
- A geometric interpretation of logical formulae (Q2652283) (← links)
- (Q3228594) (← links)
- An application of lattices to logic (Q3230354) (← links)
- On the ε-theorems (Q3238331) (← links)
- (Q3250590) (← links)
- On the isomorphism of Lindenbaum algebras with fields of sets (Q3257110) (← links)
- (Q3257111) (← links)
- N-lattices and constructive logic with strong negation (Q3257770) (← links)
- On constructible falsity in the constructive logic with strong negation (Q3257771) (← links)
- (Q3260563) (← links)
- (Q3279278) (← links)
- (Q3476789) (← links)
- (Q3671105) (← links)
- (Q3681934) (← links)
- (Q3728882) (← links)
- (Q3750993) (← links)
- (Q3756510) (← links)
- (Q3783525) (← links)
- (Q3788010) (← links)
- (Q3811753) (← links)
- (Q3862381) (← links)
- (Q3871919) (← links)
- (Q3882419) (← links)
- (Q3909985) (← links)
- (Q3976584) (← links)
- (Q4071738) (← links)
- (Q4107894) (← links)
- (Q4107895) (← links)
- (Q4109270) (← links)
- (Q4110979) (← links)
- (Q4113830) (← links)
- (Q4130976) (← links)
