Pages that link to "Item:Q5518338"
From MaRDI portal
The following pages link to Algebraic formulations of propositional calculi (Q5518338):
Displaying 23 items.
- On pseudo-BL algebras and BCC-algebras (Q862552) (← links)
- On the determination of all NB-structures on BCK-algebras (Q1145138) (← links)
- Blocks and compatibility in \(\mathrm d_0\)-algebras (Q1689291) (← links)
- Axiom systems of $B$-algebra (Q5518337) (← links)
- A characterization of Boolean algebra (Q5518339) (← links)
- Axiom systems of $B$-algebra, II (Q5519111) (← links)
- On axiom systems of propositional calculi, XIV (Q5536250) (← links)
- On axiom systems of propositional calculi, XXIII (Q5536259) (← links)
- Axiom systems of $B$-algebra, III (Q5537336) (← links)
- Axiom systems of $B$-algebra, IV (Q5537337) (← links)
- Axiom systems of $B$-algebra, V (Q5537338) (← links)
- Axiom systems of $B$-algebra, VI (Q5537339) (← links)
- Axiom systems of $B$-algebra (Q5537341) (← links)
- On axiom systems of propositional calculi, XXV (Q5541305) (← links)
- A characterization of Lukasiewiczian algebra, I (Q5551427) (← links)
- On characterizations of $I$-algebra, I (Q5559218) (← links)
- On characterizations of $I$-algebra, II (Q5559219) (← links)
- Algebraic formulation of propositional calculi with general detachment rule (Q5561922) (← links)
- A characterization of the $NB$-system (Q5586219) (← links)
- Algebraic formulations of propositional calculi with variable forming functors (Q5599779) (← links)
- An algebra related with a propositional calculus (Q5607967) (← links)
- Some theorems in $B$-algebra (Q5607969) (← links)
- Some theorems in $B$-algebra, II (Q5607970) (← links)
