scientific article; zbMATH DE number 3335866

Publication date: 1970

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

Collected or selected works; reprintings or translations of classics (01A75) History of mathematical logic and foundations (03-03) Collections of reprinted articles (00B60)

Related Items (89)

Fuzzy quantum logic. I ⋮ Fuzzy cardinals based on the generalized equality of fuzzy subsets ⋮ Influence of fuzzy norms and other heuristics on ``mixed fuzzy rule formation ⋮ Fuzzy quantum logics and infinite-valued Łukasiewicz logic ⋮ Generalized correspondence analysis for three-valued logics ⋮ The resonance strategy ⋮ The Narayana distribution ⋮ Deductive systems with unified multiple-conclusion rules ⋮ Inertia forms and resultant: A formulary ⋮ An $n$-ary $\lambda$-averaging based similarity classifier ⋮ Fuzzy sets in approximate reasoning. II: Logical approaches ⋮ Three-valued derived logics for classical phase spaces ⋮ Filter-based resolution principle for lattice-valued propositional logic LP$(X)$ ⋮ A complete many-valued logic with product-conjunction ⋮ Foundations for the formalization of metamathematics and axiomatizations of consequence theories ⋮ Fuzzy sets and sheaves. I: Basic concepts ⋮ Fuzzy sets and sheaves. II: Sheaf-theoretic foundations of fuzzy set theory with applications to algebra and topology ⋮ Unification of two approaches to quantum logic: Every Birkhoff-von Neumann quantum logic is a partial infinite-valued Łukasiewicz logic ⋮ A 4-valued framework encompassing intuitionistic and classical logic ⋮ The defective conditional in mathematics ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Definition and Inference in Leśniewski’s Logic ⋮ Fuzzy power sets and fuzzy implication operators ⋮ A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes ⋮ Rejection: a historico-epistemological view ⋮ Unified deductive systems: an outline ⋮ Operator counterparts of types of reasoning ⋮ On pairs of dual consequence operations ⋮ A sound and complete tableaux calculus for Reichenbach's quantum mechanics logic ⋮ AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX ⋮ Can many-valued logic help to comprehend quantum phenomena? ⋮ About membership functions estimation ⋮ Paul of Venice and Realist Developments of Roger Swyneshed's Treatment of Semantic Paradoxes ⋮ Complex Fuzzy Sets and Complex Fuzzy Logic an Overview of Theory and Applications ⋮ Unnamed Item ⋮ Introduction. The School: Its Genesis, Development and Significance ⋮ Jan Łukasiewicz: A Creator of New Ideas in Logic and a Reinterpreter of Its History ⋮ On Ajdukiewicz’s Project of the Semantic Theory of Knowledge ⋮ Łukasiewicz and His Followers in Many-Valued Logic ⋮ Tomorrow’s Sea-Battle and the Beginning of Temporal Logic ⋮ Rejection in Łukasiewicz’s and Słupecki’s Sense ⋮ Many-Valued Logics in the Iberian Peninsula ⋮ Ontology of Logic and Mathematics in Lvov-Warsaw School ⋮ A method for finding new sets of axioms for classes of semigroups. ⋮ Multi-stage mixed rule learning approach for advancing performance of rule-based classification ⋮ Fuzzy logic programming ⋮ On the characterizations of fuzzy implications satisfying $I(x,I(y,z))=I(I(x,y),I(x,z))$ ⋮ Propositional dynamic logic for searching games with errors ⋮ Unnamed Item ⋮ Why Not Fuzzy Logic? ⋮ Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3 ⋮ Bell-type inequalities for bivariate maps on orthomodular lattices ⋮ A duality for the algebras of a Łukasiewicz $n+1$-valued modal system ⋮ Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems ⋮ Truth, Falsehood, Information and Beyond: The American Plan Generalized ⋮ The many-valued logic of quantum mechanics ⋮ Wave-particle duality and the objectiveness of ``true and ``false ⋮ Experiments in the heuristic use of past proof experience ⋮ A similarity classifier with Bonferroni mean operators ⋮ Fuzzy set ideas in quantum logics ⋮ Dugundji's theorem revisited ⋮ Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators ⋮ Pavelka-style fuzzy logic in retrospect and prospect ⋮ Bi-facial truth: a case for generalized truth values ⋮ Spatial relations between indeterminate regions ⋮ Variations on a theme of Curry ⋮ Multi-functional nearest-neighbour classification ⋮ Editorial introduction. Truth values. I ⋮ Taking degrees of truth seriously ⋮ Learning from Łukasiewicz and Meredith: investigations into proof structures ⋮ On Semantic Gamification ⋮ A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains ⋮ CODE: A powerful prover for problems of condensed detachment ⋮ Some mathematical aspects of fuzzy sets: Triangular norms, fuzzy logics, and generalized measures ⋮ Three-Valued Paraconsistent Propositional Logics ⋮ Fuzzy logic or Lukasiewicz logic: A clarification ⋮ Lazy evaluations in Łukasiewicz type fuzzy logic ⋮ AF-algebras with lattice-ordered $K_0$: logic and computation ⋮ Proofs as schemas and their heuristic use ⋮ Analysis of billiard ball computation using phase space logics ⋮ Toric varieties of Schröder type ⋮ Logical Nihilism and the Logic of ‘prem’ ⋮ Normalisation for Some Quite Interesting Many-Valued Logics ⋮ Peirce’s Triadic Logic and Its (Overlooked) Connexive Expansion ⋮ Symmetrical Heyting algebras of order $3\times 3$ ⋮ Fuzzy similarity and entropy (FSAE) feature selection revisited by using intra-class entropy and a normalized scaling factor ⋮ The two-property and condensed detachment ⋮ Geometrical methods in Wajsberg hoops ⋮ Consequence Relations with Real Truth Values

This page was built for publication: