The following pages link to (Q4012975):
Displaying 12 items.
- Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) (Q545319) (← links)
- On partial and paraconsistent logics (Q701297) (← links)
- On finitely-valued inference systems (Q1580664) (← links)
- Paraconsistent informational logic (Q1775866) (← links)
- On finite-valued propositional logical calculi (Q1913635) (← links)
- A survey of nonstandard sequent calculi (Q2259014) (← links)
- An implication based study on Łukasiewicz (Monteiro) 3-valued algebra and pre-rough algebra (Q2662715) (← links)
- Rejection in Łukasiewicz’s and Słupecki’s Sense (Q4611693) (← links)
- Combining many-valued and intuitionistic tableaux (Q4645226) (← links)
- A mechanization of strong Kleene logic for partial functions (Q5210785) (← links)
- Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness (Q5937806) (← links)
- Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation (Q6149588) (← links)
