scientific article

zbMath0311.02001MaRDI QIDQ4068686

John M. Mack, Donald W. Barnes

Publication date: 1975

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

Mathematics Subject Classification ID

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

Related Items (24)

Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic) ⋮ Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors ⋮ Intuitionistic nil radicals of intuitionistic fuzzy ideals and Euclidean intuitionistic fuzzy ideals in rings. ⋮ Redefined fuzzy implicative filters ⋮ An intrinsic fuzzy set on the universe of discourse of predicate formulas ⋮ A geometric interpretation of LD-resolution ⋮ The complexity of the evaluation of complex algebra expressions ⋮ A logic for approximate reasoning ⋮ Consequence operators, interior operators and fuzzy relations ⋮ Generalized fuzzy groups and many-valued implications ⋮ From geometry to conceptual relativity ⋮ \(ILI\)-ideals and prime \(LI\)-ideals in lattice implication algebras. ⋮ (∈ , ∈ ∨ q)-fuzzy t-filters on residuated lattices1 ⋮ Linguistic modelling and information coarsening based on prototype theory and label semantics ⋮ Unified forms of Triple I method ⋮ A Mayer-type optimal control for multivalued logic control networks with undesirable states ⋮ A Tool for Analysing 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)\) ⋮ Quine's ‘limits of decision’ ⋮ Gödel, Tarski, Church, and The Liar ⋮ Swinging types=functions+relations+transition systems ⋮ Syntactic Unification as a Geometric Operation in Free Modules over certain Rings ⋮ A heuristic in rules-based systems

This page was built for publication: