Publication:4012975
From MaRDI portal
zbMath0774.03006MaRDI QIDQ4012975
Publication date: 27 September 1992
Related Items
Rejection in Łukasiewicz’s and Słupecki’s Sense, Combining many-valued and intuitionistic tableaux, A mechanization of strong Kleene logic for partial functions, Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness, Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\), On partial and paraconsistent logics, Paraconsistent informational logic, On finite-valued propositional logical calculi, A survey of nonstandard sequent calculi, An implication based study on Łukasiewicz (Monteiro) 3-valued algebra and pre-rough algebra