scientific article; zbMATH DE number 201040
From MaRDI portal
Publication:4693184
zbMath0791.03007MaRDI QIDQ4693184
Publication date: 10 June 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
probability logicsmany-valued logicsintuitionistic propositional calculusfirst-order predicate calculusapproximation logicsmany-valued propositional calculifuzzy propositional calculigeneralized tableaux method
Fuzzy logic; logic of vagueness (03B52) Other nonclassical logic (03B60) Probability and inductive logic (03B48) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Many-valued logic (03B50)
Related Items (34)
On generalized $f$-derivations of lattice implication algebras ⋮ Correia semantics revisited ⋮ Erotetic search scenarios and three-valued logic ⋮ Fuzzy refutations for probability and multivalued logics ⋮ A model of systems with modes and mode transitions ⋮ О критерии паранормальности для $n$-значных логических матриц ⋮ Об одном классе $n$-значных литеральных паранепротиворечивых / параполных логик ⋮ Data structures for symbolic multi-valued model-checking ⋮ Features of a multivalued generalization of binary logic operations in linear algebra for problems of digital processing of current-output sensor signals ⋮ A note on the ontology of mathematics ⋮ An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words ⋮ Unnamed Item ⋮ A system for proper multiple-conclusion entailment ⋮ On dynamically non-trivial three-valued logics: Oscillatory and bifurcatory species ⋮ Multivalued Logic at the Nanoscale ⋮ Formal axiomatic theories based on a three-valued logic ⋮ Uncertainty, imprecision, and many-valued logics in protein bioinformatics ⋮ K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You ⋮ Determination 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 logic ⋮ Two Approaches to Fuzzy Implication ⋮ Model checking of linear-time properties in multi-valued systems ⋮ Many-Valued Logics and Translations ⋮ Lukasiewicz's Many-valued Logic and Neoplatonic Scalar Modality ⋮ Propositional and predicate logics of incomplete information ⋮ Truth-values as labels: a general recipe for labelled deduction ⋮ Soft Lattice Implication Algebras ⋮ On WLI-ideal space and the properties of WLI-ideals in lattice implication algebra (LIA) ⋮ General overlap functions ⋮ A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics ⋮ Kleene's Logic with equality
This page was built for publication: