Pages that link to "Item:Q3718688"
From MaRDI portal
The following pages link to On a Method of Axiomatization of Some Propositional Calculi (Q3718688):
Displaying 7 items.
- The axiomatization of propositional logic (Q520386) (← links)
- Axiomatizing the skew Boolean propositional calculus (Q877820) (← links)
- An axiomatization of the finite-valued Łukasiewicz calculus (Q1110497) (← links)
- On finite-valued propositional logical calculi (Q1913635) (← links)
- (Q3028982) (← links)
- A Couple of Novelties in the Propositional Calculus (Q3676116) (← links)
- A Formalisation, Using non-Standard Rules, of A 5-Valued Propositional Calculus (Q3784050) (← links)