The following pages link to (Q4489073):
Displaying 7 items.
- Propositional discourse logic (Q484942) (← links)
- Distributive-lattice semantics of sequent calculi with structural rules (Q1931305) (← links)
- Many-place sequent calculi for finitely-valued logics (Q1931344) (← links)
- Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism (Q2078975) (← links)
- An implication based study on Łukasiewicz (Monteiro) 3-valued algebra and pre-rough algebra (Q2662715) (← links)
- Non Truth-Functional Many-Valuedness (Q4916205) (← links)
- (Q5020976) (← links)