scientific article; zbMATH DE number 3485719
From MaRDI portal
Publication:4068686
zbMATH Open0311.02001MaRDI QIDQ4068686FDOQ4068686
Authors: John M. Mack, Donald W. Barnes
Publication date: 1975
Title of this publication is not available (Why is that?)
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)