scientific article; zbMATH DE number 201040

From MaRDI portal
Publication:4693184

zbMath0791.03007MaRDI QIDQ4693184

Piotr Borowik, Leonard Bolc

Publication date: 10 June 1993


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.



Related Items

On generalized $f$-derivations of lattice implication algebrasCorreia semantics revisitedErotetic search scenarios and three-valued logicFuzzy refutations for probability and multivalued logicsA model of systems with modes and mode transitionsО критерии паранормальности для $n$-значных логических матрицОб одном классе $n$-значных литеральных паранепротиворечивых / параполных логикData structures for symbolic multi-valued model-checkingFeatures of a multivalued generalization of binary logic operations in linear algebra for problems of digital processing of current-output sensor signalsA note on the ontology of mathematicsAn axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with wordsUnnamed ItemA system for proper multiple-conclusion entailmentOn dynamically non-trivial three-valued logics: Oscillatory and bifurcatory speciesMultivalued Logic at the NanoscaleFormal axiomatic theories based on a three-valued logicUncertainty, imprecision, and many-valued logics in protein bioinformaticsK3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for YouDetermination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)CWA formalizations in multi-valued logics\(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\)\(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\)Foundation of credibilistic logicTwo Approaches to Fuzzy ImplicationModel checking of linear-time properties in multi-valued systemsMany-Valued Logics and TranslationsLukasiewicz's Many-valued Logic and Neoplatonic Scalar ModalityPropositional and predicate logics of incomplete informationTruth-values as labels: a general recipe for labelled deductionSoft Lattice Implication AlgebrasOn WLI-ideal space and the properties of WLI-ideals in lattice implication algebra (LIA)General overlap functionsA Semi-lattice of Four-valued Literal-paraconsistent-paracomplete LogicsKleene's Logic with equality