scientific article; zbMATH DE number 3485719

zbMATH Open0311.02001MaRDI QIDQ4068686FDOQ4068686

Authors: John M. Mack, Donald W. Barnes 

Publication date: 1975

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Mathematical logic and foundations (03-XX)

Cited In (24)

• Gödel, Tarski, Church, and The Liar
• \(ILI\)-ideals and prime \(LI\)-ideals in lattice implication algebras.
• \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\)
• \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\)
• Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors
• A Mayer-type optimal control for multivalued logic control networks with undesirable states
• Intuitionistic nil radicals of intuitionistic fuzzy ideals and Euclidean intuitionistic fuzzy ideals in rings.
• Generalized fuzzy groups and many-valued implications
• A heuristic in rules-based systems
• An intrinsic fuzzy set on the universe of discourse of predicate formulas
• A geometric interpretation of LD-resolution
• \((\in, \in \vee q)\)-fuzzy \(t\)-filters on residuated lattices
• Linguistic modelling and information coarsening based on prototype theory and label semantics
• Swinging types=functions+relations+transition systems
• A logic for approximate reasoning
• Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic)
• Quine's ‘limits of decision’
• Redefined fuzzy implicative filters
• Unified forms of Triple I method
• Syntactic unification as a geometric operation in free modules over certain rings
• The complexity of the evaluation of complex algebra expressions
• Consequence operators, interior operators and fuzzy relations
• From geometry to conceptual relativity
• A tool for analysing logics

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4068686)