scientific article; zbMATH DE number 3392404
From MaRDI portal
Publication:5661846
zbMath0248.02023MaRDI QIDQ5661846
Publication date: 1969
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Many-valued logic (03B50)
Related Items
Granular computing with shadowed sets, On the characterizations of \((S,N)\)-implications, Coimplication and its application to fuzzy expert systems, The unique role of the Łukasiewicz-triplet in the theory of fuzzified normal forms, The limits of epistemic democracy, A fuzzy similarity inference method for fuzzy reasoning, Fuzzy normal forms, Logic, states, and quantum probabilities, An application of fuzzy sets in students' evaluation, Modeling the suppression task under weak completion and well-founded semantics, Many-valued dynamic object-oriented inheritance and approximations, A Correspondence Between Variable Relations And Three-Valued Propositional Logic, Logic Programming, Argumentation and Human Reasoning, Russell and his sources for non-classical logics, Lattice-theoretic models of conjectures, hypotheses and consequences, Semantic inconsistency measures using 3-valued logics, A NON-NUMERIC APPROACH TO UNCERTAIN REASONING, AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX, Many-valued logic and sequence arguments in value theory, Probabilistic implications, Unnamed Item, Multivalued Logic at the Nanoscale, Revisiting four-valued logics from \textit{Maple} using the \textit{Logics Explorer} package, Algebraic Methods for Rough Approximation Spaces by Lattice Interior–Closure Operations, Algebraic Methods for Orthopairs and Induced Rough Approximation Spaces, Conditional logic and the Principle of Entropy, K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You, Variations on the Collapsing Lemma, Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation, A simple logical matrix and sequent calculus for Parry's logic of analytic implication, FOUNDATIONS OF FUZZY SET THEORY AND FUZZY LOGIC: A HISTORICAL OVERVIEW, Qualitative Bayesian networks, A survey of weak connectives and the preservation of their properties by aggregations, \(\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)\), Invariant fuzzy implications, A behavioral model for linguistic uncertainty, Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence, On the semantics of fuzzy logic, Connectives and quantifiers in fuzzy sets, Towards a theory of conservative computing, Towards a Re-Evaluation of Julius König's Contribution to Logic, Effective Finite-Valued Approximations of General Propositional Logics, Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis, XIV Latin American Symposium on Mathematical Logic (SLALM), Provability as a deontic notion, Exactly true and non-falsity logics meeting infectious ones, Some characterizations of \(T\)-power based implications, Deduction with uncertain conditionals, Geometrical methods in Wajsberg hoops, Zero-place operations and functional completeness, and the definition of new connectives, Vagueness: Why do we believe in tolerance?, Fuzzy cardinals based on the generalized equality of fuzzy subsets, Assigning probabilities to hypotheses in the context of a binomial distribution, Quantum conservative many-valued computing, Flexible querying in a relational framework supported by possibilistic logic, Generalized correspondence analysis for three-valued logics, Comparison of fuzzy implication operators by means of fuzzy relational products used for intelligent local path-planning of AUVs, Non-usual orthocomplementations on partially ordered sets and fuzziness, Definability and quantifier elimination for \(J_ 3\)-theories, On some logical points of fuzzy conditional decision making, Truth and the liar in De Morgan-valued models, An algebraic synthesis of the foundations of logic and probability, Representation of Łukasiewicz' many-valued algebras, Pumping lemma in automata theory based on complete residuated lattice-valued logic: a note, The concept of grade of membership, Natural deduction for Post's logics and their duals, Epistemic necessity, possibility, and truth. Tools for dealing with imprecision and uncertainty in fuzzy knowledge-based systems, Basic intuitionistic principles in fuzzy set theories and its extensions (a terminological debate on Atanassov IFS), An alternative propositional calculus for application to empirical sciences, Fuzzy power sets and fuzzy implication operators, Two fuzzier implication operators in the theory of fuzzy power sets, Axiomatic approach to implication for approximate reasoning with fuzzy logic, Feasible algorithms for approximate reasoning using fuzzy logic, Distinction between several subsets of fuzzy measures, Some considerations on fuzzy conditional inference, Surmounting the Cartesian cut through philosophy, physics, logic, cybernetics, and geometry: self-reference, torsion, the Klein bottle, the time operator, multivalued logics and quantum mechanics, Systemic approach to fuzzy logic formalization for approximate reasoning, The logical view of conditioning and its application to possibility and evidence theories, The logic of the future in quantum theory, False though partly true -- an experiment in logic, Comparison of fuzzy reasoning methods, Suszko's thesis, inferential many-valuedness, and the notion of a logical system, Approximate reasoning by analogy to answer null queries, On dynamically non-trivial three-valued logics: Oscillatory and bifurcatory species, Evaluating dialectical structures with Bayesian methods, Social choice and Lukasiewicz logic, A resolution framework for finitely-valued first-order logics, Resolution approximation of first-order logics, Oddness/evenness-based classifiers for Boolean or numerical data, Fuzzy implication functions based on powers of continuous t-norms, Automata theory based on complete residuated lattice-valued logic: Turing machines, Shadowed \(c\)-means: integrating fuzzy and rough clustering, The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics, Implication structures, fuzzy subsets, and enriched categories, Two classes of pseudo-triangular norms and fuzzy implications, Vagueness, truth and logic, On some new classes of implication operators and their role in approximate reasoning, Fuzzy logic and approximate reasoning, A non-classical logic for physics, On fuzzy implications determined by aggregation operators, Automata theory based on complete residuated lattice-valued logic: Reduction and minimization, Numerical evaluation of the validity of experimental proofs in biology, Fuzzy propositional logic. Algebraic approach, Reichenbach and the logic of quantum mechanics, On many-valued logics, fuzzy sets, fuzzy logics and their applications, The concept of a linguistic variable and its application to approximate reasoning. I, The concept of a linguistic variable and its application to approximate reasoning. II, The concept of a linguistic variable and its application to approximate reasoning. III, A new approach to approximate reasoning using a fuzzy logic, A new model for linguistic modifiers, A generalization of the zero-one principle for sorting algorithms, Data types over multiple-valued logics, Production control on the basis of fuzzy models, Axiomatisation of functional dependencies in incomplete relations, On the implication operator in fuzzy logic, A note on Trillas' CHC models, Multivalued dependencies in fuzzy relational databases and lossless join decomposition, Convex combinations of generalized fuzzy relational equations, Annotated fuzzy logic programs, What the Liar taught Achilles, Automata theory based on complete residuated lattice-valued logic: Pushdown automata, Pumping Lemma in context-free grammar theory based on complete residuated lattice-valued logic, Impact of weights on conjunctive and disjunctive aggregation of extended possibilistic truth values, Automata theory based on complete residuated lattice-valued logic: a categorical approach, An overview of fuzzy quantifiers. I. Interpretations, An overview of fuzzy quantifiers. II. Reasoning and applications, Fuzzy logic or Lukasiewicz logic: A clarification, Products of fuzzy subgroups, A comparative study of fuzzy sets and rough sets, Notes on naive semantics, A logic covering undefinedness in program proofs, Probability and logic in belief systems, Fuzzy inclusion and fuzzy equality of two fuzzy subsets, fuzzy operations for fuzzy subsets, Fuzzy conditional inference under max-o composition, Representation of Łukasiewicz' many-valued algebras. The atomic case, Subinverses of fuzzy matrices, Some methods of reasoning for fuzzy conditional propositions, Multi-valued logic and Gröbner bases with applications to modal logic, Quantified constraints under perturbation, Evaluation of combinations of conditioned information: A history, Families of OWA operators, Definability of connectives in conditional event algebras of Schay-Adams-Calabrese and Goodman-Nguyen-Walker, Axiomatization and completeness of uncountably valued approximation logic, A fuzzy inverse relation based on Gödelian logic and its applications, New measures of association for numerical variables, The influence of some fuzzy implication operators on the accuracy of a fuzzy model. I, A review of fuzzy set aggregation connectives, On retaining classical truths and classical deducibility in many-valued and fuzzy logics, Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief, Toward a more natural expression of quantum logic with Boolean fractions
